Основной рабочий процесс для расширенного анализа 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 с Функцией упаковочный набор опции к
AutoилиInline.Рассмотрите модель, которая состоит из блоков Atomic Subsystem и Switch. Функция упаковочная опция установлена в
Autoи вы включаете Использованию строгую опцию условий распространения. Эффект тестового блока Switch обнаруживаем в точке обнаруженияOut1.
Когда вы анализируете модель с Использованием строгий набор опции условий распространения к
Off, программное обеспечение анализирует модель, пока эффект тестового блока Switch не достигает Atomic Subsystem. Atomic Subsystem является точкой обнаружения.
Если ваша модель состоит из блоков, таких как Gain или Product с набором опции Saturate on integer overflow к
On.