תרגול רכיב מתקשר תחת כשל

תרגיל ראשון - השלמה מאוחרת

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

תרגיל שני - מטריצת גרסאות

הגדירו יכולת בסיסית של Start ויכולת חדשה של StartWithDeadline. כתבו את ההתנהגות בארבעת הצירופים של לקוח ושרת ישנים וחדשים. הסבירו למה התעלמות מdeadline אינה תמיד fallback חוקי.

תרגיל שלישי - תקלה עיוורת

בחרו שלוש תקלות: reference שלא משתחרר, חסימת STA וcertificate עם שם שאינו מתאים. לכל תקלה כתבו איזה evidence צריך לאסוף ואיזה ממצא יפריך את ההשערה. בנו ניסוי מוגבל בזמן לכל תקלה בסביבת המעבדה.