Polyspace® предоставляет вам предопределенные шаблоны отчетов для выбора конкретных аспектов результатов анализа. Выберите шаблон отчета, который собирает соответствующую информацию для ваших требований. Для получения дополнительной информации смотрите Bug Finder and Code Prover report (-report-template)
или попробовать различные шаблоны отчетов для выборочных результатов.
Если у вас есть MATLAB® Сообщите о 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 с помощью предопределенных шаблонов.
Настройка существующего шаблона отчета Bug Finder
Измените компоненты шаблонов отчетов так, чтобы они включали только необходимые сведения.
Экспорт результатов анализа Polyspace
Экспорт результатов в текстовый файл, таблицу MATLAB или формат JSON для вычисления графиков и статистики.
Визуализация результатов анализа Bug Finder в MATLAB
Сгенерируйте графики из результатов анализа Polyspace.