Документация

Данные о покрытии собираются во время симуляции.

Данные о покрытии не собираются во время симуляции.

Данные о покрытии собираются для модели верхнего уровня, а также для всех поддерживаемых подсистем и моделей-ссылок.

Данные о покрытии собираются для одних или нескольких ссылочных моделей. Чтобы задать модели-ссылки, используйте параметр Select Models. Можно также задать саму модель верхнего уровня.

Данные о покрытии собираются для определенной подсистемы. Чтобы задать подсистему, используйте параметр Select Subsystem.

Данные о покрытии собираются для функций MATLAB во внешних файлах MATLAB. Функции могут быть вызваны из блоков MATLAB Function или диаграмм Stateflow в модели.

Данные о покрытии не собираются для внешних файлов MATLAB.

Данные о покрытии собираются для кода C/C + + в блоках S-Function в модели.

Данные о покрытии не собираются для кода C/C + +, используемого в модели.

Анализ вычисляет Decision Coverage во время симуляции

Анализ Decision Coverage проверяет блоки, которые выполняют действие на основе того, вычисляет ли операция true или false. Для образца Abs блок сначала оценивает, меньше ли вход нуля, и действует соответственно. Для каждой операции, которая может быть оценена до значения true или false, анализ сообщает, какая часть результатов была истинной во время симуляции и какая фракция была ложной.

См. «Decision Coverage» (DC).

Анализ вычисляет условие и Decision Coverage во время симуляции.

Анализ покрытия условия проверяет блоки, которые выводят логическую комбинацию их входов (таких как блоки Logical Operator). Для каждого блока анализ записывает, какая часть входов была истинной во время симуляции и какая фракция была ложной.

См. «Покрытие условия» (CC).

Анализ вычисляет Измененное Условие/Покрытие Принятия (MCDC) во время симуляции.

См. Раздел «Изменение условия/покрытие принятия решений» (MCDC).

Анализ проверяет, выполняется ли каждый блок хотя бы один раз во время симуляции.

См. раздел «Покрытие выполнения (EC)».

Блоки с интерполяционными таблицами проверяются на предмет покрытия. A теста достигает полного покрытия интерполяционной таблицы, если он выполняет каждый интервал таблицы хотя бы один раз.

Покрытие интерполяционных таблиц не записано.

Максимальные и минимальные значения сигналов записываются для каждого блока, который имеет выход сигнал.

Информация о диапазоне сигнала не записывается.

Максимальный, минимальный и назначенный размер сигнала записываются для каждого блока, который имеет выходной сигнал переменного размера. См. «Основы сигнала переменного размера».

Информация о размере сигнала не записывается.

С помощью блоков Simulink Design Verifier можно задать цели и ограничения в модели. Чтобы проверить, удовлетворены ли эти цели, вы сначала генерируете тесты, используя эти блоки. Можно выполнить эти тесты на исходной модели и записать, была ли заданная цель удовлетворена хотя бы один раз. Чтобы записать это покрытие, включите этот параметр.

Для получения примера смотрите Покрытие верификатора Simulink Design.

Информация о покрытии не записывается для блоков Simulink Design Verifier.

Для определенных блоков, таких как Abs блок, можно задать, что они должны насыщаться при целочисленном переполнении. Если вы включите этот параметр, регистрируется количество раз, когда эти блоки насыщаются во время симуляции.

Насыщение по информации о целочисленном переполнении не записывается.

Некоторые блоки, такие как Relational Operator или If блок, используют реляционную операцию. Если вы включите этот параметр, анализ покрытия проверяет, выполняются ли эти операции с равными (целым числом) или почти равными (с плавающей точкой) значениями.

Информация о реляционном граничном покрытии не записывается.

Данные о покрытии хранятся в cvdata объект в рабочем пространстве MATLAB. Укажите имя объекта с помощью параметра Last coverage run variable name. Выберите для создания нового объекта для каждого моделирования с помощью параметра Increment variable name с каждой симуляцией.

Данные о покрытии не хранятся в переменном MATLAB.

Новый cvdata объект хранит результаты покрытия для каждой симуляции.

Новое имя переменной создается путем добавления значения счетчика к исходному имени переменной из первой симуляции. Укажите имя исходной переменной с помощью параметра Last coverage run name.

Каждая новая симуляция перезаписывает результаты покрытия от предыдущей симуляции. Одно cvdata объект хранит результаты покрытия из последней симуляции.

Покрытие регистрируется только для заданного временного интервала. Чтобы задать временной интервал, используйте следующие параметры:

Покрытие регистрируется на все длительность симуляции.

Покрытие записывается для каждого поддерживаемого блока в модели. Значение параметра конфигурации <reservedrangesplaceholder0> игнорируется. См. Сокращение блоков.

Покрытие не записывается для блоков, которые эффективно удаляются из модели из-за сокращения блоков. Например, покрытие не записывается для блока, который уменьшается устранением мертвого кода.

Анализ покрытия не рассматривает вход в логическую операцию, которая визуализируется избыточной другим входом.

Анализ покрытия рассматривает все входы в логическую операцию.

Используйте маскирующий анализ MCDC. Чтобы установить независимость входов, маскирование анализа MCDC не требует, чтобы все другие входы были строго постоянными, в то время как один вход изменяется. Поэтому маскирование анализа MCDC позволяет вам удовлетворить большему числу целей в заданной симуляции.

Используйте анализ MCDC с уникальной причиной.

Сообщите предупреждение, когда блоки в модели не поддерживаются для анализа покрытия.

Не сообщайте предупреждение для неподдерживаемых блоков.

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

Данные о покрытии модели не собираются и не сообщаются.

Данные о покрытии собираются для модели верхнего уровня.

Данные о покрытии не собираются для модели верхнего уровня.

Отчет о покрытии обновляется, когда вы останавливаете симуляцию.

Отчет о покрытии не обновляется, когда вы останавливаете симуляцию.

Результаты данных о покрытии сохраняются в файле. Укажите имя файла с помощью параметра Autosave файла данных name.

Результаты данных о покрытии не сохраняются в файле.

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

Чтобы отобразить совокупные данные в одном отчете, используйте параметр Включить совокупные данные в отчет о покрытии. Чтобы сохранить данные в одной переменной рабочей области, используйте параметры Сохранить совокупные результаты покрытия в переменной рабочей области и Имя совокупной переменной покрытия.

Данные о покрытии модели сохраняются только для самой последней симуляции.

В отчете HTML показаны данные о покрытии модели из последующих симуляций.

В отчете HTML показаны данные о покрытии модели из последней симуляции.

Одно cvdata объект хранит данные о покрытии модели из последующих симуляций. См. «Кумулятивные данные покрытия».

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

The cvdata объект хранит данные о покрытии модели из самой последней симуляции.

Покрытие модели будет собрано для моделей в режиме Accelerator.

Покрытие модели не будет собрано для моделей в режиме Accelerator.