הועלה לאתר:  
מספר עמודים: 120
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

מבוא לאימות תוכנה

ספר אלקטרוני מאת: ניר אדר

4.4.2. דוגמאות לעבירות

דוגמא 1

המסלול הבא יהיה עביר רק אם במצב ההתחלתי plot:$x \geqslant 0$:

שימו לב: יכולים להיות מסלולים אחרים בגרף שהם עבירים. המסלול הספציפי הזה עביר רק בהתקיים התנאי.

שאלה: האם חישוב לאורך המסלול המתואר סותר את המפרט plot:$\left\langle {x < 0,x = 0} \right\rangle $?

לא, כי המסלול אינו עביר, ולא ניקח אותו בחשבון בהוכחה על מנת שלא נקלקל שלמות.

דוגמא 2

המסלול הבא אינו עביר כלל (כמסלול, לא כתוכנית):



תגיות המסמך:

לפרק הקודם4.4.1. הגדרות – טרנספורמצית המצבים, תנאי הישיגות
לפרק הבא4.4.3. הגדרה אינדוקטיבית של plot:${T_\tau }\left( {\bar x} \right)$ ושל plot:${R_\tau }\left( {\bar x} \right)$
אין תגובות!
שיתוף:
| עוד