GrammaTech
Programmierfehler schneller finden
Dass der Mars-Rover bislang unfallfrei seiner Erkundungsmission auf dem roten Planeten nachgehen kann, liegt auch an seiner sorgfältig geprüften Software. Statische Analyse-Werkzeuge wie CodeSonar helfen, Programmierfehler gezielt aufzuspüren.