תרגול תכונות והזרקת כשלים

הוסיפו לפרסר בדיקה לכל אורך חוקי בין אפס ל־256, עם payload שנוצר מדפוס קבוע, ועוד byte-ים של הודעה הבאה. דרשו שהפונקציה תחזיר בדיוק את ה־payload ואת מספר ה־byte-ים הנכון.

בנו Write מזויף שמחזיר כתיבה קצרה או Interrupted לפי תסריט, וחברו אותו לפונקציית קידוד רשומה. הפרידו בדיקת encoding טהורה מבדיקת durability שתלויה ב־File וב־sync.

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