Сгенерируйте отчеты из результатов анализа Polyspace
polyspace_report('-template',
формирует отчет с использованием предопределенного шаблона, заданного template
, '-results-dir', resultsFolder
, options
)template
. По умолчанию отчет называется в честь файла результатов в папке resultsFolder
и сохранен в Polyspace-Doc
подпапка. Изменить поведение по умолчанию можно с помощью дополнительных опций.
polyspace_report('-generate-results-list-file', '-results-dir',
экспортирует список Polyspace® результаты в текстовый файл с разделителями табуляции.resultsFolder
, options
)
polyspace_report('-generate-variable-access-file', '-results-dir',
экспортирует список глобальных переменных в текстовый файл с разделителями табуляции.resultsFolder
, options
)
Примечание
Прежде чем запускать Polyspace из MATLAB®необходимо связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».
Для использования этой функции вам нужен MATLAB Report Generator™.