The objective of
programming by
contract (cont.)
n
Test for every possible error condition
only once (for program efficiency).
n
Achieve a balance between program
reliability and maintainability.
n
