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