Berichte
Defektberichte, zusammenfassende Berichte, Berichtsvorlagen
Um festzulegen, dass aus den Verifikationsergebnissen ein Bericht erstellt werden soll, verwenden Sie die Berichtsoptionen. Geben Sie an, was der Bericht enthalten muss und in welchem Format er erstellt werden soll, z. B. PDF oder Microsoft® Word.
Polyspace-Optionen
Bericht erstellen | Specify whether to generate a report after the analysis |
Bug Finder und Code Prover Bericht (-report-template) | Specify template for generating analysis report |
Ausgabeformat (-report-output-format) | Specify output format of generated report |
Themen
- Specify Polyspace Analysis Options
Specify Polyspace® analysis options in Polyspace user interface, other IDE-s or scripts.
- Generate Reports from Polyspace Results
Generate report from Polyspace results using predefined templates.
- Generate Report Containing Polyspace Bug Finder and Polyspace Code Prover Results
Generate a single report that combines Bug Finder results such as coding rule violations and code metrics with Code Prover run time checks.
