PolyspaceAccess에서 리포트 생성

Polyspace^®Access™ 웹 인터페이스에서 결과 내보내기

사용자 정의 필터 및 통과/실패 기준 적용과 같은 추가 처리를 위해 PolyspaceAccess 웹 인터페이스의 결과를 탭으로 구분된 값(TSV) 파일로 요약합니다. 인증 및 기록 보관 목적으로 결과 요약을 리포트로 보관합니다.

시스템 명령

`polyspace-access -export`	Polyspace Access 데이터베이스에서 결과를 내보내기
`polyspace-report-generator` (Polyspace Bug Finder)	(System Command) Generate reports from Polyspace analysis results stored locally or on Polyspace Access

Polyspace Access에서 결과 열기 또는 내보내기
데스크톱 인터페이스에서 Polyspace Access 결과를 열거나 TSV 파일로 결과를 내보냅니다.
Polyspace Access에서 리포트 및 변수 목록 생성
코드의 변수 목록을 포함하여 결과를 리포트에 Polyspace Access로 요약합니다.