Générer des rapports dans l’interface utilisateur de la plateforme Polyspace

Surveiller la qualité par le biais de rapports sur les résultats de l’analyse

Polyspace® met à votre disposition des modèles de rapport prédéfinis qui vous permettent de sélectionner certains aspects des résultats de votre analyse. Choisissez un modèle de rapport qui vous permettra de recueillir les informations dont vous avez besoin. Pour plus d’informations, consultez Bug Finder and Code Prover report (-report-template) ou testez d’autres modèles de rapport avec votre exemple de résultats.

Si MATLAB® Report Generator™ est installé sur votre système, vous pouvez personnaliser les modèles de rapport afin de les adapter à vos exigences.

API MATLAB

développer tout

polyspace_reportGenerate reports from Polyspace analysis results
polyspace.BugFinderResultsRead Polyspace Bug Finder results from MATLAB

Options Polyspace

Generate reportSpecify whether to generate a report after the analysis
Bug Finder and Code Prover report (-report-template)Specify template for generating analysis report
Output format (-report-output-format)Specify output format of generated report

Composants du générateur de rapports

développer tout

Résumé des métriques du codeCreate table of Polyspace metrics
Résumé de la vérification du codeCreate table of Polyspace analysis results
Résumé des règles de codageCreate table with number of coding rule violations
Résumé des défautsCreate table of defects (Bug Finder only)
Résumé des contrôles run-time classés par fichierCreate table with run-time checks ordered by file (Code Prover only)
Objectifs de qualité logicielle - Résumé des règles de codageCreate table of coding rule violations in results downloaded from Polyspace Metrics
Objectifs de qualité logicielle - Résumé des contrôles run-timeCreate table of results summary for results downloaded from Polyspace Metrics
Résumé par fichierCreate table showing summary of Polyspace results by file
Hiérarchie des appelsCreate table showing call graph in source code
Informations du code et de la vérificationCreate table of verification times and code characteristics
Détails des métriques du codeCreate table of Polyspace metrics broken down by file and function
Détails des règles de codageCreate table of coding rule violations broken down by file
Contrôles de la variable globaleCreate table of global variables (Code Prover only)
Fonctions récursivesCreate table of recursive functions
Personnalisation des rapports (filtrage)Create filters that apply to your Polyspace reports
Détails des contrôles run-time classés par couleur/fichierCreate overrides for global filters in Polyspace reports (Code Prover only)
Détails des contrôles run-time classés par informations de revueCreate table with run-time checks ordered by review information (Code Prover only)
Objectifs de qualité logicielle - Détails des contrôles run-timeCreate table of result details for results downloaded from Polyspace Metrics
Accès à la variableCreate table showing global variable access in source code (Code Prover only)
Détails des contrôles de variable classés par informations de revueCreate table with global variable results ordered by review information (Code Prover only)
Définitions des acronymesCreate table of Polyspace acronyms used in report and their full forms
Paramètres de configurationCreate table of analysis options, assumptions and coding rules configuration

Rubriques

Créer des rapports (PDF, Word, HTML)

Exporter les résultats (Excel, MATLAB)