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