Панель верификатора проекта: отчет
Сообщите об обзоре панели
Задайте опции, которые управляют, как 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
Сохраните дополнительную версию 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' |