Simulink® Coverage™ измеряет покрытие модели и покрытие кода, чтобы указать на непротестированные элементы вашего проекта, такие как логические условия, непредусмотренная функциональность и положения переключателя во время симуляции. Рассмотрите информацию о покрытии для модели в сгенерированных отчетах и в подсвеченных моделях, чтобы идентифицировать недостающее покрытие и перейти к связанным требованиям. Определите, необходимо ли изменить требования, тесты или проект, чтобы удовлетворить целям покрытия.
cvtest | Создайте тестовый объект спецификации покрытия модели |
cvsim | Моделируйте и возвратите результаты покрытия модели для тестовых объектов |
cvhtml | Произведите отчет HTML из объектов покрытия модели |
cvmodelview | Результаты покрытия модели дисплея с образцовой окраской |
executioninfo | Получите информацию о покрытии выполнения из объекта cvdata |
conditioninfo | Получите информацию о покрытии условия из объекта cvdata |
decisioninfo | Получите информацию о Decision Coverage из объекта cvdata |
mcdcinfo | Получите измененную информацию об условии/Decision Coverage из объекта cvdata |
Подтвердите свои образцовые тесты путем измерения, как полностью объекты модели тестируются.
Рабочий процесс набора покрытия модели
Разработайте эффективные тесты с покрытием модели.
В Редакторе Simulink задайте несколько опций записи покрытия.
Метрики покрытия модели обеспечиваются Simulink Coverage.
Просмотрите результаты покрытия в модели
Подсветите элементы модели, чтобы просмотреть результаты покрытия.
Создайте и просмотрите совокупные результаты покрытия для модели с допускающей повторное использование подсистемой.
Соберите совокупное покрытие модели из последовательных выполнений симуляции.
Создайте и запустите тесты при помощи покрытия модели команды MATLAB® cvtest
и cvsim
.
Покрытие для Пользовательского Кода C/C++ в Моделях Simulink
Анализируйте покрытие модели для S-функций C/C++.
Измененное условие и Decision Coverage (MCDC) определения в Simulink Coverage
Описывает определения покрытия MCDC, используемого в Simulink Coverage.
Измененное условие и Decision Coverage в Simulink Design Verifier
Описывает различие между покрытием MCDC в Simulink Design Verifier™ и в Simulink Coverage.
Каскадные шаблоны логического оператора
Эта модель включает различные шаблоны каскадных блоков Логического оператора.
Анализ MCDC для каскадных логических блоков
Этот пример иллюстрирует, как Simulink® Coverage™ записывает метрику MCDC для каскада блоков Логического оператора.
Оптимизация Simulink и покрытие модели
Узнать, как встроенные параметры, сокращение блока и условное входное выполнение ответвления могут влиять на ваши данные о покрытии модели.
Объекты модели, которые получают покрытие
Объекты модели, которые получают покрытие модели во время симуляции.
Объекты модели, которые не получают покрытие
Объекты Simulink, которые не получают покрытие.
Покрытие модели для функций MATLAB
Используйте покрытие модели для блоков MATLAB function и интерпретируйте результаты.
Покрытие модели для диаграмм Stateflow
Определите степень, до которой образцовый тест осуществляет пути к потоку управления симуляции через модель.
Покрытие модели для нескольких экземпляров модели, на которую ссылаются,
Соберите покрытие модели, когда модель имеет блоки многоуровневой модели, которые ссылаются на ту же модель.
Покрытие для MATLAB® Function Blocks
Эта модель в качестве примера объясняет, как Покрытие модели относится к коду MATLAB в блоке MATLAB function.
Этот пример показывает, как сконфигурировать S-функцию, сгенерированную с Legacy Code Tool, чтобы быть совместимым с покрытием.
Насыщение на покрытии целочисленного переполнения
Моделируйте эту модель, чтобы собраться и сообщить, Насыщают на покрытии целочисленного переполнения.