Cette page s'applique à la version précédente. La page correspondante en anglais a été supprimée de la version actuelle.
Trouver les défauts et infractions aux normes de codage dans le code C/C++ dans l’interface utilisateur de la plateforme Polyspace
Polyspace Platform est un environnement intégré qui supporte l'analyse statique et le test dynamique du code C/C++ avec les produits Polyspace®. Ce chapitre montre comment commencer à trouver des défauts (bugs) et infractions aux normes de codage dans l'interface utilisateur de la plateforme Polyspace.
Pour plus d’informations sur :
Plateforme Polyspace, consultez Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing (Polyspace Test).
Identification des erreurs run-time, consultez .
Écriture et exécution de tests, consultez Write C/C++ Unit Tests in Polyspace Platform User Interface (Polyspace Test).
Étape 1 : Créer un projet et ajouter un code
Pour trouver les défauts et infractions aux normes de codage dans l’interface utilisateur de la plateforme Polyspace, ajoutez vos sources C/C++ à un projet. Vous exécuterez ensuite Polyspace Bug Finder™ sur les fichiers de ce projet.
Pour créer un nouveau projet, cliquez sur New dans la barre d’outils. Accédez à un emplacement adapté et enregistrez le projet. Le nouveau projet apparaît dans le volet Projects.
Faites un clic droit sur le nœud Code du projet et sélectionnez Add Source File(s) (ou Add Source Folder pour ajouter un dossier contenant des sources). Accédez à vos fichiers source et ajoutez-les. En maintenant la touche Ctrl enfoncée, vous pouvez sélectionner plusieurs fichiers et les ajouter tous ensemble (si vous maintenez la touche Maj enfoncée et que vous sélectionnez deux fichiers, tous les fichiers situés entre eux seront ajoutés).
Étape 2 : Configurer les options
Double-cliquez sur le nœud Configuration du projet. Dans le volet Configuration, spécifiez les options d’analyse nécessaires. Particulièrement :
Dans l’onglet Build, spécifiez les options du nœud Target & Compiler pour émuler votre compilateur.
Dans l’onglet Static Analysis, sur le nœud Defects and Coding Standards, spécifiez les contrôleurs à activer.
Pour obtenir la liste complète des options, consultez Polyspace Bug Finder Options in Polyspace Platform User Interface.
Étape 3 : Exécuter une analyse
Dans la barre d’outils, sélectionnez Find Issues pour lancer l’analyse Polyspace Bug Finder.
Étape 4 : Examiner les résultats
Une fois l’analyse terminée, vous pouvez constater l’apparition d’un nœud Defects dans le volet Results. Faites un clic droit sur ce nœud et sélectionnez Open Review pour ouvrir les résultats.
Les résultats se composent de trois volets :
Results List: liste complète des résultats (défauts et infractions aux normes de codage).
Source: code source en cours d’analyse. Lorsque vous sélectionnez un résultat dans le volet Results List, vous pouvez accéder à l’emplacement correspondant dans le code source.
Result Details: détails de chaque résultat. Lorsque vous sélectionnez un résultat dans le volet Results List, vous pouvez obtenir davantage de détails le concernant.
