Postcondition

Betingelser i omgivelsene og tilstanden som må være oppfylt etter utføring av en test eller en samling tester. Resultater som programmet garanterer.