Statisk Analys

Analys av programvaruartefakter, t.ex. krav eller programvarukod, utan att dessa artefakter exekveras. Vanligtvis utförs statisk analys med hjälp av verktyg.