В этом примере показано, как создавать тестовые примеры для расширенных целей решения о модифицированных условиях (MCDC). Создаются тестовые примеры для расширенных целей покрытия MCDC и результатов анализа. sldvEnhancedMCDCExample модель состоит из блоков Switch, Min и Max.
Откройте модель sldvEnhancedMCDUREexample.
Чтобы настроить модель для расширенных целей MCDC, в диалоговом окне «Параметры конфигурации» на панели Design Verifier > Test generation задайте для параметра Цели покрытия модели значение Enhanced MCDC. Нажмите кнопку ОК.
Для создания тестовых примеров на вкладке Design Verifier щелкните Generate Tests (Генерировать тесты).
После завершения анализа в окне Сводка результатов (Results Summary) отображаются обработанные цели и опции для просмотра результатов.
Чтобы выделить результаты анализа, щелкните Подсветить результаты анализа на модели (Highlight analysis results on model).
Для анализа возможности обнаружения целей покрытия модели тестового блока коммутатора нажмите кнопку Switch block.
Результаты показывают, что цели решения блока Switch могут быть обнаружены.
Щелкните Просмотр тестового случая. Откроется модель электрического жгута и отобразится блок Построитель сигналов (Signal Builder). Test case 4.
Можно также просмотреть контрольные примеры из подробного отчета по анализу.
Входные данные тестового случая A, B, и C результат в F = -1 и G = -1. Значение E = -128 результаты в H = -1таким образом, воздействие тестового объекта обнаруживается в месте обнаружения Out1. Воздействие цели покрытия модели тестового блока не маскируется вдоль пути и обнаруживается при Out1.
Чтобы просмотреть подробный отчет об анализе, щелкните HTML в окне Сводка результатов (Results Summary). В разделе Test Targets Status (Состояние целей тестирования) перечислены удовлетворенные цели. Цель покрытия, которая может быть обнаружена в месте обнаружения, суммирована в таблице.
В поле Цели в файлах данных Simulink ® Design Verifier™ перечислены состояние обнаруживаемости и места обнаружения для целей покрытия модели. Дополнительные сведения см. в разделе Файлы данных Simulink Design Verifier.