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