Соберите покрытие для моделей
Соберите покрытие в процессе моделирования, чтобы измериться который элементы в вашей модели или Stateflow® графики тестируются. Simulink® Coverage™ измеряет несколько типов покрытия, таких как выполнение, решение, условие и измененное условие/Decision Coverage. Самый основной уровень покрытия определяет, выполняется ли элемент в процессе моделирования, в то время как более обширные уровни покрытия определяют, осуществлены ли отдельные логические условия полностью и независимо влияют на выход логических выражений.
Функции
Темы
Метрики покрытия модели обеспечиваются Simulink Coverage.
Используйте Simulink Coverage, чтобы анализировать вашу модель
Изучите основной рабочий процесс Simulink Coverage.
В настройках модели задайте несколько опций анализа покрытия.
Объекты модели, которые получают покрытие
Объекты модели, которые получают покрытие модели в процессе моделирования.
Объекты модели, которые не получают покрытие
Объекты Simulink, которые не получают покрытие.
Модифицированное условие и Decision Coverage (MCDC) определения в Simulink Coverage
Описывает определения покрытия MCDC, доступного для использования в Simulink Coverage.
Модифицированное условие и Decision Coverage в Simulink Design Verifier
Описывает различие между покрытием MCDC в Simulink Design Verifier™ и в Simulink Coverage.
Оптимизация Simulink и покрытие модели
Узнать, как встроенные параметры, сокращение блока и условное входное выполнение ветви могут влиять на ваши данные о покрытии модели.
Покрытие модели для нескольких экземпляров модели, на которую ссылаются,
Соберите покрытие модели, когда модель имеет блоки многоуровневой модели, которые ссылаются на ту же модель.
Покрытие модели для диаграмм Stateflow
Описывает определение покрытия для элементов в диаграммах Stateflow.
