In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simply included in the documentation of the affected s...
Found on


Environmental and state conditions that must be fulfilled after the execution of a test or test procedure....
Found on
No exact match found