Testing

We are interested in white box or glass box testing. These are procedures that allow the tester to ``look inside'' the procedure. Black box testing is testing that does not allow one to look inside. Testing, as opposed to proving, is meant to find errors. Anecdotal evidence shows that about sixty percent of the possible errors in a program are found by testing.

• Definitions
  • Testing versus Proving
  • Pre- and Post-Conditions
  • Performance Analysis
• Testing Activities During Design
• Testing at Programming Time
  • Basis Testing.
  • Data Flow.
  • Control States.
  • Checking Useful Data and Control States.
  • Equivalence Testing.
  • Heuristics.
  • Termination.