Statische Codeanalyse
Code oder seine Darstellung untersuchen, ohne dafür den fachlichen Anwendungsablauf auszuführen.
Was ist statische Codeanalyse?
Statische Codeanalyse untersucht Programmcode oder eine daraus erzeugte Darstellung, ohne den untersuchten fachlichen Ablauf wie in einem Laufzeittest auszuführen. Je nach Werkzeug lassen sich etwa auffällige Datenwege, mögliche Fehler oder Regelverstöße finden. Das Analysewerkzeug selbst läuft dabei sehr wohl. Welche Dateien, Sprachen und Regeln erfasst werden, bestimmt den Umfang des Befunds.
In einem erfundenen Portal kann eine Analyse darauf hinweisen, dass eine Variable möglicherweise vor ihrer Zuweisung verwendet wird. Das Team prüft den Hinweis im Kontext und hält fest, welcher Code untersucht wurde. Ein Bericht ohne Warnungen beweist weder korrekte Nutzerabläufe noch vollständige Sicherheit. Nicht erfasste Dateien und fehlende Modelle können Lücken lassen. Statische Analyse ergänzt deshalb fachliche Tests und Codeprüfung; sie ersetzt diese nicht automatisch.
Quellen
Verwandte Begriffe
- TypisierungWie eine Programmiersprache mit Wertarten und den dazu passenden Operationen umgeht.
- LinterEin Werkzeug, das Code anhand konfigurierter Regeln auf bestimmte Probleme untersucht.
- Unit-TestEine gezielte Prüfung eines kleinen, festgelegten Teils der Software, etwa einer Regel oder Funktion.
- Code-ReviewDie gezielte Begutachtung einer Quellcodeänderung auf Entwurf, Verhalten, Verständlichkeit und passende Prüfungen.
- Contract-TestEin Test, der vereinbarte Nachrichten zwischen einem Verbraucher und einem Anbieter einer Schnittstelle prüft.
- TestabdeckungDer geprüfte Anteil einer ausdrücklich definierten Menge, etwa ausführbarer Anweisungen oder Anforderungen.
Ihr Vorhaben mit ASES
Beschreiben Sie uns Ihr Vorhaben. Wir melden uns mit einer ersten Einschätzung.