Statische Code-Analyse

Statische Code-Analyse oder kurz statische Analyse bezeichnet eine bestimmte Art von Softwaretest. Der Quelltext wird hierbei einer Reihe formaler Prüfungen unterzogen, bei denen bestimmte Sorten von Fehlern entdeckt und behoben werden können, noch bevor die entsprechende Software (z. B. im  Modultest) ausgeführt wird. Die Methodik gehört zu den falsifizierenden Verfahren, d. h. es wird die Anwesenheit von Fehlern bestimmt.
Mehr unter Wikipedia.org...