Задайте опции, которые управляют, как Simulink® Design Verifier™ сообщает о своих результатах.
Сгенерируйте и сохраните отчет Simulink Design Verifier.
Значение по умолчанию: 'off'
Сохраняет отчет HTML, который генерирует Simulink Design Verifier.
Не генерирует отчет Simulink Design Verifier.
Когда этот параметр включен, необходимо включить Generate separate harness model after analysis.
Этот параметр включает следующие параметры:
Generate additional report in PDF format
Report file name
Include screen shots of properties
Display report
Параметр: DVSaveReport |
Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Сохраните дополнительную версию PDF отчета Simulink Design Verifier.
Значение по умолчанию: 'off'
Сохраняет дополнительную версию PDF отчета Simulink Design Verifier.
Не сохраняет дополнительную версию PDF отчета Simulink Design Verifier.
Этот параметр включен Generate report of the results.
Параметр: DVReportPDFFormat |
Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Задайте папку и имя файла для отчета, что анализ Simulink Design Verifier генерирует.
Значение по умолчанию: $ModelName$_report
Опционально, введите путь, который является или абсолютным или относительно пути, заданного в Output folder.
Введите имя файла для отчета, что анализ генерирует.
$ModelName$
лексема, которая представляет имя модели.
Этот параметр включен Generate report of the results.
Параметр: DVReportFileName |
Ввод: массив символов |
Значение: любой допустимый путь и имя файла |
Значение по умолчанию: '$ModelName$_report' |
Включает снимки экрана свойств в отчете Simulink Design Verifier. Только допустимый в доказывающем свойство режиме.
Значение по умолчанию: 'off'
Включает снимки экрана свойств в отчете Simulink Design Verifier. Только допустимый в доказывающем свойство режиме.
Не включает снимки экрана свойств в отчете Simulink Design Verifier.
Этот параметр включен Generate report of the results.
Параметр: DVReportIncludeGraphics |
Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Отобразите отчет, что анализ Simulink Design Verifier генерирует после завершения его анализа.
Значение по умолчанию: на
Отображает отчет, что анализ генерирует после завершения его анализа.
Не отображает отчет, что анализ генерирует после завершения его анализа.
Этот параметр включен Generate report of the results.
Параметр: DVDisplayReport |
Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'on' |