Этот пример показывает, как сгенерировать тесты для расширенных целей Измененного Decision Coverage условия (MCDC). Вы генерируете тесты для расширенных целей покрытия MCDC и рассматриваете результаты анализа. Модель sldvEnhancedMCDCExample состоит из Переключателя, Min и блоки Max.
Откройте модель sldvEnhancedMCDCExample.
Чтобы сконфигурировать модель для Расширенных целей MCDC, в диалоговом окне Configuration Parameters, на Design Verifier> панель Test generation, устанавливают Model coverage objectives на Enhanced MCDC. Нажмите OK.
Чтобы сгенерировать тесты, выберите Analysis> Design Verifier> Generate Tests> Model.
После того, как анализ завершается, окно Results Summary отображает обработанные цели и опции, чтобы рассмотреть результаты.
Чтобы подсветить результаты анализа, нажмите Highlight analysis results on model.
Чтобы анализировать, обнаруживаемы ли цели покрытия модели тестового блока Переключателя, кликните по блоку switch.
Результаты показывают, что цели решения блока switch обнаруживаемы.
Нажмите View test case. Модель тестовой обвязки открывается, и блок Signal Builder отображает Test case 4.
Можно также просмотреть тесты из отчета детального анализа.
Тест вводит A, B и результат C в F = -1 и G = -1. Значение результатов E = -128 в H = -1, таким образом, влияние цели тестирования обнаруживается на сайте обнаружения Out1. Влияние цели покрытия модели тестового блока не маскируется вдоль пути и обнаруживаемо в Out1.
Чтобы просмотреть отчет детального анализа, нажмите HTML в Сводных данных Результатов. Раздел Test Objectives Status перечисляет удовлетворенные цели. Цель покрытия, которая обнаруживаема на сайте обнаружения, получена в итоге в таблице.
Поле Objectives в файлах данных Simulink® Design Verifier™ перечисляет состояние обнаружительной способности и сайты обнаружения для целей покрытия модели. Нос больше информации, смотрите Файлы данных Simulink Design Verifier.
