Соберите данные о покрытии модели
Simulink® Coverage™ измеряет покрытие модели и покрытие кода, чтобы указать на непротестированные элементы вашего проекта, такие как логические условия, непредусмотренная функциональность и положения переключателя в процессе моделирования. Рассмотрите информацию о покрытии для модели в сгенерированных отчетах и в подсвеченных моделях, чтобы идентифицировать недостающее покрытие и перейти к связанным требованиям. Определите, необходимо ли изменить требования, тесты или проект, чтобы удовлетворить целям покрытия.
Функции
cvtest | Создайте тестовый объект спецификации покрытия модели |
cvsim | Симулируйте и возвратите результаты покрытия модели для тестовых объектов |
cvhtml | Произведите отчет HTML из объектов покрытия модели |
cvmodelview | Результаты покрытия модели дисплея с окраской модели |
executioninfo | Получите информацию о покрытии выполнения из cvdata объект |
conditioninfo | Получите информацию о покрытии условия из cvdata объект |
decisioninfo | Получите информацию о Decision Coverage из cvdata объект |
mcdcinfo | Получите измененную информацию об условии/Decision Coverage из cvdata объект |
Темы
Основы покрытия модели
Подтвердите свои тесты модели путем измерения, как полностью объекты модели тестируются.
Simulink Coverage в сквозной систематической верификации
Узнать, как Simulink Coverage помогает вам увеличить доверие к своему проекту посредством сквозной систематической верификации.
В Редакторе Simulink задайте несколько опций записи покрытия.
Задайте аналитические опции Simulink Coverage.
Метрики покрытия модели обеспечиваются 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, чтобы быть совместимым с покрытием.
Насыщение на покрытии целочисленного переполнения
Симулируйте эту модель, чтобы собраться и сообщить, Насыщают на покрытии целочисленного переполнения.
