Polyspace Bug Finder

Vérification de la conformité aux normes de codage (MISRA, JSF, règles de nommage)

Polyspace Bug Finder prend en charge la détection des violations des règles MISRA-C:2004, MISRA-C++:2008, MISRA-AC-AGC, JSF++ et des règles de nommage personnalisées. Vous pouvez utiliser Polyspace Bug Finder pour renforcer les règles de codage afin d’améliorer la lisibilité et la qualité de votre code. Vous pouvez configurer Polyspace Bug Finder pour qu’il prenne en compte toutes les règles de la norme, uniquement les règles requises par la norme ou des règles que vous avez sélectionnées. Vous pouvez aussi définir votre propre configuration pour vous assurer que les mêmes règles de codage sont respectées au sein de votre équipe.

Vous pouvez corriger les violations en remontant à leur source dans l’éditeur de code source, ou vous pouvez justifier les violations des règles de codage à des fins de documentation ou de commentaires de code. L’interface Polyspace Bug Finder vous permet d’afficher uniquement les différences par rapport à l’analyse précédente et d’éviter ainsi de perdre du temps en étudiant plusieurs fois la même violation. Les résultats de l’analyse des règles de codage peuvent être exportés vers un tableau de bord en ligne afin de voir comment ils évoluent dans le temps.

Identifying a MISRA violation.
Identification d’une violation MISRA
Point suivant: Génération de métriques de codage et surveillance de la qualité du log

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