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

Обзор панели отчетов

Задайте опции, которые управляют тем, как Simulink® Design Verifier™ сообщает свои результаты.

См. также

Сгенерируйте отчет о результатах

Сгенерируйте и сохраните отчет Simulink Design Verifier.

Настройки

По умолчанию: Off

На

Сохраняет HTML, созданный Simulink Design Verifier.

Прочь

Не генерирует отчет 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

На

Сохранение дополнительной версии отчета Simulink Design Verifier в формате PDF.

Прочь

Не сохраняет дополнительный 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

На

Включает снимки свойств экрана в отчет Simulink Design Verifier. Действителен только в режиме проверки свойств.

Прочь

Не содержит снимков свойств экрана в отчете Simulink Design Verifier.

Зависимость

Этот параметр активируется путем Generate report of the results на панели Отчеты и Generate separate harness model after analysis на панели Результаты.

Информация о командной строке

Параметр: DVReportIncludeGraphics
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

См. также

Отображение отчета

Отобразите отчет, который генерирует анализ Simulink Design Verifier после завершения анализа.

Настройки

По умолчанию: On

На

Отображает отчет, генерируемый анализом после завершения анализа.

Прочь

Не отображает отчет, генерируемый анализом после завершения анализа.

Зависимость

Этот параметр включен по Generate report of the results.

Информация о командной строке

Параметр: DVDisplayReport
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'on'

См. также