Diese Seite ist für die vorige Version. Die entsprechende englische Seite wurde in der aktuellen Version entfernt.
Identifizieren von Fehler und Verstöße gegen Codierungsstandards in C/C++ Code in der Benutzeroberfläche der Polyspace-Plattform
Die Polyspace-Plattform ist eine integrierte Umgebung, die die statische Analyse und dynamische Prüfung von C/C++ Code mit Polyspace®-Produkten unterstützt. Dieses Segment zeigt Ihnen, wie Sie die Suche nach Fehlern (Bugs) und Verstößen gegen Codierungsstandards in der Benutzeroberfläche der Polyspace-Plattform in Angriff nehmen können.
Für weitere Informationen zu:
Polyspace-Plattform, siehe Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing (Polyspace Test).
Prüfen auf Laufzeitfehler, siehe .
Schreiben und Ausführen von Tests, siehe Write C/C++ Unit Tests in Polyspace Platform User Interface (Polyspace Test).
Schritt 1: Projekt erstellen und Code hinzufügen
Um Fehler und Verstöße gegen Codierungsstandards in der Benutzeroberfläche der Polyspace-Plattform zu finden, fügen Sie Ihre C/C++ Quellen zu einem Projekt hinzu. Sie werden den Polyspace Bug Finder™ später auf die Dateien in diesem Projekt anwenden.
Um ein neues Projekt zu erstellen, klicken Sie in der Symbolleiste auf New. Navigieren Sie zu einem geeigneten Speicherort und speichern Sie das Projekt. Das neue Projekt wird im Fensterbereich Projects angezeigt.
Rechtsklicken Sie auf den Knoten Code des Projekts und wählen Sie Add Source File(s) (oder Add Source Folder, um einen Ordner mit Quellen hinzuzufügen). Navigieren Sie zu Ihren Quelldateien und fügen Sie die Dateien hinzu. Sie können mehrere Dateien mit Strg-Auswahl auswählen, um sie zusammenzufügen (oder zwei Dateien mit Umschalt-Auswahl auswählen, um alle dazwischen liegenden Dateien hinzuzufügen).
Schritt 2: Optionen konfigurieren
Doppelklicken Sie auf den Knoten Configuration des Projekts. Legen Sie im Fensterbereich Configuration die gewünschten Analyseoptionen fest. Insbesondere:
Geben Sie auf der Registerkarte Build die Optionen im Knoten Target & Compiler an, um Ihren Compiler zu emulieren.
Geben Sie auf der Registerkarte Static Analysis im Knoten Defects and Coding Standards die zu aktivierenden Checker an.
Die vollständige Liste der Optionen finden Sie unter Polyspace Bug Finder Options in Polyspace Platform User Interface.
Schritt 3: Datenanalyse
Wählen Sie in der Symbolleiste die Option Find Issues, um die Polyspace Bug Finder-Analyse zu starten.
Schritt 4: Ergebnisse überprüfen
Nach Abschluss der Analyse wird im Fensterbereich Results ein Knoten für Defects angezeigt. Rechtsklicken Sie auf diesen Knoten und wählen Sie Open Review, um die Ergebnisse anzuzeigen.
Die Ergebnisse werden in drei Fensterbereichen angezeigt:
Results List: Vollständige Liste der Ergebnisse (Fehler und Verstöße gegen Codierungsstandards).
Source: Quellcode wird analysiert. Wenn Sie einen Treffer im Fensterbereich Results List auswählen, können Sie zur entsprechenden Stelle im Quellcode navigieren.
Result Details: Einzelheiten zu jedem Treffer. Wenn Sie einen Treffer im Fensterbereich Results List auswählen, werden weitere Details zu einem Ergebnis angezeigt.
