Staattinen analyysi tekniikka, joka perustuu silmämääräisesti edistyminen hedelmä havaita virheet ja kehitystä koskevien rikkomisesta muita ongelmia. Tyypit sisältää koodin tarkastuksen, suunnitella tarkastus.