Панель верификатора проекта: генерация тестов

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

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

Задайте опции, которые управляют, как 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). Когда вы выбираете MCDC, Simulink Design Verifier автоматически включает каждую цель покрытия для покрытия условия и решения. Для получения дополнительной информации см. MCDC.
Enhanced MCDC: Генерирует тесты, которые достигают улучшенного покрытия MCDC. Когда вы выбираете Enhanced MCDC, Simulink 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

On: Для поддерживаемых блоков, генерирует тесты, чтобы удовлетворить реляционным граничным целям.
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, какой бы ни больше.

Зависимости

Чтобы ввести значение для этой опции, выберите Include реляционные граничные цели.

Информация о командной строке

Параметр: 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, какой бы ни больше.

Зависимости

Чтобы ввести значение для этой опции, выберите Include реляционные граничные цели.

Информация о командной строке

Параметр: DVRelativeTolerance

Ввод: double

Значение: Любое допустимое значение

Значение по умолчанию: 0.01

Смотрите также

Реляционный контур
Объекты модели, которые получают покрытие (Simulink Coverage)

Используйте строгие условия распространения

Задайте, использовать ли строгие условия распространения для расширенного анализа MCDC.

Настройки

Значение по умолчанию: Off

On: Используйте строгое условие распространения для расширенного анализа MCDC.
Off: Не использует строгие условия распространения для расширенного анализа MCDC.

Зависимость

Этот параметр включен, когда вы выбираете Enhanced MCDC как Model coverage objectives.

Информация о командной строке

Параметр: DVStrictEnhancedMCDC

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'off'

Смотрите также

Улучшенный MCDC

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

Задайте, использовать ли ваши существующие данные о покрытии для генерации тестов. Simulink Design Verifier генерирует тесты для целей, не покрытых вашими существующими данными о покрытии.

Настройки

Значение по умолчанию: Off

On: Расширьте покрытие в Coverage data путем генерации дополнительных тестов.
Off: Анализ игнорирует существующий Coverage data.

Информация о командной строке

Параметр: DVIgnoreCovSatisfied

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'off'

Данные о покрытии

Задайте папку и имя файла для файла, который содержит данные о целях покрытия, которым удовлетворяют.

Настройки

Значение по умолчанию: ''

Задайте папку и имя файла для файла, который содержит данные о целях покрытия, которым удовлетворяют.
Нажмите Browse, чтобы перейти к и выбрать существующий файл.

Информация о командной строке

Параметр: DVCoverageDataFile

Ввод: массив символов

Значение: любой допустимый путь и имя файла

Значение по умолчанию: ''

Обзор

Просмотрите к файлу, который содержит данные о целях покрытия, которым удовлетворяют.

Зависимости

Чтобы включить этот параметр, выберите Extend using existing coverage data.

Смотрите также

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

Задайте, расширить ли набор сгенерированных тестов в Simulink Design Verifier путем импорта ранее сгенерированных тестов, тесты, регистрируемые от модели тестовой обвязки или имитационной модели с обратной связью.

Настройки

Значение по умолчанию: Off

On: Используйте тесты, заданные в Test data, чтобы расширить набор сгенерированных тестов.
Off: Анализ игнорирует существующий Test data.

Информация о командной строке

Параметр: DVExtendExistingTests

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'off'

Тестовые данные

Задайте папку и имя файла для MAT-файла, который содержит сгенерированные или регистрируемые данные о тесте.

Настройки

Значение по умолчанию: ''

Задайте папку и имя файла для MAT-файла, который содержит регистрируемые данные о тесте в sldvData объект.
Нажмите Browse, чтобы перейти к и выбрать существующий файл.

Информация о командной строке

Параметр: DVExistingTestFile

Ввод: массив символов

Значение: любой допустимый путь и имя файла

Значение по умолчанию: ''

Обзор

Просмотрите к MAT-файлу, который содержит сгенерированные или регистрируемые данные о тесте.

Зависимости

Чтобы включить этот параметр, выберите Extend using existing test data.

Смотрите также

Отдельные цели, удовлетворенные существующими данными о тестах/покрытии в отчете

Задайте, разделить ли состояния цели тестирования, которым удовлетворяют существующие тесты или данные о покрытии из расширенного покрытия и тестовых данных в аналитическом отчете.

Настройки

Значение по умолчанию: On

On: Генерирует аналитический отчет, где существующие тесты и данные о покрытии являются отдельными от расширенного теста и данных о покрытии.
Off: Генерирует отчет, который комбинирует существующее и расширенное покрытие и тестовые данные.

Информация о командной строке

Параметр: DVIgnoreExistTestSatisfied

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'on'

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