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

Решение

Decision Coverage в Simulink^® Design Verifier™ исследует блоки и Stateflow^® состояния, которые представляют точки принятия решений в модели. Для образца блок Switch включает в себя решение о том, является ли вход управления больше порога значения. Для получения дополнительной информации смотрите Объекты модели, которые получают покрытие ( Simulink Coverage).

Чтобы включить Decision Coverage, в разделе Design Verifier > Test Generation, для Model coverage objectives, выберите один из следующих:

Для каждого решения в вашей модели Simulink Design Verifier генерирует тесты, которые удовлетворяют цели покрытия. Для получения дополнительной информации см. Decision Coverage (DC) (Simulink Coverage).

Состояние

Покрытие условия исследует блоки, которые выводят логическую комбинацию их входов и переходов Stateflow. Для получения дополнительной информации смотрите Объекты модели, которые получают покрытие ( Simulink Coverage).

Чтобы включить покрытие условия, в разделе Design Verifier > Test Generation, для Model coverage objectives выберите один из следующих вариантов:

Для каждого входа в логический блок и каждого условия в переходе Simulink Design Verifier генерирует тесты, которые удовлетворяют цели покрытия. Для получения дополнительной информации смотрите Покрытие условия (CC) (Покрытие Simulink).

MCDC

Изменённое условие Decision Coverage исследует блоки, которые выводят логическую комбинацию их входов и переходов Stateflow. Для получения дополнительной информации смотрите Объекты модели, которые получают покрытие ( Simulink Coverage).

Чтобы включить покрытие MCDC, в разделе Design Verifier > Test Generation, для Model coverage objectives, выберите MCDC.

Для каждого входа в логический блок и каждого условия в переходе Simulink Design Verifier генерирует тесты, которые удовлетворяют цели покрытия. Для получения дополнительной информации смотрите Покрытие MCDC для диаграмм Stateflow (Simulink Coverage).

Для получения информации о том, как генерация тестов MCDC в Simulink Design Verifier может отличаться от покрытия MCDC, записанного Simulink Coverage™, смотрите Измененное условие и Decision Coverage в Simulink Design Verifier.

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

Расширенный MCDC является расширением модифицированного Decision Coverage о условии. Для тестового блока расширенный MCDC генерирует тесты, которые избегают эффектов маскировки из нисходящих блоков, так что тестовый блок влияет на выход.

Чтобы включить расширенное покрытие MCDC, в разделе Design Verifier > Test Generation, для Model coverage objectives, выберите Enhanced MCDC. Для получения дополнительной информации смотрите Расширенное покрытие MCDC в Simulink Design Verifier.

Реляционный контур

Реляционный краевой охват исследует блоки, которые имеют явную или неявную реляционную операцию и переходы Stateflow. Для получения дополнительной информации смотрите Объекты модели, которые получают покрытие ( Simulink Coverage). Генерация тестов для реляционного покрытия границ не поддерживается для блоков If и Fcn.

Чтобы включить реляционный охват границы, в разделе Design Verifier > Test Generation, выберите Include relational boundary objectives.

Для каждой реляционной операции в модели Simulink Design Verifier генерирует тесты, которые удовлетворяют цели покрытия. Для получения дополнительной информации смотрите Реляционный граничный охват (Simulink Coverage).