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

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

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

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

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

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

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

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

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

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

Анализ вычисляет покрытие принятия решений во время моделирования

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

См. раздел Покрытие решений (DC).

Анализ вычисляет покрытие условий и принятия решений во время моделирования.

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

См. раздел Покрытие условий (CC).

Анализ вычисляет модифицированное условие/покрытие принятия решений (MCDC) во время моделирования.

См. раздел Модифицированное условие/Покрытие принятия решений (MCDC).

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

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

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

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

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

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

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

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

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

Пример см. в разделе Покрытие Simulink Design Verifier.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

HTML-отчет показывает данные покрытия модели из последнего моделирования.

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

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

cvdata объект хранит данные покрытия модели из последнего моделирования.

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

Охват модели не будет собираться для моделей в режиме ускорителя.