Produits Polyspace

 

Polyspace

Tester le software et évaluer la qualité du code

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.

« 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

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.

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

David Tuset, Ficosa International

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.

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.

É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.

Semi-conducteurs et communication

Vérifiez la robustesse des systèmes critiques et minimisez la surface d'attaque grâce à du software de haute qualité.

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 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 Test

Développez, gérez et exécutez des tests sur le code C et C++ de vos systèmes embarqués.

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.