Проект Панели верификатора: результаты
Обзор панели результатов
Задайте опции, которые управляют тем, как 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)