Создание отдельной модели электрического жгута после анализа
Ссылочная входная модель в сгенерированном электрическом жгуте
Укажите параметры, управляющие тем, как Simulink ® Design Verifier™ обрабатывает создаваемые результаты.
Укажите папку и имя файла для MAT-файла, который содержит данные, созданные во время анализа, сохраненные в sldvData структура.
По умолчанию: $ModelName$_sldvdata
При необходимости введите абсолютный или относительный путь к пути, указанному в папке Output.
Введите имя файла MAT.
$ModelName$ - маркер, представляющий имя модели.
Параметр: DVDataFileName |
| Тип: символьный массив |
| Значение: любой допустимый путь и имя файла |
По умолчанию: '$ModelName$_sldvdata' |
Моделирование модели с использованием сигналов тестовых примеров и включение выходных значений в файл данных Simulink Design Verifier.
По умолчанию: Откл.
НаМоделирование модели с использованием сигналов тестового случая, получаемых в результате анализа. Для каждого тестового случая программа собирает выходные значения моделирования, связанные с блоками Outport в системе верхнего уровня, и включает эти значения в создаваемый MAT-файл.
ПрочьНе моделирует модель и не собирает выходные значения для включения в создаваемый анализом MAT-файл.
TestCases.expectedOutput поле MAT-файла содержит выходные значения. Дополнительные сведения см. в разделе Содержимое структуры sldvData.
Если включен параметр «Включить ожидаемые выходные значения», Simulink Design Verifier последовательно моделирует модель, используя каждый создаваемый тестовый случай. Включение этого параметра требует больше времени, чтобы Simulink Design Verifier завершил анализ.
Параметр: DVSaveExpectedOutput |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'off' |
Укажите, следует ли использовать случайные значения вместо нулей для входных сигналов, которые не влияют на цели тестирования или проверки.
По умолчанию: Откл.
НаПрисваивает случайные значения сигналам тестового случая или контрпримера, которые не влияют на результат теста или цели проверки в модели. Этот параметр может повысить отслеживаемость и улучшить регрессионные тесты.
ПрочьПрисваивает нули сигналам тестового случая или контрпримера, которые не влияют на результат теста или цели проверки в модели.
Эта опция заменяет значения данных по умолчанию случайными значениями, если модуль внутреннего анализа Simulink Design Verifier не указывает значение. Если значение не влияет на удовлетворенность тестом или целью проверки, созданный отчет об анализе указывает это значение с тире (-).
Сгенерированные отчеты об анализе Simulink Design Verifier показывают настройку этого параметра.
Включите этот параметр, чтобы повысить отслеживаемость при моделировании тестовых примеров или контрпримеров. Например, рассмотрим следующую модель:
Только сигнал, поступающий в порт управления блоком коммутатора, влияет на зону действия его решения. Если данные рандомизации, не влияющие на параметр результата, выключены, Simulink Design Verifier использует нули для представления сигналов от In1 и In3. При проверке результатов тестового случая или имитации контрпримера неясно, какой из этих сигналов проходит через блок коммутатора, поскольку они имеют одинаковое значение. Но если данные Randomize, которые не влияют на параметр результата, включены, программное обеспечение использует уникальные значения для представления каждого из этих сигналов. В этом случае легче определить, какой сигнал проходит через блок переключения.
Параметр: DVRandomizeNoEffectData |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'off' |
Создайте модель электрического жгута, созданную с помощью анализа Simulink Design Verifier.
По умолчанию: Откл.
НаСохранение модели кабельных трасс, создаваемой программой Simulink Design Verifier, в виде файла модели.
ПрочьНе сохраняет модель кабельных трасс, создаваемую программой Simulink Design Verifier.
Этот параметр включает имя файла модели кабельных трасс.
Параметр: DVSaveHarnessModel |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'off' |
Укажите папку и имя файла для модели кабельных трасс.
По умолчанию: $ModelName$_harness
При необходимости введите абсолютный или относительный путь к пути, указанному в папке Output.
Введите имя файла для модели кабельных трасс.
$ModelName$ - маркер, представляющий имя модели.
Этот параметр активируется с помощью команды Генерировать отдельную модель электрического жгута после анализа.
Параметр: DVHarnessModelFileName |
| Тип: символьный массив |
| Значение: любой допустимый путь и имя файла |
По умолчанию: '$ModelName$_harness' |
Блок модели используется для привязки модели к модели кабельных трасс.
По умолчанию: Откл.
НаИспользование блока модели для привязки модели к модели кабельных трасс.
ПрочьИспользование копии модели в модели кабельных трасс.
Если тестовый блок в модели кабельных трасс является подсистемой, значения параметров оптимизации моделирования Simulink в диалоговом окне Параметры конфигурации (Configuration Parameters) могут влиять на результаты покрытия.
Примечание
Параметры оптимизации моделирования находятся на следующих диалоговых окнах Параметры конфигурации (Configuration Parameters):
Панель оптимизации
Оптимизация > Панель «Сигналы и параметры»
Оптимизация > Панель «Поток состояний»
На панели «Проверка проекта» > «Параметры», если выбран параметр «Применить параметры», Simulink Design Verifier использует подсистему, содержащую копию исходной модели в модели кабельных трасс, даже если выбран параметр «Ссылочная входная модель» в сгенерированном электрическом жгуте.
Параметр: DVModelReferenceHarness |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'off' |
Укажите тип блока входов для модели кабельных трасс.
По умолчанию:
Signal Builder
Signal BuilderСоздание отдельной модели кабельных трасс с блоком «Конструктор сигналов» в качестве блока «Входы».
Signal EditorСоздание отдельной модели электрического жгута с блоком «Редактор сигналов» в качестве блока «Входы».
Этот параметр активируется с помощью команды Генерировать отдельную модель электрического жгута после анализа.
Параметр:
DVHarnessSource |
| Тип: символьный массив |
Значение:
'Signal Builder' | 'Signal Editor' |
По умолчанию:
'Signal Builder' |
Имя и путь для имени тестового файла в Simulink Test™
По умолчанию: $ModelName$_test
Введите имя файла теста, содержащего результаты Simulink Design Verifier.
$ModelName$ - маркер, представляющий имя модели.
Можно ввести абсолютный путь или путь относительно пути, указанного в папке Output на панели Design Verifier.
Этот параметр отображается и включается при наличии лицензии 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)