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

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

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

4. תרשימי זרימה – Flowcharts

שפת התכנות הראשונה איתה נתעסק היא flowchart. השפה מאפשרת תיאורים גרפיים של תוכניות.

דוגמת פתיחה:

נביט בתרשים הזרימה הבא, המתאים לתוכנית חלוקה בשלמים עם שארית (plot:${P_{idiv}}$):

טענה לגבי התוכנית: אם plot:${x_1}$ שלם לא שלילי ו-plot:${x_2}$ שלם חיובי אז plot:${P_{idiv}}$ ובסיומה ל-plot:$q$ יהיה ערך המנה השלמה בחלוקת plot:${x_1}$ ב-plot:${x_2}$ וכן plot:$r$ יכיל את השארית השלמה.

הצורה הפורמאלית לכתוב זאת היא:

plot:$\begin{gathered}   \left\langle {{x_1} \geqslant 0 \wedge {x_2} > 0 \wedge {x_1} \in \mathbb{Z} \wedge {x_1} = {X_1} \wedge {x_2} = {X_2}} \right\rangle {P_{idiv}} \hfill \\   \left\langle {{x_1},{x_2},r,q \in \mathbb{Z} \wedge 0 \leqslant r \leqslant {X_2} \wedge {X_1} = q{X_2} + r} \right\rangle  \hfill \\ \end{gathered} $

נקודות חשובות:

  • נשים לב שכאשר אנחנו מדברים על תרשימי זרימה אנו למעשה מדברים על גרפים. כל צומת בגרף מסומן בתווית. מיד נרחיב עוד על תרשימי זרימה כגרפים.
  • סימון מקובל הוא סימון צומת ההתחלה ב-plot:${l_0}$ וצומת הסיום ב-plot:${l_*}$. במידה וזהו לא המצב יש לציין באופן מפורש מה הם צמתי ההתחלה והסיום.


תגיות המסמך:

לפרק הקודם3.4. תכונה של תוכנית - נכונות מלאה
לפרק הבא4.1. הגדרות
אין תגובות!
שיתוף:
| עוד