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).
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.
Ressources liées au produit :
Famille de produits Polyspace
Les produits Polyspace sécurisent les codes critiques en testant et en contrôlant la qualité du software tout au long du cycle de développement.
Polyspace Access
Identifier les défauts de codage, revoir les résultats de l'analyse statique et contrôler les métriques de qualité logicielle.
Polyspace Code Prover Server
Prouver l'absence d'erreurs run-time dans un logiciel.
Polyspace Bug Finder
Identifier les défauts du logiciel avec l'analyse statique.
Polyspace Test
Développer, gérer et exécuter des tests sur le code C et C++ de vos systèmes embarqués.
Polyspace Bug Finder Server
Identifier les défauts logiciels via des analyses statiques exécutées sur serveurs.
Polyspace Client for Ada
Prouver l'absence d'erreurs run-time dans le code source.
Polyspace Code Prover
Prouver l'absence d'erreurs run-time dans un logiciel.
Polyspace Server for Ada
Vérifier du code sur des clusters d’ordinateurs et publier des métriques.
