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

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

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

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

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

Данные о покрытии собраны для определенной подсистемы. Чтобы задать подсистему, использование параметр Выбирают 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).

Анализ вычисляет Модифицированное Условие/Decision Coverage (MCDC) в процессе моделирования.

Смотрите Модифицированное Условие/Decision Coverage (MCDC).

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

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

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

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

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

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

Максимум, минимальный и выделенный размер сигнала зарегистрирован для каждого блока, который имеет выходной сигнал переменного размера. Смотрите Основы Сигнала Переменного Размера (Simulink).

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

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

Для примера смотрите Покрытие Simulink Design Verifier.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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