Polyspace ® предоставляет предопределенные шаблоны отчетов для выбора конкретных аспектов результатов анализа. Выберите шаблон отчета, в котором будет собрана соответствующая информация. Дополнительные сведения см. в разделеBug Finder and Code Prover report (-report-template) или попробуйте использовать различные шаблоны отчетов для образцов результатов.
Если в системе установлено приложение MATLAB ® Report Generator™, шаблоны отчетов можно настроить в соответствии с требованиями пользователя.
polyspace-report-generator | (DOS/UNIX) Создание отчетов для результатов анализа Polyspace, хранящихся локально или в Polyspace Access |
polyspace-results-export | (DOS/UNIX) Экспорт результатов Polyspace во внешние форматы, такие как CSV или JSON |
Generate report | Укажите, следует ли создавать отчет после анализа |
Bug Finder and Code Prover report (-report-template) | Укажите шаблон для создания отчета об анализе |
Output format (-report-output-format) | Укажите формат вывода сформированного отчета |
Создание отчета на основе результатов Polyspace с использованием стандартных шаблонов.
Настройка существующего шаблона отчета программы проверки кода
Измените компоненты шаблонов отчетов, чтобы включить только необходимые сведения.
Примеры настроек шаблона отчета
См. примеры изменений, которые можно внести в предварительно определенный шаблон отчета.
Экспорт результатов анализа полиспейса
Экспорт результатов в текстовый файл, таблицу MATLAB или формат JSON для вычисления графиков и статистики.
Визуализация результатов анализа проверки кода в MATLAB
Создание графиков на основе результатов анализа Polyspace.
Экспорт списка глобальных переменных
Экспорт списка глобальных переменных в коде C/C + + вместе с операциями чтения и записи.
Недостаточно памяти во время создания отчета
Диагностика ошибок нехватки памяти во время создания отчета.