-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 |
Пример (средство поиска ошибки):
|
Пример (программа автоматического доказательства кода): |
Пример (сервер средства поиска ошибки): |
Пример (сервер программы автоматического доказательства кода):
|