Polyspace Access permet aux équipes d’ingénieurs software de vérifier la qualité de leurs logiciels en C, C++ et Ada, tout au long du cycle de développement. Il propose un référentiel pour centraliser les résultats de Polyspace Bug Finder Server, Polyspace Code Prover Server, Polyspace Server for Ada et Polyspace Test. Depuis son application web, vous pouvez naviguer à travers les composants et les versions de votre projet pour surveiller les tendances de qualité, explorer les résultats détaillés et collaborer sur les problèmes pour leur triage.
En s'intégrant aux outils de gestion de projet et aux systèmes d'authentification, Polyspace Access supporte une collaboration contrôlée, en équipe, sur la qualité logicielle. Lorsqu'il est connecté à Polyspace as You Code, Polyspace Access synchronise les résultats de l'intégration continue (CI) avec les modifications locales, vous permettant ainsi de vous concentrer sur les nouveaux défauts.
Tableaux de bord de projet et indicateurs de qualité
Surveillez la qualité de vos projets dans votre navigateur web grâce à des tableaux de bord au niveau projet, comprenant des fiches et des graphiques pour les défauts, les règles de codage, les contrôles d’exécution, les résultats de tests et la couverture de code. Analysez les données en détail par projet, fichier, ou résultats d'analyse de code et de tests, et ouvrez des tableaux de bord pour vous concentrer sur des tendances spécifiques de qualité. Définissez des objectifs de qualité basés sur vos exigences de sûreté et de sécurité.
Examen collaboratif et triage des résultats
Examinez l'analyse statique du code, l'analyse dynamique et les résultats des tests directement dans votre navigateur web avec le contexte source. Définissez les statuts pour les éléments détectés (À faire, En cours, Terminé), assignez des responsables, ajoutez des commentaires et filtrez les résultats.
Historique, bases de référence et comparaisons d'exécutions
Consultez les statistiques des exécutions précédentes et comparez les résultats actuels de Polyspace aux bases de référence, en surveillant les régressions et les progrès au fil du temps pour pister la préparation de la version. Identifiez rapidement les nouveaux problèmes et quantifiez les améliorations de la qualité entre les versions.
Intégration de l’usine logicielle
Centralisez les résultats produits dans les pipelines CI par Polyspace Bug Finder Server, Code Prover Server, Polyspace Server for Ada, et Polyspace Test en les téléchargeant dans le référentiel Polyspace Access pour une revue via le web. Contrôlez vos jobs CI en fonction des seuils de qualité définis pour votre projet.
Accès évolutif basé sur les rôles évolutif
Sécurisez et gérez l'accès aux résultats d'analyse de votre code sensible en intégrant les systèmes de gestion d'identité d'entreprise via LDAP. Renforcez la sécurité en utilisant l'authentification unique (SSO).
Déploiement en entreprise
Déployez Polyspace Access sur site ou dans le cloud en utilisant des modèles de machines virtuelles, des conteneurs Docker ou Kubernetes. Intégrez-le à l'authentification d'entreprise via une authentification unique. Surveillez l’état du serveur grâce à l'intégration d'un tableau de bord tiers.
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
Identifiez les défauts de codage, examinez les résultats de l'analyse statique et contrôlez les métriques de qualité software.
Polyspace Copilot
Assistant IA optimisé pour Polyspace
Polyspace Test
Développez, gérez et exécutez des tests sur le code C et C++ de vos systèmes embarqués.
Polyspace as You Code
Identifiez les violations des normes de codage et les vulnérabilités logicielles de votre IDE.
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 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 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.