טעויות בהגדרת דרישות התפעול

הגדרה חלקית של המצבים החריגים

בעיה זו מוכרת בשם "בעיית שלימות המפרטים". הבעיה היא שהתוכנה אינה מתוכננת להגיב ספציפית למצב החריג.

 

 דוגמא

Therac 25 - מפרט הדרישות לא הגדיר את אופן התנהגות המערכת במצב של חוסר סינכרון זמני בין שתי יחידות המכונה

 

תת-פירוט של האינדיקציה למפעיל לגבי המצב החריג

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

 

 דוגמאות
  • הקברניט של Torrey Canyon לא הבחין בכך שההיגוי היה מנותק
  • טייס AF 296 לא זיהה את מצב הילוך סרק של המנועים
  • טייס AF 447 לא זיהה שהמטוס במצב הזדקרות
  • מפעיל ה-GPS באפגניסטן לא הבחין בכך שנקודת ציון המטרה הוחלפה לזו של העמדה
  • המשתמש במערכת טלביזיה ביתית לא תמיד מבחין במוד השלט.