Polyspace Bug Finder

Création d’artefacts de certification

Vous pouvez utiliser Polyspace Bug Finder et Polyspace Code Prover avec IEC Certification Kit (IEC 61508 et ISO 26262) et DO Qualification Kit (DO-178B) dans le processus de certification de projets basés sur ces normes.

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 du code et décrivent 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 autres.

DO Qualification Kit contents.
Disponibilité des kits de certification et de qualification

Essayer Polyspace Bug Finder

Obtenir une version d'évaluation

Développez des tests pour des modèles Simulink et du code embarqué

Visionner le webinar