Polyspace Bug Finder

Softwarefehler mithilfe statischer Analyse identifizieren

Polyspace Bug Finder ist ein Tool für die statische Codeanalyse, das für die Analyse von Codekomponenten oder von Gesamtprojekten für integrierte Software verwendet wird. Polyspace Bug Finder verwendet schnelle Techniken zur statischen Codeanalyse einschließlich formaler Methoden mit niedrigen falsch-positiv-Raten, um numerische Fehler, Datenflussfehler, Programmierungsfehler und andere Fehler im C- oder C++-Quellcode zu lokalisieren.

Sie können Fehler schnell finden, sie den jeweiligen Mitarbeitern zuweisen und beheben. Polyspace Bug Finder erkennt Fehler und Verletzungen von Codierungsregeln beim Schreiben, Ändern oder Generieren von Code. Sie können mit Polyspace Bug Finder Ihren Code frühzeitig im Entwicklungsprozess schrittweise debuggen und korrigieren. Das Programm unterstützt den Aufruf über die Befehlszeile, die Verwendung über eine Standalone-Benutzeroberfläche und die Verwendung mit der Eclipse IDE. Die Integration in Build-Umgebungen für die automatisierte Verwendung ist möglich. Polyspace Bug Finder unterstützt kritische Aktivitäten im Softwareentwicklungs-Workflow. Dazu gehören folgende:

  • Fehler erkennen
  • Codierungsstandards erzwingen
  • Codekomplexitätsmetriken generieren
  • Identifizierte Fehler zuweisen und beheben

Mit Polyspace Bug Finder können Sie ein Projekt einrichten und statische Codeanalysen durchführen:

  • Ein Projekt nach Embedded Target und Compiler erstellen und einrichten
  • Fehler im Quellcode lokalisieren
  • Die Konformität des Codes mit den Standards MISRA-C:2004, MISRA AC AGC, MISRA-C++:2008, JSF++ (Joint Strike Fighter Air Vehicle C++) sicherstellen und prüfen, ob der Code benutzerdefinierten Namenskonventionen entspricht
  • Berichte erstellen oder statische Codeanalysen und Codekonformitätsergebnisse visualisieren
  • Die Ursache von Fehlern prüfen, um festzulegen, wie identifizierte Fehler zugewiesen und behoben werden
  • Codefehler zu Simulink-Blöcken oder IBM Rational Rhapsody-Modellen rückverfolgen
  • Ergebnisse der statischen Analyse auf ein Web-Dashboard hochladen, um Softwarequalitätstrends zu überwachen
Identify defects and check compliance to MISRA or JSF++.
Ein Projekt in Polyspace konfigurieren, um Fehler zu identifizieren und die Konformität mit MISRA oder JSF++ zu prüfen.

Polyspace Bug Finder kann gemeinsam mit Polyspace Code Prover eingesetzt werden, um zu beweisen, dass bestimmte Laufzeitfehler nicht im Quellcode enthalten sind. Diese Produkte bieten eine umfassende Funktion zur statischen Analyse, die frühzeitig im Entwicklungsprozess genutzt werden kann, um Fehler zu lokalisieren, Coderegeln zu prüfen und Nachweise zu liefern. Diese Funktion stellt die Zuverlässigkeit von integrierter Software sicher, die höchste Ansprüche an Softwarequalität und -sicherheit erfüllen muss.

Sie können die statische Codeanalyse beschleunigen, indem Sie Jobs zur statischen Analyse an Computer-Cluster mit Parallel Computing Toolbox™ und dem MATLAB Distributed Computing Server™ übergeben.

Weiter: Fehler erkennen und Fehlerworkflow verwalten

Probieren Sie Polyspace Bug Finder

Testsoftware anfordern

Kein Spaß an Code Reviews? Automatische Verifikation!

Webinar anzeigen