Polyspace Bug Finder

Identification des défauts du logiciel avec l’analyse statique

Polyspace Bug Finder est un outil d’analyse statique de code permettant d’analyser des éléments de code ou des projets logiciels embarqués dans leur totalité. Polyspace Bug Finder utilise des techniques d’analyse de code statique rapide, notamment des méthodes formelles avec une faible probabilité de fausse détection pour identifier les bugs numériques, de flux de données, de programmation et tout autre bug dans le code source C ou C++.

Vous pouvez l’utiliser pour détecter, trier et corriger rapidement les bugs. Polyspace Bug Finder détecte les bugs et les violations de règles de codage dès l’écriture, la modification ou la génération du code. Vous pouvez également l’utiliser pour déboguer et corriger votre code de manière itérative, dès le début du processus de développement. Polyspace Bug Finder prend en charge l’appel en ligne de commande, l’utilisation via une interface utilisateur autonome et l’utilisation avec l’IDE Eclipse. Vous pouvez l’intégrer dans des environnements de déploiement pour une utilisation automatisée. Polyspace Bug Finder prend en charge les activités essentielles du processus de développement logiciel, notamment :

  • Détection des défauts
  • Respect des normes de codage
  • Génération des métriques associées au code
  • Tri et correction des défauts identifiés

Avec Polyspace Bug Finder, vous pouvez configurer un projet et réaliser une analyse de code statique :

  • Créez et définissez un projet par cible et programme de conformité embarqués
  • Détectez des défauts dans un code source
  • Vérifiez la conformité du code aux règles MISRA-C:2004, MISRA AC AGC, MISRA-C++:2008, JSF++ (Joint Strike Fighter Air Vehicle C++) ou aux règles de nommage personnalisées
  • Générez des rapports ou visualisez l’analyse de code statique et les résultats de conformité du code
  • Examinez les causes des défauts afin de trier et corriger les défauts identifiés
  • Établissez la traçabilité des défauts du code jusque dans les blocs Simulink ou les modèles IBM Rational Rhapsody
  • Téléchargez les résultats de l’analyse statique vers un tableau de bord en ligne afin de surveiller l’évolution de la qualité du logiciel
Identify defects and check compliance to MISRA or JSF++.
Configuration d’un projet dans Polyspace pour identifier les défauts et vérifier la conformité aux règles MISRA ou JSF++

Polyspace Bug Finder fonctionne avec Polyspace Code Prover pour démontrer l’absence de certaines erreurs d’exécution dans votre code source. La combinaison de ces deux produits fournit une solution d’analyse statique complète pouvant être utilisée dès les premières étapes du développement et couvrant la détection de bugs, le contrôle des règles de codage et la preuve d’absence d’erreurs d’exécution. Cette fonctionnalité garantit la fiabilité du logiciel embarqué qui doit fonctionner selon les plus hauts niveaux de qualité et de sécurité.

Vous pouvez accélérer l’analyse de code statique en envoyant des tâches d’analyse statique à un cluster d’ordinateurs via la Parallel Computing Toolbox™ et MATLAB Distributed Computing Server™.

Point suivant: Détection des erreurs et tri des défauts

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