- A precondition of an operation is an assertion which must be true just before the operation is called.
- Anything that the solution can assume to be true when the use case begins is known as preconditions.
Preconditions and Postconditions in Testing
- A postcondition of an operation is an assertion which must be true just after the operation has been completed.
- A postcondition means if the operation returns the desired result, or has the desired effect, relative to the given parameters that satisfy the precondition.