-report-output-format
)Задайте выходной формат сгенерированного отчета
Задайте выходной формат аналитического отчета.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Reporting. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -report-output-format
. Смотрите информацию о Командной строке.
Используйте эту опцию, чтобы задать, хотите ли вы отчет в PDF, HTML или другом формате.
Значение по умолчанию: Word
HTML
Сгенерируйте отчет в формате .html
PDF
Сгенерируйте отчет в формате .pdf
Word
Сгенерируйте отчет в формате .docx
.
Эта опция позволяет вам задавать генерацию отчета прежде, чем запустить анализ.
Чтобы сгенерировать отчет после, анализ завершен в пользовательском интерфейсе десктопных решений Polyspace®, выберите Reporting> Run Report. Также в командной строке, используйте команду polyspace-report-generator
.
После анализа можно также экспортировать результат как текстовый файл для дальнейшей индивидуальной настройки. Используйте опцию -generate-results-list-file
с командой polyspace-report-generator
.
Если оглавление или графика в отчете .docx
кажутся устаревшими, выберите содержимое отчета и обновите документ. Используйте горячие клавиши Ctrl+A, чтобы выбрать содержимое и F9, чтобы обновить его.
В пользовательском интерфейсе десктопных решений Polyspace включена эта опция, только если вы выбираете опцию Generate report
.
Параметр: -report-output-format |
Значение: html | pdf | word |
Значение по умолчанию: word |
Пример (средство поиска ошибки):
|
Пример (программа автоматического доказательства кода):
|
Пример (сервер средства поиска ошибки):
|
Пример (сервер программы автоматического доказательства кода):
|