Workflow mithilfe von Polyspace Bug Finder und Polyspace Code Prover

Polyspace^® Bug Finder™ und Polyspace Code Prover™ führen verschiedene Arten von statischen Analysen durch, die unterschiedliche Ziele verfolgen. Code Prover versucht, das Fehlen einer Reihe von Laufzeitfehlern mathematisch nachzuweisen. Bug Finder erkennt zahlreiche Arten von Verstößen gegen Codierungsregeln und Codierungsfehler.

Wenn Sie sowohl Bug Finder als auch Code Prover einsetzen, integrieren Sie die Produkte in verschiedene Schritte Ihres Software-Entwicklungs-Workflows. Beispiel:

• Alle Entwickler in Ihrer Organisation können Bug Finder für neu entwickelten Code ausführen. Um Standards in Ihrem gesamten Unternehmen aufrechtzuerhalten, können Sie eine gemeinsame Konfiguration bereitstellen, die nur nach bestimmten Fehlertypen sucht.

  Code Prover kann als Teil Ihrer Unit-Test-Suite eingesetzt werden.

• Sie können Code Prover nur für kritische Komponenten Ihres Projekts ausführen, während Bug Finder für das gesamte Projekt ausgeführt wird.

• Sie können Code Prover auf Code-Modulen auf Unit-Test-Ebene ausführen und Bug Finder bei der Integration der Module einsetzen.

  Sie können Code Prover vor dem Unit-Test ausführen. Code Prover überprüft Ihren Code umfassend und versucht, das Vorhandensein oder Fehlen von Fehlern nachzuweisen. Anstatt Unit-Tests für Ihren gesamten Code zu schreiben, können Sie nur Tests für den ungetesteten Code erstellen. Die Verwendung von Code Prover vor dem Unit-Test reduziert Ihren Testaufwand erheblich.

Je nach Art Ihres Software-Entwicklungs-Workflows und den verfügbaren Ressourcen gibt es viele weitere Möglichkeiten, die beiden Arten der Analyse zu integrieren. Sie können beide Produkte während der Entwicklung auf Ihrem Desktop oder im Rahmen automatisierter Tests auf einem Remote-Server ausführen. Bitte beachten Sie, dass Fehler nahe dem Entwicklungsschritt leichter zu interpretieren und zu beheben sind. Sie profitieren von der Verwendung beider Produkte, wenn Sie diese frühzeitig und häufig in Ihrem Entwicklungsprozess einsetzen.

Wenn Sie Bug Finder und Code Prover für denselben Code verwenden, sind zwei wichtige Aspekte zu beachten.

• Ab R2022a wird Polyspace Bug Finder als empfohlenes Tool zur Überprüfung der Einhaltung externer Codierungsstandards wie AUTOSAR C++14 oder MISRA C++:2008 empfohlen. Verwenden Sie Bug Finder für Ihren Code, um zu prüfen, ob diese Codierungsstandards verletzt wurden. Vielleicht haben Sie Polyspace Code Prover zu diesem Zweck verwendet. Stellen Sie Ihren Workflow auf die Verwendung von Bug Finder um. Siehe Migrate Code Prover Workflows for Checking Coding Standards and Code Metrics to Bug Finder.

• Sie können dasselbe Projekt sowohl für die Bug Finder- als auch die Code Prover-Analyse verwenden. Die folgenden Optionen sind für Bug Finder und Code Prover gleich:

  • Ziel und Compiler

  • Makros

  • Umgebungseinstellungen

  • Eingaben und Stubbing

  • Multitasking

  • Codierungsstandards und Code-Metriken

  • Berichte, außer Bug Finder and Code Prover report (-report-template)

Möglicherweise müssen Sie weitere Standardoptionen ändern, wenn Sie die Code Prover-Verifikation ausführen, da Code Prover bei Kompilierungs- und Verknüpfungsfehlern strenger ist.