Polyspace Test Server
Exécuter des tests et analyser la couverture structurelle du code C/C++ sur les serveurs d'automatisation
Vous avez des questions ? Contactez l'équipe commerciale.
Polyspace Test Server s'exécute sur des serveurs d'automatisation. Il propose des outils permettant de gérer et d'exécuter des tests unitaires et d'intégration, ainsi que d'analyser la couverture structurelle du code embarqué C/C++ sur ces serveurs d'automatisation. Vous pouvez exécuter des tests sur l'hôte ou sur la cible sur des serveurs d’intégration continue (CI). 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).
La génération automatique de tests vous aide à obtenir la couverture de code souhaitée, à tester les valeurs limites et à étendre les tests basés sur les exigences grâce à une automatisation pilotée par l’intégration continue. Vous pouvez utiliser les résultats des tests et de la couverture de code pour justifier une couverture de code manquante ou vérifier la robustesse des tests. Polyspace Test Server supporte le transfert des résultats de test et d'analyse vers Polyspace Access pour qu'ils puissent y être évalués.
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).
Exécuter des tests unitaires et d'intégration sur des serveurs d'automatisation
Exécutez des tests sur du code C/C++ à l'aide de l’API xUnit de Polyspace Test, en utilisant un projet Polyspace Test sur des serveurs d'automatisation.
Mesurer la couverture du code et effectuer le profilage de l’exécution
Générez les résultats de couverture du code selon des métriques conformes aux normes du secteur, notamment la couverture des décisions, des conditions et des conditions/décisions modifiées (MC/DC). Exécutez des tests avec profilage de l'exécution pour identifier les sections du code qui requièrent des améliorations de performance en termes d'utilisation de la mémoire et d'exécution.
Exécuter des tests sur les machines hôtes et le hardware cible
Exécutez des tests et collectez des métriques de couverture de code sur des serveurs automatisés, tant sur le hardware hôte que sur le hardware cible.
Intégrer dans les workflows DevOps automatisés
Adoptez les pratiques modernes de développement logiciel en intégrant Polyspace Test Server aux workflows de DevOps et aux processus automatisés existants. Polyspace Test Server fonctionne avec les outils d'intégration continue les plus courants, notamment Jenkins ou Bamboo®.
Se conformer aux normes de certification
Créez les artefacts nécessaires pour compléter les processus de certification aux normes industrielles. Polyspace Test Server 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.
Utiliser un sanitizer pour générer un profilage des erreurs à l’exécution
Exécutez les tests sur des serveurs automatisés en activant l'option Sanitizer de code pour détecter les erreurs run-time. Affichez les résultats dans Polyspace Access 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 Test Server
Exécutez des tests et analysez la couverture structurelle du code C/C++ sur les serveurs d'automatisation.
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
Vérifiez les règles de codage, les normes de sécurité et les métriques du code, et trouvez les bugs.
Polyspace Client for Ada
Vérifiez de manière exhaustive les unités critiques des instructions Ada à l'aide de méthodes formelles.
Polyspace Bug Finder Server
Identifiez les défauts software et appliquez les règles de codage dans vos pipelines CI.
Polyspace Server for Ada
Vérifiez de manière continue et exhaustive les instructions de code Ada critiques dans les pipelines CI.
Polyspace Code Prover
Vérifiez de manière exhaustive les instructions C et C++ les plus critiques à l'aide de méthodes formelles.
