אימות תוכנה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
הרחבה |
אין תקציר עריכה |
||
שורה 12:
הראשונה היא שיטת [[בדיקת מודל|בדיקות מודל]] - תהליך האימות מתבצע על מודל מתמטי המתאר את מערכת התוכנה, תוך הוכחת נכונות של תכונות הנדרשות על בסיס המודל הזה, תוך ניתוח המצבים והמעברים בינהם. על מנת להצליח בשיטה הזאת, המודל חייב להיות ''סופי'' (בעל מספר סופי של מצבים). השיטה הזאת מאוד מוגבלת מהבחינה המעשית, זאת בגלל [[בעיית התפוצצות מצבים]] שמאפיינת מערכות מעשיות רבות.
השיטה השניה היא שיטת
למרות שהמחקר בתחום הזה מתבצע תחת כובע [[מדעי המחשב]], השיטות האלה משמשות גם לאימות [[חומרה]], שם [[בעיית התפוצצות מצבים|בעיית התפוצצות המצבים]] חריפה פחות.
|