Polyspace Bug Finder

Zertifizierungsartefakte erstellen

Sie können Polyspace Bug Finder und Polyspace Code Prover in Verbindung mit dem IEC Certification Kit (für IEC 61508 und ISO 26262) und DO Qualification Kit (für DO-178B) verwenden, und zwar bei Zertifizierungsvorgängen für Projekte, die auf diesen Industriestandards basieren.

In Berichten und Artefakten wird die Endqualität des Programmcodes angezeigt. Zudem werden überprüfte Abschnitte hervorgehoben, Codemetriken erstellt und die Anwendung von Codierungsregeln und der Laufzeitfehlerstatus dokumentiert. Es ist möglich, diese Berichte im PDF-, HTML- oder RTF-Format und in anderen Formaten zu erstellen.

DO Qualification Kit contents.
Zertifizierungs- und Qualifizierungs-Kits sind verfügbar.

Probieren Sie Polyspace Bug Finder

Testsoftware anfordern

Kein Spaß an Code Reviews? Automatische Verifikation!

Webinar anzeigen