Diese Seite ist für die vorige Version. Die entsprechende englische Seite wurde in der aktuellen Version entfernt.

Generieren von Berichten von Polyspace Access aus

Exportieren der Ergebnisse aus der Polyspace^® Access™-Webschnittstelle

Fassen Sie die Ergebnisse auf der Polyspace Access-Webschnittstelle in einer TSV-Datei (Datei mit tabulatorgetrennten Werten) für die weitere Verarbeitung zusammen, z. B. die Anwendung von benutzerdefinierten Filtern und Pass/Fail-Kriterien. Archivieren Sie die Zusammenfassung der Ergebnisse für Zertifizierungs- und Archivierungszwecke in Form von Berichten.

Systembefehl

alle erweitern

Exportieren von Ergebnissen

`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

Themen

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.