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

Previous slide

Next slide

Back to first slide

View graphic version