Polyspace Code Prover

Suivi des métriques de qualité logicielle

Vous pouvez définir un modèle qualité centralisé pour suivre les erreurs d’exécution, la complexité du code et les violations des règles de codage. À l’aide de ces métriques, vous pouvez suivre votre progression vers des objectifs de qualité logicielle prédéfinis depuis la première itération jusqu’à la version finale. En mesurant le taux d’amélioration de la qualité de code, Polyspace Code Prover permet aux développeurs, testeurs et gestionnaires de projet de cibler un niveau de code d’excellente qualité et de le réaliser.

Software quality metrics displayed via web browser.

Affichage des métriques de qualité logicielle via le navigateur Web.

Point suivant: Traçabilitédes résultats de vérification du code aux modèles Simulink

Essayer Polyspace Code Prover

Obtenir une version d'évaluation

Automatiser et optimiser la vérification et le test de logiciel embarqué

Visionner le webinar