מידע על מבוא לאימות תוכנה
שם מקצוע
מבוא לאימות תוכנה
מספר מקצוע
236342
אתר הקורס
נקודות
3
שעות שבועיות
הרצאה
2
תרגיל
1
מעבדה
0
סמינר/פרויקט
1
קטלוג
סילבוס
הכרת שיטות שונות לאימות תכניות ביחס למפרטים נתונים. הקורס מורכב משני חלקים. החלק הראשון סוקר שיטות דדוקטיביות. החלק השני סוקר שיטות בדיקת מודל. גישה דדוקטיבית (תכניות קלט-פלט): נכונות חלקית ועצירה של תכניות תרשימי זרימה. הגישה המצרפית-נכונות חלקית ועצירה. גישת בדיקת-מודל (תכניות תגובתיות): לוגיקות טמפורליות פסוקיות ומבני קריפקה. בדיקת מודל CTL עם הוגנות. הצגת BDDS ושימושיהם. בדיקת מודל סימבולית מבוססת BDDS. בדיקת מודל סימבולית חסומה, מבוססת SAT. הכרה והפעלה של כלי תוכנה לבדיקת-מודל.
מקצועות קדם
מידע סמסטריאלי חורף 2020/21(תשפ"א)
עבור לסמסטר
אחראים
דר. יקיר ויזל
הערות
מועדי בחינות
מועד א
בתאריך 07.02.2021 יום א משעה 9 עד השעה 12
מועד ב
בתאריך 05.03.2021 יום ו משעה 9 עד השעה 12
מיקום
קבוצות רישום
סוג | יום | שעה | בניין | חדר |
הרצאה תרגול | ד ג | 10:3 - 12:3 14:3 - 15:3 | טאוב טאוב | 2 8 |
הרצאה תרגול | ד ד | 10:3 - 12:3 16:3 - 17:3 | טאוב טאוב | 2 9 |