Polyspace Code Prover

Automatisation du processus de vérification du code

Vous pouvez utiliser Polyspace Code Prover dans le cadre d’un processus d’intégration continue en l’incorporant à votre processus de déploiement. Vous pouvez automatiser la planification de la tâche de vérification et mettre en place des notifications par e-mail. Vous pouvez configurer Polyspace Code Prover pour qu’il gère la planification de tâches de vérification sur un cluster de calcul (à l’aide de MATLAB Distributed Computing Server) et recevoir des notifications par e-mail à l’arrivée des résultats. Ces résultats contiennent les écarts par rapport à la précédente version de votre code, que le serveur calcule automatiquement.

Vous pouvez définir la fréquence de ces analyses, le modèle qualité à appliquer à une portion donnée de votre base de code et les e-mails que vos utilisateurs reçoivent à la parution des résultats. De même, vous pouvez définir les caractéristiques du processus de déploiement que les vérifications automatisées doivent prendre en compte.

Point suivant: Création d’artefacts de certification

Essayer Polyspace Code Prover

Obtenir une version d'évaluation

Automatiser et optimiser la vérification et le test de logiciel embarqué

Visionner le webinar