Расширенное покрытие MCDC в Simulink Design Verifier

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

Чтобы обнаружить эффект тестового блока при помощи расширенной цели покрытия MCDC, можно рассмотреть стандартную цель покрытия модели тестового блока или можно создать свои собственные пользовательские цели тестирования для анализа. Для получения дополнительной информации смотрите:

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

Используйте покрытия модели для расширенного покрытия MCDC

Для данного тестового блока можно обнаружить эффект на цель покрытия модели от нисходящих блоков. Когда вы генерируете тесты с помощью расширенных целей покрытия модели MCDC, сгенерированные тесты избегают эффекта маскировки от нисходящих блоков. Цель покрытия модели обнаруживается в месте обнаружения.

Рассмотрим эту модель, которая состоит из каскада Switch, Min и Max блоков.

Сгенерированный для расширенного покрытия MCDC тесты гарантируют, что цель принятия решения тестового блока Switch (Simulink Coverage) не маскируется нижестоящими блоками Min и Max. Сгенерированные тесты гарантируют, что эти условия немаскировки для блоков Min и Max удовлетворены:

  1. F < D, гарантирует, что блок Min не замаскирует выход Switch.

  2. G > E, гарантирует, что блок Max не маскирует выход Min.

Цель решения блока Switch и условия немаскировки блоков Min и Max выполняются вдоль пути и обнаруживаются в месте обнаружения (Out1). Для примера путь начинается с выхода сигнала Switch блок, распространяется вдоль блока Min и заканчивается выходным сигналом блока Max (выделен в модели примера).

Расширенные критерии MCDC гарантируют лучшее качество тестов, потому что контрольный пример обнаруживает эффект покрытия модели цели тестового блока в месте обнаружения. Для анализа модели для расширенного анализа MCDC смотрите пример Анализ модели для расширенного анализа MCDC.

Создайте пользовательские цели тестирования для расширенного покрытия MCDC

Расширенный MCDC рассматривает цели покрытия по умолчанию тестового блока, которые обнаруживаются в месте обнаружения. Чтобы проверить статус обнаруживаемости пользовательской цели тестирования, можно создать цель тестирования объекта модели, а затем выполнить расширенный анализ MCDC.

Рассмотрим эту модель, которая состоит из блока Product и блока Min. Блок Product не имеет цели покрытия.

Можно создать пользовательскую цель тестирования для блока Product, чтобы отобразить выходное значение меньше 0 и обнаруживают эффект пользовательской цели тестирования в месте обнаружения.

Дополнительные сведения см. в разделе Рабочий процесс пользовательской Цели тестирования автора.

Похожие темы