Polyspace

Tester le software et évaluer la qualité du code

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

Polyspace est conçu pour les tests software et l'analyse de code

Les produits Polyspace offrent une solution unifiée pour gérer, mesurer et surveiller la qualité de votre software tout au long du cycle de développement.

Vérifiez de manière exhaustive les instructions de code C, C++ et Ada les plus critiques.
Identifiez des centaines de vulnérabilités de code C/C++.
Vérifiez les règles de codage, notamment MISRA C™ 2012, AUTOSAR C++14, et CERT^® C/C++.
Créez, gérez et exécutez des cas de test, et mesurez la couverture du code sur l'hôte et la cible hardware.
Analysez l'implémentation de l'architecture software.

Polyspace est conçu pour garantir un software sûr, sécurisé, fiable et performant

Les produits Polyspace offrent des capacités de test et de vérification de code qui aident les équipes d'ingénierie software à répondre à ces exigences de qualité dans un environnement unique.

Assurez la fiabilité du software en évaluant la qualité du code.
Améliorez la sécurité du software en identifiant les vulnérabilités critiques.
Améliorez l’exactitude fonctionnelle du software en réalisant des tests basés sur les exigences.
Développez du software performant en profilant l'exécution et en identifiant le code sous-optimal.
Respectez les normes de sécurité et de sûreté telles que DO-178C, IEC 61508, ISO 26262, ISO/SAE 21434.

Volvo Cars augmente la vitesse et la qualité de son développement avec Polyspace

« Avec Polyspace, nous pouvons assurer la sécurité et la qualité du software en identifiant et en corrigeant les erreurs run-time avant chaque fusion de code. »

Polyspace est conçu pour tous les processus de développement

Les produits Polyspace peuvent être intégrés dans des usines logicielles, depuis l'IDE jusqu'aux pipelines d'intégration continue (CI), dans le cloud ou sur site, et avec de nombreux outils de développement, tels que Jira ou GitHub, afin de gérer efficacement les problèmes de qualité.

Vérifiez la qualité du code au sein de l'IDE.
Passez à un développement piloté par les tests (TDD) avec l'API de test xUnit.
Testez et vérifiez le software généré automatiquement ou codé par un développeur humain.
Automatisez l'exécution des tests et la vérification du code dans des pipelines CI.
Appliquez des critères de qualité standard du software tout au long de votre chaîne de développement.

Polyspace est conçu pour rendre les équipes d'ingénierie software plus efficaces

Les produits Polyspace aident les ingénieurs software à améliorer leurs compétences en matière de codage et de test grâce à une documentation complète, des recommandations de remédiation et une collaboration sur la qualité du software.

Améliorez les compétences des développeurs software en matière de codage en leur permettant d’apprendre de leurs erreurs de codage dans l'IDE.
Dotez les ingénieurs qualité d'une plateforme unifiée pour mesurer la qualité du code et répondre aux exigences en matière de tests.
Permettez aux architectes software de vérifier l'implémentation du code correspondant au design architectural.
Supportez les ingénieurs DevOps dans l'intégration d'outils de qualité software au sein de leur usine logicielle.
Fournissez aux responsables de l'ingénierie software une vue unifiée de la qualité des projets.

Optimisation de la conformité à ASPICE, ISO 26262 et ISO/SAE 21434 avec l’analyse de code statique de Polyspace

« Polyspace nous a aidé à atteindre nos objectifs de qualité tout en améliorant, ou du moins en maintenant, notre efficacité. »

Polyspace est destiné à soutenir les projets embarqués dans tous les secteurs

Automobile

Garantissez la cohérence de la qualité software pour tous les composants automobiles sur l'ensemble de la chaîne d'approvisionnement automobile. Vérifiez la qualité du software embarqué dans tous les domaines, y compris : châssis, sécurité passive ou active, groupe motopropulseur et EV/BMS.

HL Klemove améliore la qualité du code pour les systèmes avancés d’assistance à la conduite avec Polyspace Bug Finder

Aérospatiale et défense

Évaluez la fiabilité du software embarqué dans les satellites, avions, hélicoptères et autres systèmes de défense, qui sont essentiels à la réussite des missions.

Leonardo accélère le développement du software de navigation radar et la conformité à la norme DO-178C

Équipements médicaux

Confirmez la qualité du software embarqué pour les pompes à perfusion, les systèmes thérapeutiques implantés, les plateformes robotiques et autres équipements médicaux vitaux. Respectez les exigences de la norme IEC 62304, jusqu'aux équipements de classe III.