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

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

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

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

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

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

Рассмотрите эту модель, которая состоит из каскада Switch, 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.

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

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

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

Похожие темы