Statinis analizės technika, kuri remiasi apžiūrą ir plėtros produktams aptikti klaidas, plėtros standartų pažeidimus ir kitas problemas. Rūšių apimtų kodas; dizaino patikrinimo.