Создание отчетов

Контроль качества с помощью отчетов о результатах анализа

Polyspace ® предоставляет предопределенные шаблоны отчетов для выбора конкретных аспектов результатов анализа. Выберите шаблон отчета, в котором будет собрана соответствующая информация. Дополнительные сведения см. в разделеBug Finder and Code Prover report (-report-template) или попробуйте использовать различные шаблоны отчетов для образцов результатов.

Если в системе установлено приложение MATLAB ® Report Generator™, шаблоны отчетов можно настроить в соответствии с требованиями пользователя.

Команда DOS/UNIX

`polyspace-report-generator`	(DOS/UNIX) Создание отчетов для результатов анализа Polyspace, хранящихся локально или в Polyspace Access
`polyspace-results-export`	(DOS/UNIX) Экспорт результатов Polyspace во внешние форматы, такие как CSV или JSON

API MATLAB

развернуть все

Функции

polyspace_report Создание отчетов на основе результатов анализа Polyspace

Классы

polyspace.BugFinderResults Прочтите результаты поиска ошибок Polyspace из MATLAB

Параметры анализа

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

Компоненты отчета

развернуть все

Сводка результатов

`Code Metrics Summary`	Создание таблицы метрик Polyspace
`Code Verification Summary`	Создание таблицы результатов анализа Polyspace
`Coding Rules Summary`	Создание таблицы с количеством нарушений правил кодирования
`Defects Summary`	Создание таблицы дефектов (только для поиска ошибок)
`Run-time Checks Summary Ordered by File`	Создание таблицы с проверками времени выполнения, упорядоченными по файлам (только для программы проверки кода)
`Software Quality Objectives - Coding Rules Summary`	Создание таблицы нарушений правил кодирования в результатах, загруженных из Polyspace Metrics
`Software Quality Objectives - Run-time Checks Summary`	Создание таблицы сводки результатов для результатов, загруженных из метрик Polyspace
`Summary By File`	Создание таблицы, показывающей сводку результатов Polyspace по файлам

Сведения о результатах

`Call Hierarchy`	Создать таблицу с графиком вызовов в исходном коде
`Code and Verification Information`	Создание таблицы времени проверки и признаков кода
`Code Metrics Details`	Создание таблицы метрик Polyspace с разбивкой по файлам и функциям
`Coding Rules Details`	Создание таблицы нарушений правил кодирования с разбивкой по файлам
`Global Variable Checks`	Создание таблицы глобальных переменных (только для проверки кода)
`Recursive Functions`	Создание таблицы рекурсивных функций
`Report Customization (Filtering)`	Создание фильтров, применяемых к отчетам Polyspace
`Run-time Checks Details Ordered by Color/File`	Создание переопределений для глобальных фильтров в отчетах Polyspace (только для проверки кода)
`Run-time Checks Details Ordered by Review Information`	Создание таблицы с проверками времени выполнения, упорядоченными по данным проверки (только для программы проверки кода)
`Software Quality Objectives - Run-time Checks Details`	Создание таблицы сведений о результатах для результатов, загруженных из метрик Polyspace
`Variable Access`	Создание таблицы, показывающей доступ к глобальной переменной в исходном коде (только для программы проверки кода)
`Variable Checks Details Ordered By Review Information`	Создание таблицы с результатами глобальных переменных, упорядоченными по данным проверки (только для проверки кода)

Приложение

`Acronym Definitions`	Создание таблицы аббревиатур Polyspace, используемых в отчете, и их полных форм
`Configuration Parameters`	Создание таблицы параметров анализа, допущений и конфигурации правил кодирования