Анализ модели для расширенного анализа MCDC
В этом примере показов, как сгенерировать тесты для расширенных целей Modified Условия Decision Coverage (MCDC). Вы генерируете тесты для расширенных целей покрытия MCDC и просматриваете результаты анализа. The sldvEnhancedMCDCExample модель состоит из Switch, Min и Max блоков.
Откройте модель sldvEnhancedMCDCExample.
Чтобы сконфигурировать модель для целей Enhanced MCDC, в диалоговом окне Configuration Parameters, на панели Design 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.
Можно также просмотреть тесты из детального анализа отчета.
Система теста входов
A,B, иCрезультат вF = -1иG = -1. ЗначениеE = -128результаты вH = -1таким образом, влияние цели тестирования обнаруживается в месте обнаруженияOut1. Влияние покрытия модели цели тестового блока не маскируется вдоль пути и обнаруживается вOut1.Чтобы просмотреть детальный анализ отчет, щелкните HTML в Сводные данные Результаты. В разделе «Цели тестирования» перечислены удовлетворенные цели. Цель покрытия, которая обнаруживается в месте обнаружения, суммируется в таблице.
Поле «Цели» в Simulink® Design Verifier™ файлы данных перечисляют статус обнаруживаемости и сайты обнаружения для целей покрытия модели. Для получения дополнительной информации см. Simulink Design Verifier Файлов данных.