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