Basically testing techniques are static techniques. The word static is quite nebulous, because often you make use of your random program on the computer without completely running. You just try to get some look into the data structures, so some of these things are soon here. The techniques that are used are the following: reading, reviews, walkthrough, inspections, scenario based evaluation, formal correctness proof, stepwise abstraction.

---