Документация

Откройте модель 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.