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