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

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

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

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

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

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

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

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

Смотрите Измененное Условие/Decision Coverage (MCDC).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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