Polyspace Bug Finder

Konformität mit Codierungsstandards verifizieren (MISRA, JSF, Namenskonventionen)

Polyspace Bug Finder unterstützt die Erkennung von Verletzungen der Standards MISRA-C:2004, MISRA-C++:2008, MISRA-AC-AGC und JSF++ sowie von Verletzungen benutzerdefinierter Namenskonventionen bei der Codierung. Sie können Polyspace Bug Finder verwenden, um Codierungsregeln zur Verbesserung der Lesbarkeit und Qualität Ihres Programmcodes zu erzwingen. Sie können Polyspace Bug Finder so konfigurieren, dass alle Regeln des Standards oder nur die gemäß des Standards erforderlichen Regeln berücksichtigt werden. Alternativ können Sie die zu erzwingenden Regeln einzeln auswählen. Sie können auch Ihre eigene Konfiguration definieren, um sicherzustellen, dass dieselben Codierungsregeln innerhalb Ihres Teams durchgesetzt werden.

Sie können Regelverletzungen korrigieren, indem Sie sie zu Ihrem Quellcode-Editor rückverfolgen. Alternativ können Sie die Verletzungen der Codierungsregel zu Dokumentationszwecken oder als Codekommentare begründen. Die Polyspace Bug Finder-Benutzeroberfläche ermöglicht Ihnen, sich auf die Unterschiede im Vergleich zu vorhergehenden Analysen zu konzentrieren, um doppelte Verletzungsprüfungen zu vermeiden. Die Ergebnisse von Codierungsregelanalysen können in ein Web-Dashboard exportiert werden, damit Ergebnisse langfristig verfolgt werden können.

Identifying a MISRA violation.
MISRA-Verletzung identifizieren.
Weiter: Codemetriken produzieren und Softwarequalität überwachen

Probieren Sie Polyspace Bug Finder

Testsoftware anfordern

Kein Spaß an Code Reviews? Automatische Verifikation!

Webinar anzeigen