Polyspace Access permet aux équipes d'ingénieurs software de vérifier la qualité du code pendant tout le cycle de vie du développement logiciel. Il comprend Polyspace as You Code, un plug-in IDE qui offre la possibilité aux développeurs de détecter les écarts de conformité du code, les défauts logiciels ainsi que les vulnérabilités de sécurité avant l'intégration du code. Il propose également un accès à une interface web dédiée à la revue des résultats d'analyse statique du code source intégré, générée par Polyspace Bug Finder Server et Polyspace Code Prover Server.
Polyspace as You Code détecte les défauts critiques et les vulnérabilités de sécurité, vérifie la conformité du code avec des normes de codage telles que MISRA C®, MISRA C+, AUTOSAR C14, CERT® C, CERT C+ et les conventions de nommage personnalisées. Intégrée sous forme de plug-in dans l'IDE du développeur (par exemple Visual Studio®, Visual Studio Code ou Eclipse™), cette extension présente les résultats dans la vue du code source. Lorsqu'elle est connectée au dépôt central de Polyspace Access, elle signale uniquement les nouveaux problèmes ajoutés par le développeur, par rapport à la base de référence du développement.
L'interface web donne la possibilité aux développeurs et aux ingénieurs qualité de plusieurs projets de collaborer sur les résultats d'analyse statique du code. Du tableau de bord du projet aux résultats de recherche, les membres de l'équipe peuvent surveiller les tendances de qualité et analyser, revoir et assigner les vulnérabilités logicielles, les métriques de code, les erreurs run-time critiques et le respect des normes de codage. L'intégration avec des outils de gestion de projet tels que JIRA vous permet de collaborer en équipe pour une qualité du code optimale. Polyspace Access comprend un dépôt centralisé hébergé localement ou sur le cloud, qui s'intègre à des systèmes d'authentification tels que LDAP pour contrôler l'accès aux données du projet.
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.
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.
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
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.