Панель верификатора проекта: результаты
Обзор панели результатов
Задайте опции, которые управляют, как Simulink® Design Verifier™ обрабатывает результаты, которые он генерирует.
Смотрите также
Имя файла данных
Задайте папку и имя файла для MAT-файла, который содержит данные, сгенерированные во время анализа, сохраненного в sldvData структура.
Настройки
Значение по умолчанию: $ModelName$_sldvdata
Опционально, введите путь, который является или абсолютным или относительно пути, заданного в Output folder.
Введите имя файла для MAT-файла.
$ModelName$лексема, которая представляет имя модели.
Информация о командной строке
Параметр: DVDataFileName |
| Ввод: массив символов |
| Значение: любой допустимый путь и имя файла |
Значение по умолчанию: '$ModelName$_sldvdata' |
Смотрите также
Включайте ожидаемые выходные значения
Симулируйте модель с помощью сигналов теста и включайте выходные значения в файл данных Simulink Design Verifier.
Настройки
Значение по умолчанию: Off
OnСимулирует модель с помощью сигналов теста, что анализ производит. Для каждого теста программное обеспечение собирает выходные значения симуляции, сопоставленные с блоками Выходного порта в системе верхнего уровня, и включает те значения в MAT-файл, который это генерирует.
OffНе симулирует модель и собирает выходные значения для включения в MAT-файл, который генерирует анализ.
Советы
TestCases.expectedOutputподполе MAT-файла содержит выходные значения. Для получения дополнительной информации смотрите Содержимое sldvData Структуры.Когда Include expected output values включен, Simulink Design Verifier последовательно симулирует модель с помощью каждого теста, который это генерирует. Включение этой опции требует, чтобы больше времени для Simulink Design Verifier завершило свой анализ.
Информация о командной строке
Параметр: DVSaveExpectedOutput |
| Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Смотрите также
Рандомизируйте данные, которые не влияют на результат
Задайте, использовать ли случайные значения вместо нулей для входных сигналов, которые не оказывают влияния на тест или цели доказательства.
Настройки
Значение по умолчанию: Off
- On
Присваивает случайные значения тесту или сигналам контрпримера, которые не влияют на результат теста или целей доказательства в модели. Эта опция может улучшить трассируемость и улучшить ваши регрессионные тесты.
- Off
Нули присвоений к тесту или сигналам контрпримера, которые не влияют на результат теста или целей доказательства в модели.
Советы
Эта опция заменяет значения данных по умолчанию на случайные значения, когда Simulink Design Verifier внутренний аналитический механизм не задает значение. Когда значение не влияет на удовлетворенность теста или цели доказательства, сгенерированный аналитический отчет указывает что значение с тире (–).
Сгенерированные аналитические отчеты Simulink Design Verifier показывают установку этой опции.
Позвольте этой опции улучшить трассируемость при симуляции тестов или контрпримеров. Например, рассмотрите следующую модель:
Только сигнал, вводящий порт управления блока Switch, влияет на свой Decision Coverage. Если параметр Randomize data that does not affect outcome выключен, Simulink Design Verifier использует нули, чтобы представлять сигналы от In1 и In3. При осмотре результатов теста или симуляций контрпримера, это неясно, какой из этих сигналов проходит через блок Switch, потому что у них есть то же значение. Но если параметр Randomize data that does not affect outcome включен, программное обеспечение использует уникальные значения, чтобы представлять каждый из тех сигналов. В этом случае легче определить, какой сигнал проходит через блок Switch.
Информация о командной строке
Параметр: DVRandomizeNoEffectData |
| Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Смотрите также
Сгенерируйте отдельную модель тестовой обвязки после анализа
Создайте модель тестовой обвязки, сгенерированную анализом Simulink Design Verifier.
Настройки
Значение по умолчанию: Off
- On
Сохраняет модель тестовой обвязки, которую Simulink Design Verifier генерирует как файл модели.
- Off
Не сохраняет модель тестовой обвязки, которую генерирует Simulink Design Verifier.
Зависимость
Этот параметр включает Harness model file name.
Информация о командной строке
Параметр: DVSaveHarnessModel |
| Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Смотрите также
Имя файла модели тестовой обвязки
Задайте папку и имя файла для модели тестовой обвязки.
Настройки
Значение по умолчанию: $ModelName$_harness
Опционально, введите путь, который является или абсолютным или относительно пути, заданного в Output folder.
Введите имя файла для модели тестовой обвязки.
$ModelName$лексема, которая представляет имя модели.
Зависимость
Этот параметр включен Generate separate harness model after analysis.
Информация о командной строке
Параметр: DVHarnessModelFileName |
| Ввод: массив символов |
| Значение: любой допустимый путь и имя файла |
Значение по умолчанию: '$ModelName$_harness' |
Смотрите также
Ссылочная входная модель в сгенерированной обвязке
Используйте блок Model, чтобы сослаться на модель, чтобы запуститься в модели тестовой обвязки.
Настройки
Значение по умолчанию: Off
- On
Использует блок Model, чтобы сослаться на модель, чтобы запуститься в модели тестовой обвязки.
- Off
Использует копию модели в модели тестовой обвязки.
Советы
Если Тестовый Модуль в модели тестовой обвязки является подсистемой, значения параметров оптимизации симуляции Simulink на диалоговом окне Configuration Parameters могут влиять на результаты покрытия.
Примечание
Параметры оптимизации симуляции находятся на следующих панелях диалогового окна Configuration Parameters:
Панель Optimization
Optimization> панель Signals and Parameters
Optimization> панель Stateflow
На Design Verifier > панель Parameters, если вы выбираете параметр Apply parameters, Simulink Design Verifier, использует подсистему, которая содержит копию исходной модели в модели тестовой обвязки, даже если вы выбираете Reference input model in generated harness.
Информация о командной строке
Параметр: DVModelReferenceHarness |
| Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Смотрите также
Используйте источник
Задайте тип блока Inputs для модели тестовой обвязки.
Настройки
Значение по умолчанию:
Signal Builder
Signal BuilderГенерирует разделять модель тестовой обвязки с блоком Signal Builder как блок Inputs.
Signal EditorГенерирует разделять модель тестовой обвязки с блоком Signal Editor как блок Inputs.
Зависимость
Этот параметр включен Generate separate harness model after analysis.
Информация о командной строке
Параметр:
DVHarnessSource |
| Ввод: массив символов |
Значение:
'Signal Builder' | 'Signal Editor' |
Значение по умолчанию:
'Signal Builder' |
Смотрите также
Имя тестового файла
Имя и путь для тестового файла называют в Simulink Test™
Настройки
Значение по умолчанию: $ModelName$_test
Введите имя файла для тестового файла, содержащего результаты Simulink Design Verifier.
$ModelName$лексема, которая представляет имя модели.Можно ввести абсолютный путь или путь относительно заданного Output folder в панели Верификатора Проекта.
Зависимость
Этот параметр отображается и включен, если у вас есть лицензия Simulink Test.
Информация о командной строке
Параметр: DVSlTestFileName |
| Ввод: массив символов |
| Значение: любой допустимый путь и имя файла |
Значение по умолчанию: '$ModelName$_test' |
Смотрите также
Увеличьте покрытие путем генерации тестовых воздействий (Simulink Test)
Имя тестовой обвязки
Имя тестовой обвязки в Simulink Test
Настройки
Значение по умолчанию: $ModelName$_sldvharness
Введите допустимое имя для тестовой обвязки, созданной, чтобы симулировать тесты Simulink Design Verifier. Тестовая обвязка соответствует тестовому файлу, заданному параметром Test File name.
$ModelName$лексема представляет имя модели.Введите допустимый идентификатор MATLAB® для имени тестовой обвязки.
Зависимость
Этот параметр отображается и включен с лицензией Simulink Test.
Информация о командной строке
Параметр: DVSlTestHarnessName |
| Ввод: массив символов |
| Значение: любое имя правильного файла |
Значение по умолчанию: '$ModelName$_sldvharness' |
Смотрите также
Увеличьте покрытие путем генерации тестовых воздействий (Simulink Test)