Проект Design Verifier: Генерация тестов

Обзор панели генерации тестов
Цель генерации тестов
Моделируйте цели покрытия
Условия тестирования
Цели тестирования
Максимальные шаги теста
Оптимизация тестового набора
Включите реляционные краевые цели
Абсолютная погрешность с плавающей точкой
Относительная погрешность с плавающей точкой
Используйте строгие условия распространения
Расширение с использованием существующих данных о покрытии
Данные о покрытии
Просмотр
Расширение с использованием существующих тестовых данных
Тестовые данные
Просмотр
Отдельные цели, удовлетворяющие существующим тестам/охвату, данным в отчете

Обзор панели генерации тестов

Задайте опции, которые управляют тем, как 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'

См. также

Расширенный MCDC

Расширение с использованием существующих данных о покрытии

Укажите, следует ли использовать существующие данные покрытия для генерации тестов. 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'

Документация