Задайте опции, которые управляют тем, как Simulink® Design Verifier™ генерирует тесты для моделей, которые он анализирует.
Укажите цель для генерации тестов.
По умолчанию:
Model генерирует тесты для модели.
Code Generated as Top Model генерирует код для цели как верхней модели с последующей генерацией тестов с использованием сгенерированного кода.
Code Generated as Model Reference генерирует код для цели как модель-ссылку с последующей генерацией тестов с использованием сгенерированного кода.
Параметр:
DVTestgenTarget |
| Тип: символьный массив |
Значение:
'Model''GenCodeTopModel' | 'GenCodeModelRef' | |
Укажите тип покрытия модели, которого пытается достичь Simulink Design Verifier.
По умолчанию: Condition Decision
NoneГенерирует тесты, которые достигают только пользовательских целей, заданных в модели, используя, например, блоки Цель Тестирования.
DecisionГенерирует тесты, которые достигают Decision Coverage. Для получения дополнительной информации смотрите Решение.
Condition DecisionГенерирует тесты, которые достигают условия и Decision Coverage. Для получения дополнительной информации см. Условие.
MCDCГенерирует тесты, которые достигают модифицированного Decision Coverage о условии (MCDC). Когда вы выбираете MCDCSimulink Design Verifier автоматически включает каждую цель покрытия для покрытия принятия решения и условия. Для получения дополнительной информации см. MCDC.
Enhanced MCDCГенерирует тесты, которые достигают расширенного покрытия MCDC. Когда вы выбираете Enhanced MCDCSimulink Design Verifier автоматически включает покрытие MCDC. Для получения дополнительной информации смотрите Расширенный MCDC.
Параметр: DVModelCoverageObjectives |
| Тип: символьный массив |
Значение:
'None''Decision' | 'ConditionDecision' | 'MCDC'| 'EnhancedMCDC' |
По умолчанию: 'ConditionDecision' |
Укажите, включены ли или отключены блоки Test Condition в модели.
По умолчанию: Use local settings
Use local settingsВключает или отключает блоки Test Condition зависимости от значения параметра Enable каждого блока. Если выбран Enable параметр блока, блок активируется; в противном случае блок отключен.
Enable allВключает все блоки Test Condition в модели независимо от настроек их параметров Enable.
Disable allОтключает все блоки Test Condition в модели независимо от настроек их параметров Enable.
Параметр: DVTestConditions |
| Тип: символьный массив |
Значение: 'UseLocalSettings' | 'EnableAll' | 'DisableAll' |
По умолчанию: 'UseLocalSettings' |
Укажите, включены ли или отключены блоки Test Objective в модели.
По умолчанию: Use local settings
Use local settingsВключает или отключает блоки Test Objective зависимости от значения параметра Enable каждого блока. Если выбран Enable параметр блока, блок активируется; в противном случае блок отключен.
Enable allВключает все блоки Test Objective в модели независимо от настроек их параметров Enable.
Disable allОтключает все блоки Test Objective в модели независимо от настроек их параметров 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' |
Задайте генерацию тестов, которые удовлетворяют реляционным краевым целям. Цель относится к таким блокам, как Relational Operator, которые имеют явную или неявную реляционную операцию. Тесты проверяют реляционные операции в этих блоках с:
Равные значения операнда для целого числа и операндов с фиксированной точкой.
Значения операнда в пределах определенного допуска для всех операндов. Для целочисленных и фиксированных операндов допуск фиксирован. Для операндов с плавающей точкой допуск вычисляется с помощью входов и заданного значения допуска. Если вы не задаете значение допуска, используются значения по умолчанию.
По умолчанию: Off
НаДля поддерживаемых блоков генерирует тесты, чтобы удовлетворить реляционным краевым целям.
ПрочьИгнорирует реляционные краевые цели для генерации тестов.
Если вы выбираете эту опцию, можно использовать значения по умолчанию или задать значения для:
Параметр:
DVIncludeRelationalBoundary |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Задайте значение абсолютной погрешности, используемого в реляционных граничных тестах. Реляционные краевые цели применяются к блокам, таким как Relational Operator, которые имеют явную или неявную реляционную операцию. Значение допуска применяется только, если реляционные операции в этих блоках используют операнды с плавающей точкой.
Для целочисленных операндов значение допуска фиксируется на уровне 1.
Для операндов с фиксированной точкой значение допуска является наименее значимым битом.
Дефолт: 1.0000e-05
Для поддерживаемых блоков реляционные краевые тесты проверяют реляционные операции в блоке со значениями операнда, которые отличаются определенным допуском. Программа вычисляет значение допуска по следующей формуле
max(absTol, relTol* max(|lhs|,|rhs|)), где:
absTol - абсолютная погрешность значение, которое вы задаете.
relTol является относительная погрешность значением, которое можно задать.
lhs - левый операнд и rhs правый операнд.
max(x,y) возвращает x или y, в зависимости от того, что больше.
Чтобы ввести значение для этой опции, выберите Включить реляционные краевые цели.
Параметр:
DVAbsoluteTolerance |
Тип:
double |
| Значение: Любое допустимое значение |
| Дефолт: 1.0000e-05 |
Объекты модели, которые получают покрытие ( Simulink Coverage)
Задайте значение относительной погрешности, используемого в реляционных граничных тестах. Реляционные краевые цели применяются к блокам, таким как Relational Operator, которые имеют явную или неявную реляционную операцию. Значение допуска применяется только, если реляционные операции в этих блоках используют операнды с плавающей точкой.
Для целочисленных операндов значение допуска фиксируется на уровне 1.
Для операндов с фиксированной точкой значение допуска является наименее значимым битом.
По умолчанию: 0.01
Для поддерживаемых блоков реляционные краевые тесты проверяют реляционные операции в блоке со значениями операнда, которые отличаются определенным допуском. Программа вычисляет значение допуска по следующей формуле
max(absTol, relTol* max(|lhs|,|rhs|)), где:
absTol является абсолютная погрешность значением, которое можно задать.
relTol - относительная погрешность значение, которое вы задаете.
lhs - левый операнд и rhs правый операнд.
max(x,y) возвращает x или y, в зависимости от того, что больше.
Чтобы ввести значение для этой опции, выберите Включить реляционные краевые цели.
Параметр:
DVRelativeTolerance |
Тип:
double |
| Значение: Любое допустимое значение |
| По умолчанию: 0.01 |
Объекты модели, которые получают покрытие ( Simulink Coverage)
Укажите, использовать ли строгие условия распространения для расширенного анализа MCDC.
По умолчанию: Off
НаИспользуйте строгое условие распространения для расширенного анализа MCDC.
ПрочьНе использует строгие условия распространения для расширенного анализа MCDC.
Этот параметр активируется, когда вы выбираете Enhanced MCDC как Model coverage objectives.
Параметр:
DVStrictEnhancedMCDC |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Укажите, следует ли использовать существующие данные покрытия для генерации тестов. Simulink Design Verifier генерирует тесты для целей, не охваченных вашими существующими данными о покрытии.
По умолчанию: Off
НаРасширение охвата в Coverage data путем генерации дополнительных тестов.
ПрочьАнализ игнорирует существующие Coverage data.
Параметр:
DVIgnoreCovSatisfied |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Укажите папку и имя файла для файла, содержащего данные о удовлетворенных целях покрытия.
По умолчанию:
''
Укажите папку и имя файла для файла, содержащего удовлетворенные данные о целях покрытия.
Щелкните Browse, чтобы перейти к и выбрать существующий файл.
Параметр:
DVCoverageDataFile |
| Тип: символьный массив |
| Значение: любой допустимый путь и имя файла |
По умолчанию:
'' |
Перейдите к файлу покрытия, который содержит данные о удовлетворенных целях покрытия.
Чтобы включить этот параметр, выберите Extend using existing coverage data.
Определите, расширить ли набор произведенных тестов в Simulink Design Verifier, импортировав ранее произведенные тесты, тесты, зарегистрированные от модели тестовой обвязки или модели симуляции с обратной связью.
По умолчанию: Off
НаИспользуйте тесты, указанные в Test data, чтобы расширить набор сгенерированных тестов.
ПрочьАнализ игнорирует существующие Test data.
Параметр:
DVExtendExistingTests |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Укажите папку и имя файла для MAT-файла, который содержит сгенерированные или записанные тесты.
По умолчанию:
''
Укажите папку и имя файла для MAT-файла, который содержит записанные данные теста в sldvData объект.
Щелкните Browse, чтобы перейти к и выбрать существующий файл.
Параметр:
DVExistingTestFile |
| Тип: символьный массив |
| Значение: любой допустимый путь и имя файла |
По умолчанию:
'' |
Перейдите к MAT-файлу, который содержит сгенерированные или записанные данные теста и данные о удовлетворенных целях покрытия.
Чтобы включить этот параметр, выберите Extend using existing test data.
Укажите, следует ли отделять статусы целей тестирования, которые удовлетворяются существующими тестами или данными о покрытии, от расширенного покрытия и тестовых данных в отчете об анализе.
По умолчанию: On
НаГенерирует отчет об анализе, в котором существующие тесты и данные о покрытии являются отдельными от расширенных данных о тесте и покрытии.
ПрочьГенерирует отчет, который объединяет существующие и расширенные данные о покрытии и тестовые данные.
Параметр:
DVIgnoreExistTestSatisfied |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'on' |