Polyspace Test

NOUVEAU PRODUIT

 

Polyspace Test

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

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.

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.

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®.

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.

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.

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.

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®.

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.

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.