Чтобы указать, что отчет должен быть создан на основе результатов проверки, используйте опции отчетности. Укажите, что должен содержать отчет и формат отчета, например PDF или Microsoft ® Word.
Generate report | Укажите, следует ли создавать отчет после анализа |
Bug Finder and Code Prover report (-report-template) | Укажите шаблон для создания отчета об анализе |
Output format (-report-output-format) | Укажите формат вывода сформированного отчета |
Задать параметры анализа в пространстве
Задайте параметры анализа Polyspace ® в интерфейсе пользователя Polyspace, других среде IDE или сценариях.
Создание отчета на основе результатов Polyspace с использованием стандартных шаблонов.