Running the program

• Requires a test suite

  • Standard test suites are adequate
  • Relatively insensitive to test suite (if large enough)

• No guarantee of completeness or soundness

  • Useful nonetheless (cf. Purify, ESC, PREfix)
  • Complementary to other techniques and tools

Previous slide

Next slide

Back to first slide

View graphic version