Укажите параметры, управляющие тем, как 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Создает тестовые примеры, которые обеспечивают покрытие принятия решений. Дополнительные сведения см. в разделе Решение.
Condition DecisionСоздает тестовые примеры, которые обеспечивают покрытие условий и принятия решений. Дополнительные сведения см. в разделе Условие.
MCDCСоздает тестовые примеры, достигающие модифицированного покрытия принятия решения об условиях (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 cases steps значение, достаточно большое для ограничения самого длинного требуемого тестового случая, даже если генерируемые в конечном итоге тестовые случаи длиннее этого значения.
При указании LongTestcases для параметра оптимизации Test suite анализ использует последовательные проходы формирования теста, чтобы расширить потенциальный тестовый случай так, чтобы он удовлетворял большему количеству задач. Когда это происходит, анализ применяет параметр Максимальное число шагов теста к каждой отдельной итерации создания теста.
По умолчанию: 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' |
Укажите создание тестовых примеров, удовлетворяющих целям реляционных границ. Цель применяется к блокам, таким как реляционный оператор, которые имеют явную или неявную реляционную операцию. Тесты проверяют реляционные операции в этих блоках с помощью:
Равные значения операндов для целых и фиксированных операндов.
Значения операндов в пределах определенного допуска для всех операндов. Для целочисленных операндов и операндов с фиксированной точкой допуск фиксирован. Для операндов с плавающей запятой допуск вычисляется с использованием входных значений и заданного значения допуска. Если значение допуска не указано, используются значения по умолчанию.
По умолчанию: Откл.
НаДля поддерживаемых блоков создает тестовые примеры в соответствии с целями реляционных границ.
ПрочьИгнорирует реляционные граничные цели для генерации тестовых примеров.
При выборе этой опции можно использовать значения по умолчанию или указать значения для:
Параметр:
DVIncludeRelationalBoundary |
| Тип: символьный массив |
Значение:
'on'|'off' |
По умолчанию:
'off' |
Укажите значение абсолютного допуска, используемого в реляционных граничных тестах. Реляционные граничные цели применяются к блокам, таким как реляционный оператор, которые имеют явную или неявную реляционную операцию. Значение допуска применяется только в том случае, если реляционные операции в этих блоках используют операнды с плавающей запятой.
Для целочисленных операндов значение допуска фиксировано в 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)
Укажите значение относительного допуска, используемого в реляционных граничных тестах. Реляционные граничные цели применяются к блокам, таким как реляционный оператор, которые имеют явную или неявную реляционную операцию. Значение допуска применяется только в том случае, если реляционные операции в этих блоках используют операнды с плавающей запятой.
Для целочисленных операндов значение допуска фиксировано в 1.
Для операндов с фиксированной точкой значение допуска является младшим разрядом.
По умолчанию: 0,01
Для поддерживаемых блоков реляционные граничные тесты проверяют реляционные операции в блоке со значениями операндов, которые отличаются определенным допуском. Программа вычисляет значение допуска по следующей формуле:
max(absTol, relTol* max(|lhs|,|rhs|)), где:
absTol - абсолютное значение допуска, которое можно задать.
relTol - указанное значение относительного допуска.
lhs - левый операнд и rhs правильный операнд.
max(x,y) прибыль x или y, в зависимости от того, что больше.
Чтобы ввести значение для этой опции, выберите Включить реляционные граничные цели.
Параметр:
DVRelativeTolerance |
Тип:
double |
| Значение: любое допустимое значение |
| По умолчанию: 0,01 |
Объекты модели, получающие покрытие (покрытие Simulink)
Укажите, следует ли использовать строгие условия распространения для расширенного анализа MCDC.
По умолчанию: Откл.
НаИспользуйте условие строгого распространения для расширенного анализа MCDC.
ПрочьНе использует строгие условия распространения для расширенного анализа MCDC.
Этот параметр включается при выборе Enhanced MCDC в качестве целей модельного покрытия.
Параметр:
DVStrictEnhancedMCDC |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Укажите, следует ли использовать существующие данные покрытия для генерации теста. Simulink Design Verifier генерирует тестовые примеры для целей, не охваченных существующими данными покрытия.
По умолчанию: Откл.
НаРасширение покрытия в данных покрытия путем создания дополнительных тестовых случаев.
ПрочьАнализ игнорирует существующие данные покрытия.
Параметр:
DVIgnoreCovSatisfied |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Укажите папку и имя файла, содержащего данные о целях покрытия.
По умолчанию:
''
Укажите папку и имя файла, содержащего удовлетворяющие требованиям целевые данные покрытия.
Нажмите кнопку Обзор (Browse), чтобы перейти к существующему файлу и выбрать его.
Параметр:
DVCoverageDataFile |
| Тип: символьный массив |
| Значение: любой допустимый путь и имя файла |
По умолчанию:
'' |
Перейдите к файлу покрытия, содержащему данные о удовлетворенных целях покрытия.
Для включения этого параметра выберите Extend using existing coverage data.
Определите, расширить ли набор произведенных прецедентов в Свидетельстве Дизайна Simulink, импортировав ранее произведенные прецеденты, прецеденты, зарегистрированные из модели ремня безопасности или модели моделирования с обратной связью.
По умолчанию: Откл.
НаИспользуйте тестовые примеры, указанные в тестовых данных, для расширения набора сгенерированных тестовых примеров.
ПрочьАнализ игнорирует существующие данные теста.
Параметр:
DVExtendExistingTests |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Укажите папку и имя файла для MAT-файла, содержащего сгенерированные или зарегистрированные данные тестового случая.
По умолчанию:
''
Укажите папку и имя файла MAT, который содержит записанные в журнал данные контрольного случая в sldvData объект.
Нажмите кнопку Обзор (Browse), чтобы перейти к существующему файлу и выбрать его.
Параметр:
DVExistingTestFile |
| Тип: символьный массив |
| Значение: любой допустимый путь и имя файла |
По умолчанию:
'' |
Перейдите к MAT-файлу, который содержит сгенерированные или зарегистрированные данные тестового случая и данные о удовлетворенных целях покрытия.
Для включения этого параметра выберите Extend using existing test data.
Укажите, следует ли отделять целевые статусы тестирования, удовлетворяющие существующим тестам или данным покрытия, от данных расширенного покрытия и данных тестирования в отчете об анализе.
По умолчанию: Вкл.
НаСоздает аналитический отчет, в котором существующие тесты и данные покрытия отделены от данных расширенного тестирования и покрытия.
ПрочьСоздание отчета, объединяющего существующие и расширенные данные покрытия и тестирования.
Параметр:
DVIgnoreExistTestSatisfied |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'on' |