Inhaltsverzeichnis:
Definition - Was bedeutet statische Verifikation?
Die statische Überprüfung ist eine Analyse des Computercodes, um sicherzustellen, dass die Standardcodierungsverfahren eingehalten wurden, ohne dass das Programm ausgeführt werden muss. Eine Analyse wird für einige Versionen des Quellcodes durchgeführt und bietet Programmierern die Möglichkeit, neuen Code zu debuggen und potenzielle Fehler im kompilierten Code zu erkennen.
Techopedia erklärt die statische Verifikation
Die statische Verifizierung wird häufig in Software für sicherheitskritische Computersysteme verwendet. Die Schlüsseltechnologien für die statische Überprüfung sind die statische Zeitanalyse und die Äquivalenzprüfung. Timing und Funktionsüberprüfung in einem statischen Überprüfungsablauf werden getrennt und parallel ausgeführt. Die statische Timing-Analyse bietet Timing-Überprüfungen, während die Äquivalenzprüfung die funktionale Äquivalenz von zwei Versionen der gleichen Schaltung wie die Entwurfsskala durch verschiedene Transformationen wie die Neuordnung der Scan-Kette, das Routing und die Platzierung überprüft.
Einige Implementierungstechniken zur statischen Verifizierung sind Datenflussanalyse, Modellprüfung, Abstraktionsinterpretation und Verwendung von Behauptungen.
Zu den Tools, die im Allgemeinen für die statische Überprüfung verwendet werden, gehören Sonar, Yasca, Kopier- / Einfügedetektor, Stylecop, FxCop, BLAST, Clang, Lint und Checkstyle.
