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