Polyspace Bug Finder
Identifier les défauts du logiciel avec l'analyse statique
Polyspace Bug Finder™ identifie les erreurs run-time, les problèmes de concurrence, les vulnérabilités de sécurité et bien d'autres défauts dans les logiciels embarqués C et C++. Grâce à l'analyse statique, y compris l'analyse sémantique, Polyspace Bug Finder analyse les éléments de contrôle du logiciel, les flux de données et le comportement interprocédural. En mettant en évidence les défauts dès leur détection, il vous permet de trier et de corriger les bugs dès le début du processus de développement.
Polyspace Bug Finder vérifie la conformité aux normes de règles de codage telles que MISRA C®, MISRA C++, AUTOSAR C++ 14, CERT® C, CERT® C++, ainsi qu'aux conventions de nommage personnalisées. Il génère des rapports répertoriant les bugs détectés, les violations des règles de codage et les métriques associées au code, comme la complexité cyclomatique. Polyspace Bug Finder peut être utilisé avec l'IDE Eclipse™ pour analyser du code sur votre ordinateur.
Pour le code généré automatiquement, les résultats Polyspace® peuvent être tracés jusqu’aux modèles Simulink® et aux blocs dSPACE® TargetLink®.
Le support des normes industrielles est assuré via l'IEC Certification Kit (for ISO 26262 and IEC 61508) et le DO Qualification Kit (DO-178).
En savoir plus :
Identifier la cause principale des bugs complexes
Visualisez votre code en mode debug avec le suivi des événements, les valeurs des variables et les arborescences des appels.
Créer votre chemin de navigation.
Identifier les bugs dans votre IDE pendant l'écriture du code
Trouvez les bugs aussitôt que le code est écrit ou modifié avec l'extension Polyspace as You Code dans un IDE comme Visual Studio®, Visual Studio Code ou Eclipse.
Utiliser l'extension Polyspace as You Code dans Visual Studio.
Tracer l'analyse du code jusqu'au modèle Simulink
Exécutez une analyse sur le code généré et tracez vos résultats jusqu'au bloc source dans le modèle.
Tracer l'analyse du code jusqu'au modèle.
S'intégrer dans tous les environnements run-time
Intégrez Polyspace Bug Finder avec n'importe quel compilateur, processeur cible et environnement RTOS.
Définir les options de la cible et du compilateur.
Se conformer aux règles de codage et exigences associées à la certification
Appliquez les règles MISRA C, MISRA C++, AUTOSAR C++14, JSF++ ainsi que des règles personnalisées. Conformez-vous aux normes ISO 26262, DO-178, IEC 61508, EN 50128, IEC 62304 et autres.
Normes de sécurité fonctionnelle supportées
Respecter les normes de sécurité
Conformez-vous aux normes CERT C/C++, ISO 17961 et à l'Amendement 1 de MISRA C:2012.
Configuration du contrôle des règles de codage
Suivre la qualité logicielle de votre projet
Comparez les résultats d'analyse à des seuils de qualité établis pour permettre une collaboration plus performante au sein de votre équipe de développement et un suivi efficace des étapes du projet.
Filtrer les résultats.
Analyser des builds intégrés
Exécutez le moteur d'analyse statique Polyspace Bug Finder Server™ sur une machine de type serveur avec des outils d'automatisation des builds comme Jenkins ou Bamboo.
Intégration des produits Polyspace dans votre environnement d'intégration continue
Notifier et publier des résultats pour une revue collaborative
Attribuez automatiquement les défauts aux propriétaires des composants, envoyez des notifications par email et importez les résultats dans Polyspace Bug Finder Access™ pour faciliter le tri et la résolution des problèmes.
Envoi de notifications par email avec les résultats de Polyspace Bug Finder
Exécuter sur des plateformes cloud publiques
Bénéficiez de plus de puissance de calcul en utilisant du hardware spécialisé dans le cloud. MathWorks® propose des architectures de référence qui provisionnent les déploiements de Polyspace Server sur les plateformes cloud comme AWS® et Azure®.
Utiliser Polyspace dans le cloud.
Revoir les résultats de l'analyse pour faciliter le tri et la résolution des problèmes
Polyspace Bug Finder Access vous donne accès, via une interface web, aux résultats d’analyse statique du code et aux métriques de qualité que vous stockez dans un référentiel centralisé. Les outils de navigation utiles pour l'examen des résultats de l’analyse statique sont disponibles à côté du code.
Fenêtre des résultats détaillés
Suivre la qualité du projet et les métriques de qualité logicielle
Les tableaux de bord affichent des informations que vous pouvez utiliser pour le suivi de la qualité logicielle, de l'état du projet, du nombre de défauts et des métriques de code.
Tableau de bord de synthèse du projet.
S'intégrer avec vos outils de suivi de bugs existants
Utilisez l'interface web pour créer et assigner des tickets dans des outils de suivi de bugs comme Jira.
Créer des tickets
