Exponenta Banner

генератор отчетов полипробела

(DOS/UNIX) Генерирует отчеты для результатов анализа Polyspace, сохраненных локально или на Polyspace Acces

свернуть все на странице

Синтаксис

polyspace-report-generator -template <template> [OPTIONS]
polyspace-report-generator -generate-results-list-file [-results-dir <FOLDER>] [-set-language-english]
polyspace-report-generator -generate-variable-access-file [-results-dir <FOLDER>] [-set-language-english]
polyspace-report-generator -template <template> -host <HOSTNAME> -run-id <RUN_ID> [ACCESS_OPTIONS] [OPTIONS]
polyspace-report-generator -generate-results-list-file -host <HOSTNAME> -run-id <RUN_ID> [ACCESS_OPTIONS] [-set-language-english]
polyspace-report-generator -generate-variable-access-file -host <HOSTNAME> -run-id <RUN_ID> [ACCESS_OPTIONS] [-set-language-english]

Описание

пример

polyspace-report-generator -template <template> [OPTIONS] генерирует отчет при помощи TEMPLATE для локальных результатов анализа, что вы задаете с OPTIONS.

По умолчанию отчеты для результатов project-name хранятся как project-name_report-name в папке PathToFolder\Polyspace-Doc. PathToFolder является папкой результатов project-name.

polyspace-report-generator -generate-results-list-file [-results-dir <FOLDER>] [-set-language-english]экспортирует результаты анализа, сохраненные локально в FOLDER в текстовый файл с разделителями табуляции. Файл содержит информацию о результате, доступную на панели Results List в пользовательском интерфейсе. Для получения дополнительной информации об экспортируемом списке результатов, вид на море Экспортируемые Результаты.

По умолчанию файл результатов для результатов project-name хранится в папке PathToFolder\Polyspace-Doc. PathToFolder является папкой результатов project-name.

polyspace-report-generator -generate-variable-access-file [-results-dir <FOLDER>] [-set-language-english]экспортирует список глобальных переменных в вашем коде от анализа Программы автоматического доказательства Кода, сохраненного локально в FOLDER в текстовый файл с разделителями табуляции. Файл содержит информацию, доступную на панели Variable Access в пользовательском интерфейсе. Для получения дополнительной информации об экспортируемом списке переменных, вид на море Экспортируемый Список переменных.

По умолчанию файл переменных для результатов project-name хранится в папке PathToFolder\Polyspace-Doc. PathToFolder является папкой результатов project-name.

пример

polyspace-report-generator -template <template> -host <HOSTNAME> -run-id <RUN_ID> [ACCESS_OPTIONS] [OPTIONS] генерирует отчет при помощи TEMPLATE для результатов анализа, запущенных RUN_ID, сохраненный на Polyspace доступ. HOSTNAME является полностью определенным именем хоста машины, которая размещает Polyspace доступ.

По умолчанию отчеты для результатов project-name хранятся как project-name_report-name в папке PathToFolder\Polyspace-Doc. PathToFolder является путем, от которого вы вызываете команду.

polyspace-report-generator -generate-results-list-file -host <HOSTNAME> -run-id <RUN_ID> [ACCESS_OPTIONS] [-set-language-english]экспортирует результаты анализа, запущенные RUN_ID, сохраненный на Polyspace доступ к текстовому файлу с разделителями табуляции. Файл содержит информацию о результате, доступную на панели Results List в Polyspace доступ к веб-интерфейсу. HOSTNAME является полностью определенным именем хоста машины, которая размещает Polyspace доступ. Для получения дополнительной информации об экспортируемом списке результатов см. Список Результатов (Polyspace Code Prover Access).

По умолчанию файл результатов для результатов project-name хранится в папке PathToFolder\Polyspace-Doc. PathToFolder является путем, от которого вы вызываете команду.

пример

polyspace-report-generator -generate-variable-access-file -host <HOSTNAME> -run-id <RUN_ID> [ACCESS_OPTIONS] [-set-language-english]экспортирует список глобальных переменных в вашем коде от анализа Программы автоматического доказательства Кода, запущенного RUN_ID, сохраненный на Polyspace доступ к текстовому файлу с разделителями табуляции. Файл содержит информацию, доступную на панели Variable Access в Polyspace доступ к веб-интерфейсу. HOSTNAME является полностью определенным именем хоста машины, которая размещает Polyspace доступ. Для получения дополнительной информации об экспортируемом списке переменных, вид на море Экспортируемый Список переменных.

