Задайте, сгенерировать ли отчет после анализа
Задайте, сгенерировать ли отчет наряду с результатами анализа.
В зависимости от формата вы задаете, можно просмотреть этот отчет с помощью внешнего программного обеспечения. Например, если вы задаете формат PDF, можно просмотреть отчет в pdf читатель.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция доступна на узле Reporting.
Командная строка: Смотрите информацию о Командной строке.
Можно сгенерировать отчет от результатов анализа для архивации целей. Можно предоставить этот отчет управлению или клиентам как доказательство качества кода.
Используя другие аналитические опции, можно адаптировать содержимое отчета и формат для определенных потребностей. Смотрите Bug Finder and Code Prover report (-report-template) и Output format (-report-output-format).
OnPolyspace® генерирует аналитический отчет с помощью шаблона и формата, который вы задаете.
Отчет хранится в Polyspace-Doc подпапка вашей папки результатов.
В десктопных решениях Polyspace, чтобы открыть вашу папку результатов от пользовательского интерфейса, на панели Project Browser, щелкают правой кнопкой по узлу результатов и выбирают Open Folder with File Manager.
Чтобы изменить местоположение папки результатов, см. Проект и Содержание папки Результатов (Polyspace Code Prover).
На командной строке папка результатов является аргументом опции -results-dir.
От (значения по умолчанию)Polyspace не генерирует аналитический отчет. Можно все еще просмотреть результаты в интерфейсе Polyspace.
Эта опция позволяет вам задавать генерацию отчета прежде, чем запустить анализ.
Чтобы сгенерировать отчет после, анализ завершен в пользовательском интерфейсе десктопных решений Polyspace, выберите Reporting> Run Report. В качестве альтернативы в командной строке, используйте polyspace-report-generator команда.
После анализа можно также экспортировать результат как текстовый файл для дальнейшей индивидуальной настройки. Используйте опцию -generate-results-list-file с polyspace-report-generator команда.
Нет никакого параметра командной строки, чтобы только включить генератор отчетов. Однако с помощью опций -report-template для шаблона и -report-output-format поскольку выходной формат автоматически включает генератор отчетов.
