Polyspace Bug Finder

Identifier les défauts du logiciel avec l'analyse statique

En savoir plus :

Identifier les bugs très tôt dans le développement

Identifiez des centaines de classes de bugs dès l'écriture ou la modification du code.

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.

Montre comment créer votre propre chemin de navigation.

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.

Montre comment utiliser l'extension Polyspace as You Code dans Visual Studio.

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'aux modèles Simulink.

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.

Définir les options de la cible et du compilateur.

Sécuriser le code

Suivez la conformité aux normes de qualité de l'industrie.

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.

Respecter les normes de sécurité fonctionnelle supportées.

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 et des métriques de codage

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 et comparer les résultats d'analyse.

Filtrer les résultats.

Automatiser l'analyse du code avec Polyspace Bug Finder Server

Favorisez l'intégration continue en analysant les modifications de code de manière précoce et fréquente.

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.

Montre comment intégrer les produits Polyspace dans votre environnement d'intégration continue.

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.

Montre comment envoyer des notifications par email avec les résultats de Polyspace Bug Finder.

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®.

Use Polyspace in the Cloud

Use Polyspace in the Cloud.

Revue collaborative avec Polyspace Bug Finder Access

Partagez les résultats de l'analyse et les métriques de qualité avec l'équipe de développement logiciel.

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.

Examiner les résultats dans la fenêtre des résultats détaillés

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.

Le tableau de bord affiche la synthèse des informations que vous pouvez suivre sur un projet.

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 et assigner des tickets dans des outils de suivi de bugs

Créer des tickets