По умолчанию файл переменных для результатов project-name хранится в папке PathToFolder\Polyspace-Doc. PathToFolder является путем, от которого вы вызываете команду.

Входные параметры

свернуть все

Путь к шаблону отчета, который вы используете, чтобы сгенерировать аналитический отчет. Чтобы сгенерировать несколько отчетов, задайте список, разделенный запятыми путей к шаблону отчета (не помещайте пробел после запятых). Шаблоны доступны в polyspaceroot\toolbox\polyspace\psrptgen\templates\ как файлы .rpt. Здесь, polyspaceroot является папкой установки Polyspace®. Для получения дополнительной информации о доступных шаблонах смотрите Bug Finder and Code Prover report (-report-template).

Эта опция не совместима с -generate-variable-access-file и -generate-results-list-file.

Пример: C:\Program Files\Polyspace\R2019a\toolbox\polyspace\psrptgen\templates\Developer.rpt

Пример: TEMPLATE_PATH\BugFinder.rpt,TEMPLATE_PATH\CodingStandards.rpt

Путь к папке, содержащей результаты анализа, для которых вы генерируете отчет или результаты анализа, от которых вы экспортируете список результатов или глобальных переменных (Программа автоматического доказательства Кода). Чтобы сгенерировать отчет для нескольких верификаций, задайте список, разделенный запятыми путей к папкам (не помещайте пробел после запятых). Если вы не задаете путь к папке, команда генерирует отчет для результатов анализа в текущей папке.

Пример: C:\Polyspace_Workspace\My_project\Module_1\results

Пример: C:\Polyspace_Workspace\My_project\Module_2\results,C:\Polyspace_Workspace\My_project\Module_3\other_results

Полностью определенное имя хоста машины, которая размещает Polyspace доступ к сервису Gateway API. Необходимо задать имя хоста, чтобы сгенерировать отчет для результатов на базе данных Access Polyspace.

Пример: my-company-server

Запустите ID результатов проекта, для которых вы генерируете отчет. Polyspace присваивает уникальный ID выполнения каждому аналитическому выполнению, что вы загружаете на Polyspace доступ. Чтобы получить ID выполнения результатов проекта, используйте команду polyspace-access с опцией -list-project.

Пример 4

ОпцияОписание
-format HTML | PDF | WORD

Формат файла отчета, что вы генерируете. По умолчанию команда генерирует документ WORD.

Чтобы сгенерировать отчеты в нескольких форматах, задайте список, разделенный запятыми форматов. (Не помещайте пробел после запятых). Например, -format PDF,HTML.

Эта опция не совместима с -generate-variable-access-file и -generate-results-list-file.

-output-name outputName

Имя сгенерированного отчета или имени папки, если вы генерируете несколько отчетов.

Команда хранит outputName на пути, от которого вы вызываете команду. Чтобы хранить сгенерированные файлы в различной папке, задайте полный путь папки, например, -output-name C:\PathTo\OtherFolder.

-results-dir FOLDER_1,...,FOLDER_N

Путь к локально сохраненной папке результатов. Чтобы сгенерировать отчеты для нескольких исследований, задайте список, разделенный запятыми пути к папке. (Не помещайте пробел после запятых). Например:

-results-dir folderPath1,folderPath2

-set-language-englishСгенерируйте отчет на английском языке. Используйте эту опцию, если ваш язык отображения установлен в другой язык.
-hОтобразите справочную информацию.
ОпцияОписание

-host HOST_NAME

Полностью определенное имя хоста машины, которая размещает Polyspace доступ к сервису Gateway API.

Эта опция обязательна, когда вы генерируете отчеты для результатов, сохраненных на базе данных Access Polyspace.

-run-id RUN_ID

Запустите ID проекта. Polyspace присваивает уникальный ID выполнения каждому аналитическому выполнению, которое вы загружаете. Чтобы получить последний ID выполнения проекта, используйте опцию -list-project команды polyspace-access.

Для получения дополнительной информации о команде смотрите polyspace-access.

Эта опция обязательна, когда вы генерируете отчеты для результатов, сохраненных на базе данных Access Polyspace.

-all-units

Задайте эту опцию, чтобы сгенерировать отчет для всех модулей от анализа unit by unit.

Когда вы используете эту опцию, задаете ID выполнения только одного модуля с -run-id. Команда включает другие модули от анализа в отчете.

-port portNumber

Номер порта Polyspace доступ к экземпляру. Значением по умолчанию является 9443.

-protocol http | https

