Задайте опции, которые управляют, как Simulink® Design Verifier™ генерирует тесты для моделей, которые он анализирует.
Задайте цель для генерации тестов.
Значение по умолчанию:
Model
генерирует тесты для модели.
Code Generated as Top Model
генерирует тесты для кода, сгенерированного как топ-модель.
Code Generated as Model Reference
генерирует тесты для кода, сгенерированного как модель - ссылка.
Параметр:
DVTestgenTarget |
Ввод: массив символов |
Значение:
'Model' | 'GenCodeTopModel' | 'GenCodeModelRef' | |
Генерация тестов покрытия кодаСгенерируйте тесты для сгенерированного кода Embedded Coder
Задайте тип покрытия модели, которого Simulink Design Verifier пытается достигнуть.
Значение по умолчанию: Condition Decision
None
Генерирует тесты, которые достигают только пользовательских целей, что вы задали в своем образцовом использовании, например, блоках Цели тестирования.
Decision
Генерирует тесты, которые достигают Decision Coverage. Для получения дополнительной информации смотрите Решение.
Condition Decision
Генерирует тесты, которые достигают условия и Decision Coverage. Для получения дополнительной информации смотрите Условие.
MCDC
Генерирует тесты, которые достигают измененного Decision Coverage условия (MCDC). Когда вы выбираете MCDC
, Simulink Design Verifier автоматически включает каждую цель покрытия для покрытия условия и решения. Для получения дополнительной информации см. MCDC.
Enhanced MCDC
Генерирует тесты, которые достигают улучшенного покрытия MCDC. Когда вы выбираете Enhanced MCDC
, Simulink Design Verifier автоматически включает покрытие MCDC. Для получения дополнительной информации смотрите Расширенный MCDC.
Параметр: DVModelCoverageObjectives |
Ввод: массив символов |
Значение:
'None' | 'Decision' | 'ConditionDecision' | 'MCDC' | 'EnhancedMCDC' |
Значение по умолчанию: 'ConditionDecision' |
Задайте, включены ли блоки Условия испытания в вашей модели или отключены.
Значение по умолчанию: Use local settings
Use local settings
Включает или отключает блоки Условия испытания на основе значения параметра Enable каждого блока. Если параметр Enable блока выбран, блок включен; в противном случае блок отключен.
Enable all
Включает все блоки Условия испытания в модели независимо от настроек их параметров Enable.
Disable all
Отключает все блоки Условия испытания в модели независимо от настроек их параметров Enable.
Параметр: DVTestConditions |
Ввод: массив символов |
Значение: 'UseLocalSettings' | 'EnableAll' | 'DisableAll' |
Значение по умолчанию: 'UseLocalSettings' |
Задайте, включены ли блоки Цели тестирования в вашей модели или отключены.
Значение по умолчанию: Use local settings
Use local settings
Включает или отключает блоки Цели тестирования на основе значения параметра Enable каждого блока. Если параметр Enable блока выбран, блок включен; в противном случае блок отключен.
Enable all
Включает все блоки Цели тестирования в модели независимо от настроек их параметров Enable.
Disable all
Отключает все блоки Цели тестирования в модели независимо от настроек их параметров Enable.
Параметр: DVTestObjectives |
Ввод: массив символов |
Значение: 'UseLocalSettings' | 'EnableAll' | 'DisableAll' |
Значение по умолчанию: 'UseLocalSettings' |
Задайте максимальное количество шагов симуляции, которые Simulink Design Verifier делает при попытке удовлетворить цель тестирования.
Анализ использует параметр Maximum test case steps во время определенных частей анализа генерации тестов к связанному количество шагов та генерация тестов использование. Когда вы устанавливаете маленькое значение для этого параметра, частей анализа, которые ограничены завершенные скорее. Когда вы устанавливаете большее значение, ограниченные части анализа занимают больше времени, но для этих частей анализа возможно сгенерировать более длинные тесты.
Чтобы достигнуть лучшей производительности, установите параметр Maximum test case steps на значение, только достаточно большое к связанному самый длинный необходимый тест, даже если тесты, которые в конечном счете сгенерированы, более длинны, чем это значение.
Когда вы также задаете LongTestcases
для параметра Test suite optimization, анализ использует последовательные передачи генерации тестов, чтобы расширить потенциальный тест так, чтобы это удовлетворило больше целей. Когда это происходит, анализ применяет параметр Maximum test case steps к каждой отдельной итерации генерации тестов.
Значение по умолчанию: 10000
Можно задать значение, которое представляет максимальное количество шагов симуляции, которые Simulink Design Verifier делает при попытке удовлетворить цель тестирования.
Параметр: DVMaxTestCaseSteps |
Ввод: int32 |
Значение: любое допустимое значение |
Значение по умолчанию: 10000 |
Задайте стратегию оптимизации использовать при генерации тестов.
Значение по умолчанию:
Auto
Auto
Анализирует модель при помощи стратегии, которая автоматически адаптируется к модели к лучшей аналитической производительности и точности.
IndividualObjectives
Максимизирует количество тестов в комплекте путем генерации случаев что каждый адрес только одна цель тестирования. Каждый тест имеет тенденцию быть коротким, то есть, он включает только несколько временных шагов.
LongTestcases
Тесты объединений, чтобы создать меньшее число тестов. Эта стратегия генерирует меньше, но дольше, тесты, что каждый удовлетворяет несколько целей тестирования и создает более эффективный анализ и более легкие к анализу результаты.
Legacy LargeModel (Nonlinear Extended)
Анализирует модель при помощи статической стратегии, которая не адаптируется к модели. Когда вы анализируете модель при помощи Legacy LargeModel (Nonlinear Extended)
, Simulink Design Verifier отображает предупреждающее сообщение, что эта опция удерживается от использования и предлагает, чтобы вы использовали Auto
. Auto
, скорее всего, произведет лучшие результаты анализа, чем Legacy LargeModel (Nonlinear Extended)
.
Параметр: DVTestSuiteOptimization |
Ввод: массив символов |
Значение:
'Auto' | 'IndividualObjectives' | 'LongTestcases' | Legacy LargeModel (Nonlinear Extended) |
Значение по умолчанию:
'Auto' |
Задайте генерацию тестов, которые удовлетворяют реляционные граничные цели. Цель применяется к блокам, таким как Оператор отношения, которые начинают явную или неявную реляционную операцию. Тесты проверяют реляционные операции в эти блоки с:
Равные значения операнда для операндов целочисленной и фиксированной точки.
Значения операнда в определенном допуске ко всем операндам. Для операндов целочисленной и фиксированной точки фиксируется допуск. Для операндов с плавающей точкой допуск вычисляется с помощью входных параметров и значения допуска, которое вы задаете. Если вы не задаете значение допуска, значения по умолчанию используются.
Значение по умолчанию: 'off'
Для поддерживаемых блоков сгенерированные тесты удовлетворяют реляционные граничные цели.
Сгенерированные тесты не удовлетворяют реляционные граничные цели.
Если вы выбираете эту опцию, можно использовать значения по умолчанию или задать значения для:
Параметр:
DVIncludeRelationalBoundary |
Ввод: массив символов |
Значение:
'on' |'off' |
Значение по умолчанию:
'off' |
Объекты модели, которые получают покрытие (Simulink Coverage)
Задайте значение для абсолютного допуска, используемого в реляционных граничных испытаниях. Реляционные граничные цели применяются к блокам, таким как Оператор отношения, которые начинают явную или неявную реляционную операцию. Значение допуска применяется, только если реляционные операции в тех блоках используют операнды с плавающей точкой.
Для целочисленных операндов значение допуска фиксируется в 1.
Для операндов фиксированной точки значение допуска является младшим значащим битом.
Значение по умолчанию: 1.0000e-05
Для поддерживаемых блоков реляционные граничные испытания проверяют реляционные операции в блок со значениями операнда, которые отличаются определенным допуском. Программное обеспечение вычисляет значение допуска с помощью следующей формулы
max(absTol, relTol* max(|lhs|,|rhs|))
, где:
absTol
является абсолютным значением допуска, которое вы задаете.
relTol
является относительным значением допуска, которое можно задать.
lhs
является левым операндом и rhs
правильный операнд.
max(x,y)
возвращает x
или y
, какой бы ни больше.
Чтобы ввести значение для этой опции, выберите Include реляционные граничные цели.
Параметр:
DVAbsoluteTolerance |
Ввод:
double |
Значение: Любое допустимое значение |
Значение по умолчанию: 1.0000e-05 |
Объекты модели, которые получают покрытие (Simulink Coverage)
Задайте значение для относительного допуска, используемого в реляционных граничных испытаниях. Реляционные граничные цели применяются к блокам, таким как Оператор отношения, которые начинают явную или неявную реляционную операцию. Значение допуска применяется, только если реляционные операции в тех блоках используют операнды с плавающей точкой.
Для целочисленных операндов значение допуска фиксируется в 1.
Для операндов фиксированной точки значение допуска является младшим значащим битом.
Значение по умолчанию: 0.01
Для поддерживаемых блоков реляционные граничные испытания проверяют реляционные операции в блок со значениями операнда, которые отличаются определенным допуском. Программное обеспечение вычисляет значение допуска с помощью следующей формулы
max(absTol, relTol* max(|lhs|,|rhs|))
, где:
absTol
является абсолютным значением допуска, которое можно задать.
relTol
является относительным значением допуска, которое вы задаете.
lhs
является левым операндом и rhs
правильный операнд.
max(x,y)
возвращает x
или y
, какой бы ни больше.
Чтобы ввести значение для этой опции, выберите Include реляционные граничные цели.
Параметр:
DVRelativeTolerance |
Ввод:
double |
Значение: Любое допустимое значение |
Значение по умолчанию: 0.01 |
Объекты модели, которые получают покрытие (Simulink Coverage)
Задайте, использовать ли строгие условия распространения для расширенного анализа MCDC.
Значение по умолчанию: 'off'
Используйте строгое условие распространения для расширенного анализа MCDC.
Не использует строгие условия распространения для расширенного анализа MCDC.
Этот параметр включен, когда вы выбираете Enhanced MCDC
как Model coverage objectives.
Параметр:
DVStrictEnhancedMCDC |
Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Расширьте анализ Simulink Design Verifier путем импорта тестов, регистрируемых от модели тестовой обвязки или имитационной модели с обратной связью.
Значение по умолчанию: 'off'
Расширяет анализ при помощи регистрируемых тестов, заданных в Data file.
Не расширяет анализ.
Когда Simulink Design Verifier сконфигурирован, чтобы применить параметры, заданные в Parameter configuration file, вы не можете использовать опцию Extend existing test cases. Если вы задаете свою модель, чтобы расширить существующие тесты с Data file и применить настройки параметра с Parameter configuration file, когда вы пытаетесь выполнить анализ Simulink Design Verifier, программное обеспечение сообщает, что ваша модель несовместима. Это происходит, потому что существующие тесты не включают соответствующие значения параметров.
Этот параметр включает Data file и Ignore objectives satisfied by existing test cases.
Параметр: DVExtendExistingTests |
Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Задайте папку и имя файла для MAT-файла, который содержит регистрируемые данные о тесте.
Значение по умолчанию: ''
Задайте папку и имя файла для MAT-файла, который содержит регистрируемые данные о тесте в объекте sldvData
.
Нажмите кнопку Browse, чтобы перейти к и выбрать существующий файл.
Когда вы конфигурируете Simulink Design Verifier, чтобы обработать параметры как переменные в его анализе, вы не можете также использовать анализ, чтобы расширить существующие тесты. В Analysis> Design Verifier> Options, если вы задаете свою модель, чтобы расширить существующие тесты с Data file и применить настройки параметра с Parameter configuration file или Таблицей параметров, когда вы пытаетесь выполнить анализ Simulink Design Verifier, программное обеспечение сообщает, что ваша модель несовместима. Это происходит, потому что существующие тесты не включают соответствующие значения параметров.
Параметр: DVExistingTestFile |
Ввод: массив символов |
Значение: любой допустимый путь и имя файла |
Значение по умолчанию: '' |
Просмотрите к MAT-файлу, который содержит регистрируемые данные о тесте.
Эта кнопка включена Extend existing test cases.
Проигнорируйте цели покрытия, удовлетворенные регистрируемыми тестами в Data file.
Значение по умолчанию: на
Генерирует результаты, но исключает цели покрытия, удовлетворенные регистрируемыми тестами в Data file от анализа.
Генерирует результаты для полного тестового набора, включая цели покрытия, удовлетворенные регистрируемыми тестами в Data file.
Параметр: DVIgnoreExistTestSatisfied |
Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'on' |
Задайте, чтобы анализировать модель, игнорируя удовлетворенные цели покрытия, как задано в Coverage data file.
Значение по умолчанию: 'off'
Игнорирует удовлетворенные цели покрытия в Coverage data file во время анализа.
Генерирует результаты для всех целей покрытия, включая тех в Coverage data file.
Этот параметр включает Coverage data file.
Параметр: DVIgnoreCovSatisfied |
Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Задайте папку и имя файла для файла, который содержит данные об удовлетворенных целях покрытия.
Значение по умолчанию: ''
Задайте имя папки и имени файла, которое содержит удовлетворенные данные о целях покрытия
Нажмите кнопку Browse, чтобы выбрать существующий файл MATLAB®.
Параметр: DVCoverageDataFile |
Ввод: массив символов |
Значение: любой допустимый путь и имя файла |
Значение по умолчанию: '' |
Просмотрите к файлу, который содержит данные об удовлетворенных целях покрытия.
Эта кнопка включена Ignore objectives satisfied in existing coverage data.
Задайте, чтобы анализировать модель, игнорируя цели покрытия в Coverage filter file.
Значение по умолчанию: 'off'
Игнорирует цели покрытия в Coverage filter file во время анализа.
Генерирует результаты для всех целей покрытия, включая тех в Coverage filter file.
Этот параметр включает Coverage filter file.
Параметр: DVCovFilter |
Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Фильтрация покрытия (Simulink Coverage)
Задайте папку и имя файла для файла, который содержит цели покрытия, которые вы хотите проигнорировать. Coverage filter file задает объекты модели, чтобы исключить из покрытия модели во время генерации теста.
Значение по умолчанию: ''
Задайте имя папки и имени файла, которое содержит цели покрытия, которые вы хотите проигнорировать.
Нажмите кнопку Browse, чтобы выбрать существующий файл MATLAB.
Параметр: DVCovFilterFileName |
Ввод: массив символов |
Значение: любой допустимый путь и имя файла |
Значение по умолчанию: '' |
Правила фильтра покрытия и файлы (Simulink Coverage)
Просмотрите к файлу, который содержит цели покрытия, которые вы хотите проигнорировать.
Эта кнопка включена Ignore objectives based on filter.