Основной рабочий процесс для расширенного анализа 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

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

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

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

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

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