Протокол HTTP раньше соединял с Polyspace доступ. Значением по умолчанию является https.

-login username

-encryted-password ENCRYPTED_PASSWD

Учетные данные, которые вы используете, чтобы регистрировать в Polyspace доступ. Аргументом -encrypted-password является вывод команды polyspace-access -encrypt-password.

Для получения дополнительной информации о команде смотрите polyspace-access.

Примеры

свернуть все

Можно сгенерировать несколько отчетов для результатов анализа, что вы храните локально.

Создайте переменную template_path, чтобы сохранить путь к шаблонам отчета и создать переменную report_templates, чтобы сохранить список, разделенный запятыми шаблонов, чтобы использовать.

SET template_path="C:\Program Files"\Polyspace\R2019a\toolbox\polyspace^
\psrptgen\templates\
SET report_templates=%template_path%\Developer.rpt,^
%template_path%\CodingStandards.rpt

Сгенерируйте отчеты от шаблонов, что вы задали в report_templates для результатов анализа проекта Polyspace myProject.

 polyspace-report-generator -template %report_templates% ^
-results-dir C:\Polyspace_Workspace\myProject\Module_1\CP_Result ^
-format PDF

Команда генерирует два отчета PDF, myProject_Developer.PDF и myProject_CodingStandards.PDF. Отчеты хранятся в C:\Polyspace_Workspace\myProject\Module_1\CP_Result\Polyspace-Doc. Для получения дополнительной информации о содержимом отчетов смотрите Bug Finder and Code Prover report (-report-template).

Примечание

Использовать командную строку для генерации отчетов результатов сохранило на Polyspace доступ, у вас должны быть Polyspace Bug Finder™ Server™ или установка Сервера Polyspace Code Prover™.

Предположим, что вы хотите сгенерировать отчет и экспортировать список переменных для результатов анализа Программы автоматического доказательства Кода, сохраненного на базе данных Access Polyspace.

Чтобы соединить с Polyspace доступ, обеспечьте имя хоста и ваши учетные данные входа в систему включая ваш зашифрованный пароль. Чтобы зашифровать ваш пароль, используйте команду polyspace-access и введите ваше имя пользователя и пароль в подсказке. 

polyspace-access -encrypt-password 
login: jsmith
password:
CRYPTED_PASSWORD LAMMMEACDMKEFELKMNDCONEAPECEEKPL
Command Completed

Сохраните свой Polyspace доступ к учетным данным входа в систему в переменной LOGIN.

set LOGIN=-host jsmith ^
-encrypted-password LAMMMEACDMKEFELKMNDCONEAPECEEKPL

Чтобы задать результаты проекта на Polyspace доступ, задайте ID выполнения проекта. Чтобы получить список проектов с их последним ID выполнения, используйте polyspace-access с опцией -list-project. 

polyspace-access -host myAccessServer %LOGIN% -list-project
Connecting to https://myAccessServer:9443
Connecting as jsmith
Get project list with the last Run Id
Restricted/Code_Prover_Example (Code Prover) RUN_ID 14
public/Bug_Finder_Example (Bug Finder) RUN_ID 24
public/CP/Code_Prover_Example (Polyspace Code Prover) RUN_ID 16
public/Polyspace (Code Prover) RUN_ID 28
Command Completed

Для получения дополнительной информации о команде смотрите polyspace-access.

Сгенерируйте отчет Developer для результатов с запущенным ID 16 от Polyspace доступ к экземпляру с именем хоста myAccessServer. URL этого экземпляра Polyspace доступ является https://myAccessServer:9443.

SET template_path=^
"C:\Program Files\Polyspace\R2019a\toolbox\polyspace\psrptgen\templates"

polyspace-report-generator %LOGIN% ^
-template %template_path%\Developer.rpt ^
-host myAccessServer ^
-run-id 16 ^
-output-name myReport

Команда создает, сообщает myReport.docx при помощи шаблона, который вы задаете. Отчет хранится в папке Polyspace-Doc на пути, от которого вы вызвали команду.

Сгенерируйте текстовый файл с разделителями табуляции, который содержит список глобальных переменных в вашем коде для заданных результатов анализа.

polyspace-report-generator %LOGIN%^
-generate-variable-access-file ^
-host myAccessServer ^
-run-id 16

Список глобальных переменных Variable_View.txt хранится в той же папке как сгенерированный отчет. Для получения дополнительной информации об экспортируемом списке переменных, вид на море Экспортируемый Список переменных.

Документация Polyspace Code Prover
Поддержка