Улучшенное покрытие MCDC в Simulink Design Verifier

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

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

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

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

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

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

Тесты, сгенерированные для расширенного покрытия MCDC, гарантируют, что цель решения Переключателя (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.

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

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

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

Похожие темы