exponenta event banner

Создать отчет

Укажите, следует ли создавать отчет после анализа

Описание

Укажите, нужно ли создавать отчет вместе с результатами анализа.

В зависимости от указанного формата можно просмотреть этот отчет с помощью внешнего программного обеспечения. Например, если указан формат PDF, можно просмотреть отчет в pdf читатель.

Задать опцию

Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта опция доступна на узле Отчеты.

Файл командной строки и параметров: См. Сведения о командной строке.

Зачем использовать этот параметр

Можно создать отчет на основе результатов анализа в целях архивации. Этот отчет можно предоставить руководству или клиентам в качестве подтверждения качества кода.

Используя другие опции анализа, можно адаптировать содержимое и формат отчета к конкретным потребностям. Посмотрите Bug Finder and Code Prover report (-report-template) и Output format (-report-output-format).

Настройки

На

Polyspace ® создает отчет об анализе, используя указанный шаблон и формат.

Отчет хранится в Polyspace-Doc подпапка папки результатов.

В настольных продуктах Polyspace для открытия папки результатов из пользовательского интерфейса на панели «Диспетчер проектов» щелкните правой кнопкой мыши узел результатов и выберите «Открыть папку с помощью диспетчера файлов».

Сведения об изменении расположения папки результатов см. в разделе Содержимое папки результатов и проекта.

В командной строке папка результатов является аргументом параметра -results-dir.

Выкл. (по умолчанию)

Polyspace не создает отчет об анализе. Результаты можно просмотреть в интерфейсе Polyspace.

Совет

Эта опция позволяет указать создание отчета перед началом анализа.

Чтобы создать отчет после завершения анализа, в интерфейсе пользователя настольных продуктов Polyspace выберите Отчеты > Выполнить отчет. Либо в командной строке используйте команду polyspace-report-generator команда.

После анализа можно также экспортировать результат в текстовый файл для дальнейшей адаптации. Использовать опцию -generate-results-list-file с polyspace-report-generator команда.

Информация командной строки

Отсутствует параметр командной строки для включения только генератора отчетов. Однако использование опций -report-template для шаблона и -report-output-format для формата вывода автоматически включает генератор отчетов.