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