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

Решение

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 Coverage)..

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).