We’ve covered
n
Programming by contract.
u
The client satisfying the
precondition.
u
The server satisfying the
postcondition.
n
Test plans.
u
