Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03417.jsonl.gz/2619

Polyspace Bug Finder
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.