Polyspace Bug Finder

Détection des bugs et tri des défauts

Polyspace Bug Finder détecte une variété de défauts, tels que les défauts numériques, de programmation, de mémoire statique, de mémoire dynamique et de flux de données. Ces défauts sont identifiés dans le code source et des informations de traçabilité aident à identifier la cause et la source des défauts. Les violations des règles de codage sont identifiées directement dans le code source et des messages sont générés pour indiquer quelles règles de codage ont été violées.

Le processus rationalisé permet aux développeurs et aux ingénieurs qualité de classifier et de trier les défauts. Pour chaque défaut détecté, Polyspace Bug Finder fournit des informations détaillées sur ses causes. Ainsi, en cas de dépassement de capacité pour un entier, Polyspace Bug Finder identifie tous les numéros de ligne du code ayant provoqué le dépassement. Les développeurs peuvent alors exploiter ces informations pour déterminer la meilleure façon de corriger le code. Les ingénieurs qualité peuvent utiliser ces informations pour classifier le défaut et décider de l’action à entreprendre. Ainsi, l’ingénieur qualité peut marquer le défaut afin qu’il soit étudié plus amplement ou indiquer qu’il s’agit d’un défaut de faible priorité.

An overflow condition identified in Polyspace Bug Finder.
Identification d’un dépassement dans Polyspace Bug Finder
Point suivant: Vérification de la conformité aux normes de codage

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