Systematisches Untersuchen und Überprüfen von rechnergestütztem Quellcode zur Ermittlung von Fehlern in allen Phasen der Entwicklung und zur Verbesserung der allgemeinen Softwarequalität.