exponenta event banner

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Можно создать пользовательскую цель теста для блока «Изделие» для визуализации выходного значения меньше 0 и обнаруживают эффект пользовательского тестового объекта в месте обнаружения.

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

Связанные темы