Polyspace Bug Finder

Principales fonctionnalités

  • Détection des erreurs d’exécution, des problèmes de flux de données et d’autres défauts dans le code C et C++
  • Analyse rapide de grandes bases de code
  • Vérification de la conformité aux règles MISRA-C:2004, MISRA-C++:2008, JSF++ et à des règles de nommage personnalisées
  • Complexité cyclomatique et autres métriques de code
  • Intégration à Eclipse
  • Traçabilité des résultats de la vérification du code jusqu’aux modèles Simulink®
  • Accès aux résultats de Polyspace Code Prover
  • Détection de bugs avec une faible probabilité de fausse détection
Static analysis results displayed by Polyspace Bug Finder.
Affichage des résultats de l’analyse statique par Polyspace Bug Finder
Point suivant: Identification des défauts du logiciel avec analyse statique

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