Polyspace Code Prover

Principales fonctionnalités

  • Absence prouvée de certaines erreurs d’exécution dans les codes C et C++
  • Mise en évidence des erreurs d’exécution par un code couleur directement dans le code
  • Calcul des plages de valeur des variables et des valeurs de retour de fonction
  • Identification des variables dépassant des limites de plage définies
  • Métriques pour le suivi de la conformité aux objectifs de qualité logicielle
  • Interface Web fournissant des métriques de code une vue d’ensemble de la qualité du logiciel
  • Assistance à la revue de code avec classification des résultats et des erreurs d’exécutions détéctées
  • Affichage graphique des lectures et écritures de variables
Run-time error results displayed by Polyspace Code Prover.

Affichage des résultats d’erreur d’exécution par Polyspace Code Prover.

Point suivant: Vérification du logiciel embarqué C et C++

Essayer Polyspace Code Prover

Obtenir une version d'évaluation

Introduction au développement logiciel DO-178C/ED-12C avec le Model-Based Design

Visionner le webinar