Résolution des problèmes Polyspace Bug Finder

Résoudre les problèmes imprévus dans Polyspace® Bug Finder™

Si vous rencontrez des problèmes inattendus lors de la configuration ou de l'exécution d'une analyse Polyspace Bug Finder, consultez ce guide de résolution des problèmes pour trouver des solutions.

Les problèmes inattendus susceptibles de survenir pendant l’exécution d’une analyse Polyspace incluent :

  • Erreurs de compilation

  • Erreurs de licence, corruption de la base de données ou restrictions dans les dossiers temporaires

  • Erreurs de création de projet

  • Serveur introuvable ou autres erreurs d'analyse sur des clusters à distance

  • Erreurs lors de l'exécution de l'analyse Polyspace du code généré ou du code personnalisé inclus dans les modèles Simulink®.

Les problèmes inattendus susceptibles de survenir lors de la revue des résultats incluent :

  • Infractions aux règles de codage non détectées ou défauts du Bug Finder.

  • Génération de rapports tels que les erreurs de mémoire insuffisante ou les rapports insatisfaisants.

Si vous rencontrez des erreurs inattendues lors de l'installation de Polyspace Bug Finder, consultez Installer Polyspace pour obtenir des instructions d'installation détaillées.

Catégories