Staattinen analyysi

Staattinen analyysi tarkoittaa tietokoneohjelmien analysointia suorittamatta niitä (suorittamalla tehtyä analysointia kutsutaan termillä dynaaminen analyysi).
Tyypillisesti juuri työkalun suorittamaa osuutta kutsutaan staattiseksi analyysiksi, kun taas ihmisen suorittamaa jatkoanalysointia siihen liittyen kutsutaan termillä ohjelman ymmärtäminen tai ohjelman ymmärtämisen teoria ().

 Katso myös 
 Symbolinen analyysi

 Kirjallisuutta 
Cousot,P., Cousot, R. (1977). Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Los Angeles, CA. 

Luokka:Ohjelmistotuotanto
Luokka:Ohjelmiston katselmointi