Statische Code Analyse: Fehler frühzeitig ausmachen

Mit der steigenden Komplexität der Software wird die Qualitätssicherung von Code immer wichtiger. Im Engineering Tool LASAL CLASS von SIGMATEK gibt es zur Überprüfung des in Structured Text erstellten Codes eine optionale Erweiterung „Statische Code Analyse“ (SCA). Die SCA überprüft die Codebasis auf mögliche Laufzeitfehler und undefiniertes Verhalten, wie nicht initialisierte Variablen, Retournierung eines Pointers auf eine lokale Variable, implizite Konvertierungen usw. – und das, ohne dass der Code ausgeführt werden muss.

Dazu analysiert eine Vielzahl an unterschiedlichen, gleichzeitig laufenden Prüfregeln die verschiedensten Aspekte des Codes und identifiziert eventuelle Qualitätsmängel, nicht eingehaltene Richtlinien oder Verstöße gegen interne Codierungsstandards frühzeitig.

Triviale, aber oft aufwendig zu findende Fehler lassen sich mit Einsatz der SCA verhindern, das Team wird entlastet, Produktivität und Softwarequalität steigen und das nicht nur bei der Erstellung, sondern auch bei der Wartung.

Der Anwender verfügt über flexible Konfigurationsmöglichkeiten: Jede der über 50 vordefinierten Regeln für Variablen, Typen, Funktionen und Methoden kann einzeln parametriert werden. Das Tool kann auch Metriken berechnen. Metriken sind Messgrößen, die verschiedene Aspekte der Codebasis bewerten. Zudem sind auch komplett konfigurierbare Naming Conventions möglich. Die Regeln, Metriken oder Namenskonventionen können an- und ausgeschaltet werden – sowohl individuell als auch in Gruppen. Durch die automatisierten Basisprüfungen können sich Reviewer auf Korrektheit der Logik und Architektur konzentrieren.

Die Analyse in einem eigenen Ausgabefenster zeigt Fehlermeldungen klar an, die doppelgeklickt werden können, wodurch an die entsprechende Stelle im Code gesprungen wird. Konfigurierbare, farblich gekennzeichnete Prioritätsstufen der einzelnen Fehler in der Ausgabe schaffen Übersichtlichkeit. Die Fehlerausgabe kann zeilenweise per Code-Kommentar unterdrückt werden.