Соберите данные о покрытии модели

Измерьте покрытие модели, чтобы указать на непротестированные элементы вашего проекта в процессе моделирования

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.

Просмотрите результаты покрытия в модели

Подсветите элементы модели, чтобы просмотреть результаты покрытия.

Получите совокупное покрытие для допускающих повторное использование подсистем и Stateflow® Constructs

Создайте и просмотрите совокупные результаты покрытия для модели с допускающей повторное использование подсистемой.

Совокупные данные о покрытии

Соберите совокупное покрытие модели из последовательных запусков симуляции.

Создайте и запущенные тесты

Создайте и запустите тесты при помощи покрытия модели команды 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-функций

В этом примере показано, как сконфигурировать S-функцию, сгенерированную с Legacy Code Tool, чтобы быть совместимым с покрытием.

Насыщение на покрытии целочисленного переполнения

Симулируйте эту модель, чтобы собраться и сообщить, Насыщают на покрытии целочисленного переполнения.

Рекомендуемые примеры

Для просмотра документации необходимо авторизоваться на сайте