Polyspace
Tester le software et évaluer la qualité du code
Vous avez des questions ? Contactez l'équipe commerciale.
Vous avez des questions ? Contactez l'équipe commerciale.
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.
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.
« 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. »
Johannes Foufas, Volvo Cars
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é.
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.
« Polyspace nous a aidé à atteindre nos objectifs de qualité tout en améliorant, ou du moins en maintenant, notre efficacité. »
David Tuset, Ficosa International
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.
É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.
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.
Vérifiez la robustesse des systèmes critiques et minimisez la surface d'attaque grâce à du software de haute qualité.
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.
Identifiez les défauts de codage, examinez les résultats de l'analyse statique et contrôlez les métriques de qualité software.
Vérifiez de manière continue et exhaustive les instructions de code C et C++ critiques dans les pipelines CI.
Vérifiez les règles de codage, les normes de sécurité et les métriques du code, et trouvez les bugs.
Développez, gérez et exécutez des tests sur le code C et C++ de vos systèmes embarqués.
Identifiez les défauts software et appliquez les règles de codage dans vos pipelines CI.
Vérifiez de manière exhaustive les unités critiques des instructions Ada à l'aide de méthodes formelles.
Vérifiez de manière exhaustive les instructions C et C++ les plus critiques à l'aide de méthodes formelles.
Vérifiez de manière continue et exhaustive les instructions de code Ada critiques dans les pipelines CI.