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