את מצב הרכיב הנבדק אחרי הבדיקה (test-case) בדרך כלל מתעדים בPostconditions
done
Postconditions הן התיעוד של מצב הרכיב הנבדק לאחר ביצוע הבדיקה (test-case). במילים אחרות, הן מייצגות את המצב הצפוי של המערכת או הרכיב לאחר שהבדיקה הסתיימה, ומהוות חלק חשוב בתהליך הבדיקה.