Cette page s'applique à la version précédente. La page correspondante en anglais a été supprimée de la version actuelle.

Générer des rapports à partir de Polyspace Access

Exporter les résultats à partir de l’interface web Polyspace^® Access™

Récapitulez les résultats de l’interface web Polyspace Access dans un fichier de valeurs séparées par des tabulation (TSV) qui servira à poursuivre le traitement, par exemple en appliquant des filtres personnalisés et des critères de réussite/d’échec. Archivez le résumé des résultats dans des rapports à des fins de certification et d'archivage.

Commande système

développer tout

Exporter les résultats

`polyspace-access -export` (Polyspace Access)	(System Command) Export results from Polyspace Access database
`polyspace-report-generator`	(System Command) Generate reports from Polyspace analysis results stored locally or on Polyspace Access

Rubriques

Export Results from Polyspace Access (Polyspace Access)
Export Polyspace Access results to a TSV file.
Generate Report and Variables List from Polyspace Access (Polyspace Access)
Summarize results in Polyspace Access in a report that contains the results including a list of variables in your code.