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