Polyspace Test propose des outils permettant de développer, gérer et exécuter des tests unitaires et des tests d’intégration, ainsi que d’analyser la couverture structurelle pour le code C/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/C++ à l'aide de l'API xUnit de Polyspace Test ou de manière interactive grâce à l’é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 effectuer le profilage de l’exécution
Générez et analysez les résultats de couverture du code selon des métriques conformes aux normes du secteur, 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/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 métriques de couverture du code et profilez la mémoire et la performance d’exécution sur le hardware hôte et cible.
Générer des tests pour atteindre les objectifs de couverture et de valeurs limites
Générez automatiquement des tests pour compléter les cas de test créés manuellement et satisfaire aux exigences de couverture du code et de test aux valeurs limites.
Se conformer aux normes 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 workflow de 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®.
Unifier l'analyse statique et les tests dynamiques
Gérez l'analyse statique (avec Polyspace Bug Finder ou Polyspace Code Prover) et le test (avec Polyspace Test), y compris la configuration du projet, l'exécution et la revue, dans une seule interface. Utilisez les workflows de test et d'analyse de code pour identifier les tests problématiques, justifier les branches de code inaccessibles ou supporter des exigences complexes de couverture de code.
Utiliser un sanitizer pour générer un profilage des erreurs à l’exécution
Exécutez les tests avec un sanitizer de code activé pour détecter les erreurs à l’exécution. Affichez les résultats sous forme d'échecs de test ou dans un rapport de profilage du sanitizer.
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
Identifiez les défauts de codage, examinez les résultats de l'analyse statique et contrôlez les métriques de qualité software.
Polyspace Copilot
Assistant IA optimisé pour Polyspace.
Polyspace Test
Développez, gérez et exécutez des tests sur le code C et C++ de vos systèmes embarqués.
Polyspace as You Code
Identifiez les violations des normes de codage et les vulnérabilités logicielles de votre IDE.
Polyspace Bug Finder
Vérifiez les règles de codage, les normes de sécurité et les métriques du code, et trouvez les bugs.
Polyspace Code Prover Server
Vérifiez de manière continue et exhaustive les instructions de code C et C++ critiques dans les pipelines CI.
Polyspace Bug Finder Server
Identifiez les défauts software et appliquez les règles de codage dans vos pipelines CI.
Polyspace Client for Ada
Vérifiez de manière exhaustive les unités critiques des instructions Ada à l'aide de méthodes formelles.
Polyspace Code Prover
Vérifiez de manière exhaustive les instructions C et C++ les plus critiques à l'aide de méthodes formelles.
Polyspace Server for Ada
Vérifiez de manière continue et exhaustive les instructions de code Ada critiques dans les pipelines CI.
