Invariants and evolution
•Invariants can aid in the evolution of software as well
•In particular, programmers can easily make changes that violate unstated invariants
–The violated
invariants are often far from the
site of the change
–These changes
can cause errors
–The presence
of invariants can reduce the number
of or cost of finding these violations