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