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