תרגול בדיקת שירות שלם

תרגיל ראשון - בדיקה שלא בודקת מספיק

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

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

תרגיל שני - מטריצת מערכת

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

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

תרגיל שלישי - טענה רחבה מדי

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