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