Polyspace Test

Développer, gérer et exécuter des tests sur le code C et C++ de vos systèmes embarqués

Vous avez des questions ? Contactez l'équipe commerciale.

Polyspace Test propose des outils permettant de développer, gérer et exécuter des tests unitaires et des tests d'intégration pour le code C et C++ de vos systèmes embarqués. Vous pouvez créer des tests avec l'API xUnit de Polyspace ou l'éditeur graphique de création de tests, ainsi que des stubs ou des mocks pour isoler et vérifier le code testé. Polyspace Test vous offre également la possibilité d'exécuter des tests sur des machines hôtes ou des cibles embarquées, d'automatiser l'exécution des tests et de relier les tests aux exigences pour assurer leur traçabilité.

Vous pouvez réaliser une analyse de la couverture du code pour mesurer l'exhaustivité des tests en utilisant des métriques telles que la couverture des décisions, des conditions ou des conditions/décisions modifiées (MC/DC). Vous pouvez utiliser la génération automatique de tests pour obtenir la couverture du code souhaitée, tester les valeurs limites et étendre les cas de test basés sur les exigences.

Polyspace Test comprend une interface utilisateur commune qui vous permet de configurer, exécuter et examiner les résultats des outils d'analyse statique Polyspace. Vous pouvez utiliser ces résultats pour justifier une couverture de code manquante ou vérifier la robustesse des tests.

Le support des normes industrielles est assuré via l'IEC Certification Kit (for ISO 26262 and IEC 61508) et le DO Qualification Kit (for DO-178).

Tableau de bord de Polyspace résumant les résultats de l'analyse statique de code, l'état des tests et les mesures de couverture.

Écran présentant l'ajout d'un paramètre de test avec l'éditeur graphique.

Développer et exécuter des tests unitaires et d'intégration

Développez et exécutez des tests pour du code C et C++ à l'aide de l'API xUnit de Polyspace Test ou de manière interactive grâce à un éditeur graphique de création de tests. Créez des stubs et des mocks pour isoler les composants testés et intégrer des bibliothèques de mocking tierces telles que gMock.

Documentation

Tableau montrant les résultats de la couverture du code pour le code atteignable et inaccessible et le code source.

Mesurer la couverture du code et l'exécution du profil

Générez et analysez la couverture du code pour les mesures standard de l'industrie, notamment les décisions, les conditions et MC/DC. Exécutez des tests avec profilage de l'exécution du code pour identifier les sections du code qui requièrent des améliorations de performance en termes de mémoire et d'exécution.

Documentation

Boîte de dialogue permettant de relier un test à une exigence logicielle.

Lier les tests aux exigences logicielles

En utilisant l'interface utilisateur, liez les tests C et C++ aux exigences de test qui ont été rédigées dans un éditeur ou un outil externe tel que IBM^® DOORS^®, IBM DOORS Next, Microsoft^® Word ou Microsoft Excel^®.

Documentation

Tableau de bord Polyspace avec résumé de l'exécution des test et résultats détaillés.

Exécuter des tests sur les machines hôtes et le hardware cible

Exécutez des tests, collectez les données sur la couverture du code et profilez la mémoire et l'exécution sur le hardware hôte et cible.

Documentation

Boîte de dialogue affichant les options permettant de générer des tests pour les valeurs de couverture ou les valeurs limites.

Générer des tests pour atteindre les objectifs de couverture et de valeur limite

Générez automatiquement des tests pour compléter les cas de test créés manuellement et remédier à la couverture incomplète du code et aux tests de valeur limite.

Documentation

Support de certification

Créez les artefacts nécessaires pour compléter les processus de certification aux normes industrielles. Polyspace Test a été certifié par TÜV SÜD pour une utilisation avec les normes IEC 61508 et ISO 26262. Utilisez des rapports et des artefacts pour les processus DO-178C.

Documentation

Automatiser et intégrer dans le DevOps

Adoptez les pratiques modernes de développement logiciel en intégrant Polyspace Test aux workflows de DevOps et aux processus automatisés existants. Polyspace Test fonctionne avec les outils d'intégration continue les plus courants, notamment Jenkins ou Bamboo^®.

Documentation

Menus permettant d'exécuter des tests dynamiques et l'analyse statique du code.

Gérer l'analyse statique et les tests dynamiques de façon centralisée

Configurez, exécutez et visualisez les résultats de Polyspace Bug Finder, Polyspace Code Prover et Polyspace Test à partir d'une interface utilisateur commune.

Documentation

Interface utilisateur montrant comment utiliser les résultats de l'analyse de Polyspace Code Prover pour justifier une couverture manquante.

Utiliser l'analyse statique pour compléter les tests dynamiques

Justifiez la couverture manquante pour le code prouvé comme inaccessible par Polyspace Code Prover. Assurez la fiabilité et la cohérence des tests en les analysant pour détecter les défauts et les erreurs run-time.

Documentation