Polyspace Access

 

Polyspace Access

Examiner les résultats de l'analyse statique et dynamique de Polyspace, et surveiller les métriques de qualité logicielle

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.

Une capture d'écran du tableau de bord du projet Polyspace Access montrant les détails du projet, les résultats de l'analyse et les options de navigation pour la gestion des tâches de vérification du code.

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

Un GIF animé montrant un utilisateur examinant, attribuant et commentant les résultats de l'analyse de code dans Polyspace Access.

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.

Une capture d'écran comparant les résultats de l'analyse de conformité MISRA entre différentes versions de code dans Polyspace Access, mettant en évidence les violations de règles existantes, nouvelles et corrigées.

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.

Une capture d'écran illustrant le contrôle d'accès basé sur les rôles dans Polyspace Access. Il affiche les paramètres d'autorisation pour différents rôles d'utilisateurs au sein d'un 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).

Une capture d'écran montrant l'intégration de Polyspace Access avec Grafana. Il affiche des tableaux de bord pour la surveillance de l’état des serveurs et des métriques système en temps réel.

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.

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.

Vous souhaitez en savoir plus sur le produit  Polyspace Access ?