Staatilise analüüsi meetod, mis põhineb visuaalsel kontrollimisel arengu toodete avastada vigu, arengu standardite rikkumised ja muud probleemid. Tüübid sisaldavad koodi kontroll; disain kontrolli.