Сгенерировать тесты для расширенных целей покрытия Измененного Decision Coverage условия (MCDC):
В Редакторе Simulink® выберите Analysis> Design Verifier> Options.
В диалоговом окне Configuration Parameters, на Design Verifier> панель Test Generation, устанавливает Model coverage objectives на Enhanced MCDC
.
В Редакторе Simulink выберите Analysis> Design Verifier> Generate Tests> Model.
Улучшенный анализ MCDC не поддержан, когда вы Генерируете Тесты для Сгенерированного кода Embedded Coder. Программное обеспечение рассматривает цели покрытия MCDC для анализа генерации тестов.
Simulink Design Verifier™ анализирует модель для Расширенных целей покрытия MCDC.
После того, как анализ завершен:
Программное обеспечение подсвечивает модель с результатами анализа.
Окно Results Inspector отображает сводные данные целей покрытия модели включая состояние обнаружительной способности.
Окно Results Inspector отображает эти состояния обнаружительной способности для цели покрытия модели:
Обнаруживаемый
Не обнаруживаемый
Нерешенный
Таблица приводит возможные комбинации объективного состояния и состояний обнаружительной способности.
Объективное состояние | Состояние обнаружительной способности | Описание теста |
---|---|---|
Удовлетворенный | Обнаруживаемый | Тест удовлетворяет цель покрытия модели и обнаруживаем на сайте обнаружения. |
Удовлетворенный - нуждается в симуляции | Обнаруживаемый | Тест удовлетворяет цель покрытия модели и обнаруживаем на сайте обнаружения. Чтобы подтвердить удовлетворенное состояние, необходимо запустить дополнительные симуляции тестов. Для получения дополнительной информации смотрите Удовлетворенные Цели - Симуляция Потребностей. |
Удовлетворенный | Не обнаруживаемый | Тест удовлетворяет цель покрытия модели. Однако цель тестирования не обнаруживаема ни на каком сайте обнаружения. |
Удовлетворенный | Нерешенный | Тест удовлетворяет цель покрытия модели. Программное обеспечение не может показать эффект цели покрытия модели на нисходящих блоках. |
Невыполнимый | Не обнаруживаемый | Цель тестирования невыполнима и не обнаруживаема на любом сайте обнаружения. |
Нерешенный | Нерешенный | Цель тестирования не решена, и программное обеспечение не может показать свой эффект на нисходящие блоки. |
Файл данных Simulink Design Verifier хранит состояние обнаружительной способности и сайт обнаружения для целей покрытия модели. Для получения дополнительной информации смотрите, Файлы данных Simulink Design Verifier.
Чтобы анализировать модель с более строгими условиями немаскирования, включите Использованию строгую опцию условий распространения. Эта опция доступна в диалоговом окне Configuration Parameters, на Design Verifier> панель Test Generation, в Advanced parameters.
Программное обеспечение оценивает более строгие условия немаскирования анализировать эффект на тестовый блок от нисходящих блоков. Например:
Если ваша модель состоит из Атомарной подсистемы с Функцией, упаковочной (Simulink) набор опции к Auto
или Inline
.
Рассмотрите модель, которая состоит из блоков Переключателя и Атомарной подсистемы. Функция, упаковочная (Simulink), опция установлена в Auto
и вы включаете Использованию строгую опцию условий распространения. Эффект тестового блока Переключателя обнаруживаем в точке обнаружения Out1
.
Когда вы анализируете модель с Использованием строгий набор опции условий распространения к Off
, программное обеспечение анализирует модель, пока эффект тестового блока Переключателя не достигает Атомарной подсистемы. Атомарная подсистема является точкой обнаружения.
Если ваша модель состоит из блоков, таких как Усиление или продукт с набором опции Saturate on integer overflow
к On
.