Задайте опции, которые управляют, как Simulink® Design Verifier™ сообщает о своих результатах.
Сгенерируйте и сохраните отчет Simulink Design Verifier.
Значение по умолчанию: Off
OnСохраняет отчет HTML, который генерирует Simulink Design Verifier.
OffНе генерирует отчет 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
OnСохраняет дополнительную версию PDF отчета Simulink Design Verifier.
OffНе сохраняет дополнительную версию 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
OnВключает снимки экрана свойств в отчете Simulink Design Verifier. Только допустимый в доказывающем свойство режиме.
OffНе включает снимки экрана свойств в отчете Simulink Design Verifier.
Этот параметр включен Generate report of the results.
Параметр: DVReportIncludeGraphics |
| Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Отобразите отчет, что анализ Simulink Design Verifier генерирует после завершения его анализа.
Значение по умолчанию: On
OnОтображает отчет, что анализ генерирует после завершения его анализа.
OffНе отображает отчет, что анализ генерирует после завершения его анализа.
Этот параметр включен Generate report of the results.
Параметр: DVDisplayReport |
| Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'on' |
