Polyspace Code Prover

Création d’artefacts de certification

Vous pouvez utiliser Polyspace Bug Finder et Polyspace Code Prover avec IEC Certification Kit (for IEC 61508 and ISO 26262) et DO Qualification Kit (for DO-178B) dans le processus de certification, pour les projets devant répondre à ces normes de l’industrie.

Les rapports et artefacts montrent la qualité finale du code, mettent en évidence les sections qui ont été révisées, génèrent les métriques de code et documentent l’application des règles de codage et le statut des erreurs d’exécution. Vous pouvez créer ces rapports aux formats PDF, HTML, RTF ou à d’autres formats.

DO Qualification Kit contents.

Disponibilité des kits de certification et de qualification.

Essayer Polyspace Code Prover

Obtenir une version d'évaluation

Automatiser et optimiser la vérification et le test de logiciel embarqué

Visionner le webinar