Основной рабочий процесс для расширенного анализа MCDC

Сгенерировать тесты для расширенных целей покрытия Модифицированного Decision Coverage условия (MCDC):

На вкладке Design Verifier, в разделе Mode, выбирают Test Generation.
Нажмите Test Generation Settings.
В диалоговом окне Configuration Parameters, на Design Verifier> панель Test Generation, устанавливает Model coverage objectives на Enhanced MCDC. Нажмите OK.
Нажмите Generate Tests.

Примечание

Улучшенный анализ MCDC не поддерживается, когда вы Генерируете Тесты для Сгенерированного кода Embedded Coder. Программное обеспечение рассматривает цели покрытия MCDC для анализа генерации тестов.

Simulink^® Design Verifier™ анализирует модель для Расширенных целей покрытия MCDC.

После того, как анализ завершен:

Программное обеспечение подсвечивает модель с результатами анализа.

Окно Results Inspector отображает сводные данные целей покрытия модели включая состояние обнаружительной способности.

Окно Results Inspector отображает эти состояния обнаружительной способности для цели покрытия модели:

Обнаруживаемый
Не обнаруживаемый
Нерешенный

Таблица приводит возможные комбинации объективного состояния и состояний обнаружительной способности.

Объективное состояние	Состояние обнаружительной способности	Описание теста
Удовлетворенный	Обнаруживаемый	Тест удовлетворяет цели покрытия модели и обнаруживаем на сайте обнаружения.
Удовлетворенный - нуждается в симуляции	Обнаруживаемый	Тест удовлетворяет цели покрытия модели и обнаруживаем на сайте обнаружения. Чтобы подтвердить состояние, которому удовлетворяют, необходимо запустить дополнительные симуляции тестов. Для получения дополнительной информации смотрите Удовлетворенные Цели - Симуляция Потребностей.
Удовлетворенный	Не обнаруживаемый	Тест удовлетворяет цели покрытия модели. Однако цель тестирования не обнаруживаема ни на каком сайте обнаружения.
Удовлетворенный	Нерешенный	Тест удовлетворяет цели покрытия модели. Программное обеспечение не может показать эффект цели покрытия модели на нисходящих блоках.
Невыполнимый	Не обнаруживаемый	Цель тестирования невыполнима и не обнаруживаема на любом сайте обнаружения.
Нерешенный	Нерешенный	Цель тестирования не решена, и программное обеспечение не может показать свой эффект на нисходящих блоках.

Файл данных Simulink Design Verifier хранит состояние обнаружительной способности и сайт обнаружения для целей покрытия модели. Для получения дополнительной информации смотрите, Файлы данных Simulink Design Verifier.

Сконфигурируйте Сайты Обнаружения с помощью Регистрируемых Сигналов с концом теста

Если вы отметите какой-либо сигнал как регистрируемый сигнал с концом теста, Расширенный анализ MCDC приоритизирует такие сигналы как сайты обнаружения для тестовых блоков по мере возможности. Например, считайте модель показанной ниже:

Если вы делаете выход Min блокируйтесь как регистрируемый сигнал с концом теста, сайт обнаружения для блока switch является min выходной порт блока. В противном случае это был бы выходной порт блока насыщения.

portHandle_MinBlk = get_param('model/Min', 'PortHandles’);
set_param(portHandle_MinBlk.Outport, 'TestPoint', 'on’);
set_param(portHandle_MinBlk.Outport, 'DataLogging', 'on’);

Для получения дополнительной информации о тестовых точках смотрите, Конфигурируют Сигналы как Тестовые точки. Для логгирования сигнала относитесь, чтобы Сконфигурировать Сигналы для Логгирования.

Сконфигурируйте расширенные настройки для расширенного анализа MCDC

Чтобы анализировать модель с более строгими условиями немаскирования, включите Использованию строгую опцию условий распространения. Эта опция доступна в диалоговом окне Configuration Parameters, на Design Verifier> панель Test Generation, в Advanced parameters.

Программное обеспечение оценивает более строгие условия немаскирования анализировать эффект на тестовом блоке из нисходящих блоков. Например:

Если ваша модель состоит из Atomic Subsystem с Функцией упаковочный набор опции к Auto или Inline.
Рассмотрите модель, которая состоит из блоков Atomic Subsystem и Switch. Функция упаковочная опция установлена в Auto и вы включаете Использованию строгую опцию условий распространения. Эффект тестового блока Switch обнаруживаем в точке обнаружения Out1.
Когда вы анализируете модель с Использованием строгий набор опции условий распространения к Off, программное обеспечение анализирует модель, пока эффект тестового блока Switch не достигает Atomic Subsystem. Atomic Subsystem является точкой обнаружения.

Если ваша модель состоит из блоков, таких как Gain или Product с набором опции Saturate on integer overflow к On.

Смотрите Расширенный Нож Модели использования Целей MCDC

Можно анализировать улучшенные цели MCDC и их удар на модель при помощи Ножа Модели. В окне Results используйте ссылку Inspect справа от которым удовлетворяют и обнаруживаемых целей.

В качестве альтернативы можно нажать на кнопку Inspect Using Slicer во вкладке Design Verifier.

После запуска Ножа Модели комплекты инструментальных средств вход на основе значений теста, которые относятся к цели, сгенерированной Simulink Design Verifier и шагами ко времени наблюдения, вошел в систему sldvData. Нож модели затем добавляет объект модели, наблюдаемый как начальная точка, и показывает ее удар на точку обнаружения путем выделения среза.

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