Polyspace Code Prover

 

Polyspace Code Prover

Prouvez l'absence d'erreurs run-time dans les logiciels

En savoir plus:

Vérifier le code avec les mathématiques formelles

Atteignez des niveaux de qualité et de sécurité élevés sans faux négatifs.

Prouver l'absence d'erreurs run-time critiques

Identifiez les opérations de code C/C++ et Ada qui ne rencontreront aucune erreur run-time, quelles que soient les conditions d'exécution.

Détection des erreurs run-time

Détecter des erreurs impossibles à repérer avec d'autres méthodes de test

Analysez toutes les chemins du code par rapport à toutes les entrées possibles, sans exécuter le code.

Hiérarchie d'appels.

Créez des artefacts pour la certification

Réalisez le processus de certification du projet basés sur les normes de l'industrie.

DO Qualification Kit.

Comprendre et améliorer le code

Consacrez moins de temps aux revues, au débogage et aux tests de robustesse du code.

Comprenez la cause principale des problèmes et améliorez le design

Examinez le contrôle et le flux de données au sein du logiciel, et affichez les informations de plage associées à des variables et à des opérateurs.

Affichage par l'info-bulle des plages possibles pour toutes les conditions d'exécution.

Évitez les comportements logiciels indésirables

Trouvez toutes les sections de code qu'aucun chemin d'exécution ne permet d'atteindre, et identifiez les erreurs de logique et de structure du programme.

Identification du code mort.

Tracez les résultats de vérification du code jusqu'aux modèles Simulink

Vérifiez du code généré et assurez la traçabilité des résultats jusqu'au bloc source dans le modèle Simulink.

Traçabilité des résultats de vérification du code jusqu'au modèle Simulink.

Automatisation de la vérification du code à l'aide de Polyspace Code Prover Server

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

Automatiser le processus de vérification du code

Utilisez Polyspace Code Prover Server™ pour exécuter le moteur d'analyse statique Polyspace Code Prover sur une machine de type serveur avec des outils d'automatisation intégrés, tels que Jenkins et Bamboo.

Automatiser le processus de vérification du code.

Notifiez et publiez les résultats pour une revue collaborative

Assignez automatiquement les défauts aux responsables des composants, envoyez des notifications par email et importez des résultats dans Polyspace Code Prover Access afin de trier et de résoudre les problèmes.

Envoyez des notifications par email avec les résultats de Polyspace Code Prover.

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.

Revue collaborative avec Polyspace Code Prover Access

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

Examinez les résultats de Polyspace Code Prover afin de trier et de résoudre les problèmes

Polyspace Code Prover Access™ offre une interface web pour les résultats de vérification de code Polyspace et les métriques de qualité stockés dans une base de données centrale. Utilisez les outils de navigation dans votre navigateur web pour étudier les résultats de vérification du code, qui s'affichent à côté du code.

Détection des erreurs run-time

Objectifs de qualité des projets et du logiciel

Les tableaux de bord affichent des informations que vous pouvez utiliser afin de surveiller la qualité du logiciel, l'état des projets, le nombre de défauts, les métriques de code et les objectifs qualité du logiciel.

Tableau de bord de vue d'ensemble du projet.

S'intégrer avec les outils de suivi de bugs que vous utilisez déjà

Utilisez l'interface web afin de créer et d'assigner des tickets dans des outils de suivi de bugs comme Jira.

Création d'un ticket.