Polyspace Access

 

Polyspace Access

Identifier les défauts de codage, revoir les résultats de l'analyse statique et contrôler les métriques de qualité logicielle

Identifier les bugs dans votre IDE

Détectez les bugs aussitôt que le code est écrit ou modifié en utilisant le plug-in Polyspace as You Code dans un IDE comme Visual Studio®, Visual Studio Code ou Eclipse. Utilisez les API pour vous intégrer dans d'autres IDE et éditeurs.

Respecter les normes de codage et les règles de sécurité

Appliquez les règles de codage relatives au software embarqué telles que MISRA C, MISRA C++, CERT C, CERT C++, AUTOSAR C++14 et JSF++ et personnalisez les conventions de nommage lorsque vous codez.

Revoir et trier les résultats d'analyse statique

Effectuez la revue des résultats de Polyspace avec le code source dans votre navigateur web. Utilisez des outils de navigation pour analyser et trier les résultats. Collaborez avec les membres de votre équipe en partageant les résultats et les commentaires.

Suivre la qualité logicielle d'un projet

Organisez vos projets d'analyse statique de code pour aider vos équipes de développement et simplifier les workflows. Utilisez les informations affichées sur les tableaux de bord des projets pour surveiller la qualité logicielle, l'état des projets, le nombre de défauts détectés et les métriques de code.

S’intégrer à votre usine logicielle

Intégrez Polyspace Access à votre infrastructure de développement logiciel afin de prendre en compte les résultats de l'analyse statique du code dans vos pipelines d'intégration continue et de relier les résultats de la vérification de code à votre outil de suivi des bugs et de gestion du cycle de vie des applications (ALM). Installez et exécutez le serveur web Polyspace Access à proximité du déploiement de votre chaîne d'outils, sur site ou sur le cloud.

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

Identifier les défauts de codage, revoir les résultats de l'analyse statique et contrôler les métriques de qualité logicielle.

Polyspace Code Prover Server

Prouver l'absence d'erreurs run-time dans un logiciel.  

Polyspace Bug Finder

Identifier les défauts du logiciel avec l'analyse statique.

Polyspace Test

Développer, gérer et exécuter des tests sur le code C et C++ de vos systèmes embarqués.

Polyspace Bug Finder Server

Identifier les défauts logiciels via des analyses statiques exécutées sur serveurs.

Polyspace Client for Ada

Prouver l'absence d'erreurs run-time dans le code source.

Polyspace Code Prover

Prouver l'absence d'erreurs run-time dans un logiciel.

Polyspace Server for Ada

Vérifier du code sur des clusters d’ordinateurs et publier des métriques.

Vous souhaitez en savoir plus sur le produit  Polyspace Access ?