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 с помощью предопределенных шаблонов.
Настройка существующего шаблона отчета Code Prover
Измените компоненты шаблонов отчетов так, чтобы они включали только необходимые сведения.
Примеры индивидуальных настроек шаблона отчета
См. примеры изменений, которые можно внести в предопределенный шаблон отчета.
Экспорт результатов анализа Polyspace
Экспорт результатов в текстовый файл, таблицу MATLAB или формат JSON для вычисления графиков и статистики.
Визуализация результатов анализа Code Prover в MATLAB
Сгенерируйте графики из результатов анализа Polyspace.
Экспорт списка глобальных переменных
Экспортируйте список глобальных переменных в коде C/C + + вместе с операциями чтения и записи.
Нехватка памяти во время генерации отчетов
Диагностируйте ошибки памяти во время генерации отчетов.
