Polyspace Bug Finder

MISE A JOUR IMPORTANTE

 

Polyspace Bug Finder

Identifiez 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 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 erreurs 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++, JSF++, CERT® C, CERT® C++, ainsi qu'aux conventions de nommage personnalisées. Il génère des rapports répertoriant les erreurs détectées, 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 de l'industrie est disponible par l’intermédiaire du IEC Certification Kit (ISO 26262 et IEC 61508) ou du DO Qualification Kit (DO-178).

Identifiez 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, la valeur des variables et l'arborescences des appels.

Créer de votre chemin de navigation.

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éfinition des options du compilateur et de la cible.

Sécurisez votre 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.

Conformité aux normes de sécurité fonctionnelle.

Respecter les normes de sécurité

Conformez-vous aux normes CERT C/C+++, ISO 17961 et MISRA C:2012 Amendment 1.

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.

Filtrage des résultats.

Automatisez 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 tels que 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.

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.

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 tels que Jira.

Création de tickets.

Nouveautés

Support d'AUTOSAR C++14

Identifiez les violations des règles de la norme de codage AUTOSAR C++14.

Support des normes de codage

Assurez le respect de normes à l'échelle de l'équipe ou de l'organisation en réutilisant une configuration de contrôleur commune.

Support des compilateurs

Configurez l'analyse Polyspace en toute simplicité pour le code compilé avec les nouvelles versions des compilateurs ARM (v5, v6), GCC (7.x), Clang (4.x) et Microsoft Visual C++ (2017).

Gestion des autorisations projet

Créez et appliquez des règles d'autorisation d'accès aux projets.

Configuration à partir d'un système de build

Générez automatiquement des modules de configuration Polyspace à partir d'un système de build.

Autodétection des primitives concurrentes

Modèle multitâches détecté avec les fonctions de multithreading C11.

Consultez les notes de version pour en savoir plus sur ces fonctionnalités et les fonctions correspondantes.

Version d’évaluation

Bénéficiez d'une version d'évaluation de 30 jours.

Télécharger

Prêt à acheter ?

Obtenez les tarifs et explorez les produits associés.

Vous êtes étudiant ?

Obtenez la version étudiante des logiciels MATLAB et Simulink.

En savoir plus