Задайте опции, которые управляют тем, как Simulink® Design Verifier™ обрабатывает результаты, которые она генерирует.
Укажите папку и имя файла для MAT-файла, который содержит данные, сгенерированные во время анализа, хранящиеся в sldvData структура.
По умолчанию: $ModelName$_sldvdata
При необходимости введите путь, который является либо абсолютным, либо относительно имени пути, заданного в Output folder.
Введите имя файла MAT-файла.
$ModelName$ является лексемой, который представляет имя модели.
Параметр: DVDataFileName |
| Тип: символьный массив |
| Значение: любой допустимый путь и имя файла |
По умолчанию: '$ModelName$_sldvdata' |
Симулируйте модель с помощью сигналов теста и включите выходные значения в файл данных Simulink Design Verifier.
По умолчанию: Off
НаМоделирует модель с помощью сигналов теста, которые производит анализ. Для каждого теста программное обеспечение собирает выходные значения симуляции, сопоставленные с блоками Outport в системе верхнего уровня, и включает эти значения в MAT-файл, который он генерирует.
ПрочьНе моделирует модель и не собирает выходные значения для включения в MAT-файл, который генерирует анализ.
The TestCases.expectedOutput подполе MAT-файла содержит выходные значения. Для получения дополнительной информации см. раздел «Содержимое структуры данных sldvData».
Когда Include expected output values включено, Simulink Design Verifier последовательно моделирует модель с помощью каждого теста, который он генерирует. Включение этой опции требует больше времени для завершения анализа Simulink Design Verifier.
Параметр: DVSaveExpectedOutput |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'off' |
Задайте, использовать ли случайные значения вместо нулей для входных сигналов, которые не имеют влияния на тест или цели доказательства.
По умолчанию: 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
НаСохраняет модель тестовой обвязки, которую Simulink Design Verifier генерирует как файл модели.
ПрочьНе сохраняет модели тестовой обвязки, которую генерирует 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
НаИспользует блок Model для ссылки на модель, которая запускается в модели тестовой обвязки.
ПрочьИспользует копию модели в модели тестовой обвязки.
Если Тестовый Модуль в модель тестовой обвязки является подсистемой, значения параметров оптимизации симуляции Simulink в диалоговом окне Параметров конфигурации могут повлиять на результаты покрытия.
Примечание
Параметры оптимизации симуляции находятся в следующих Параметрах конфигурации диалоговом окне панелей:
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 на панели Design Verifier.
Этот параметр виден и включен, если у вас есть лицензия Simulink Test.
Параметр: DVSlTestFileName |
| Тип: символьный массив |
| Значение: любой допустимый путь и имя файла |
По умолчанию: '$ModelName$_test' |
Увеличение покрытия за счет генерации Тестовых воздействий (Simulink Test)
Имя тестовой обвязки в Simulink Test
По умолчанию: $ModelName$_sldvharness
Введите допустимое имя для тестовой обвязки, созданной для моделирования тестов Simulink Design Verifier. Тестовая обвязка соответствует тестовому файлу, заданному в Test File name параметра.
The $ModelName$ лексема представляет имя модели.
Введите действительный MATLAB® идентификатор для имени тестовой обвязки.
Этот параметр виден и включен с лицензией Simulink Test.
Параметр: DVSlTestHarnessName |
| Тип: символьный массив |
| Значение: любое допустимое имя файла |
По умолчанию: '$ModelName$_sldvharness' |
Увеличение покрытия за счет генерации Тестовых воздействий (Simulink Test)