Панель верификатора проекта: отчет

Сообщите об обзоре панели

Задайте опции, которые управляют, как 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'

Смотрите также

Для просмотра документации необходимо авторизоваться на сайте