Test Suites (cont)

• Formal certification tests

  • formal development methods, map back to specific bits of specification, etc.
  • exhaustive

• Useful for regression testing of systems

• Tends to find edge condition failures, return codes

• Large areas of specification untested

  • Actively working on developing new test suites
    • Welcome programmers who would like to help