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

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

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

4.4.5.1. יתרונות וחסרונות שיטת Floyd

חסרונות של שיטת Floyd:

  • שיטת Floyd מורכבת ויקרה. היא דורשת כמות גדולה של חישובים.
  • השיטה מערבת את המשתמש הבוחר את האינווריאנטות. זהו חסרון מבחינתנו מכיוון שמטרת העל שלנו היא למצוא שיטות אוטומטיות ככל האפשר.

יתרונות שיטה Floyd:

  • לקחנו 2 טענות מסדר ראשון plot:${q_1},{q_2}$ שאיננו יכולים להגיד הרבה על הקשר ביניהן, והפכנו אותן לאוסף טענות בלוגיקה רגילה עליהן ניתן להשתמש בשיטות המוכרות לנו מלוגיקה.
  • השיטה נאותה ושלמה. החשיבות של עובדה זו היא שניתן ליצור במחשב תוכניות שפותרות מקרים פרטיים של שפת תרשימי הזרימה. נציג מיד הוכחה לנאותות השיטה.

תגיות המסמך:

לפרק הקודם4.4.5. כלל ההוכחה F ( (Floyd לתוכניות תרשים זרימה עם חוגים
לפרק הבא4.4.5.2. דוגמא להפעלת Floyd
אין תגובות!
שיתוף:
| עוד