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

Брюшной пресс

Блок Abs принимает покрытие принятия решения. Охват принятия решений основывается на:

Для ввода в блок, который меньше нуля, покрытие принятия решения измеряет:

Если выбрать метрику Saturate on integer overflow coverage, блок Abs получит значение abrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением.

Если входным типом данных для блока Abs является uint8, uint16, или uint32программное обеспечение Simulink Coverage™ сообщает об отсутствии покрытия для блока. Программное обеспечение устанавливает выход блока равным входу блока без принятия решения. Если входной тип данных блока Abs является логическим, возникает ошибка.

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

Уклон

Если выбрана метрика Saturate on integer overflow coverage, блок Bidance получает значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением.

Комбинаторная логика

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

Покрытие условий измеряет количество временных шагов, в течение которых каждый вход имеет значение false (равно нулю), и количество раз, когда каждый вход имеет значение true (не равно нулю). Если блок комбинаторной логики имеет один входной элемент, программное обеспечение Simulink Coverage сообщает только о покрытии решений, поскольку покрытие решений и условий эквивалентно.

Если все значения таблицы истинности заданы для вывода блока по меньшей мере в течение одного временного шага, охват принятием решения составляет 100%. В противном случае программное обеспечение сообщает о покрытии как о количестве значений таблицы истинности, выводимых в течение по меньшей мере одного шага времени, деленном на общее количество значений таблицы истинности. Поскольку этот блок всегда имеет, по крайней мере, одно значение в таблице истинности в качестве выходного значения, минимальный сообщаемый охват делится на общее число значений таблицы истинности.

Если все входы блока являются ложными по меньшей мере для одного временного шага и истинными по меньшей мере для одного временного шага, покрытие условия составляет 100%. В противном случае программное обеспечение сообщает о покрытии как о достижении ложного значения на каждом входе в течение, по меньшей мере, одного временного шага, плюс достижение истинного значения в течение, по меньшей мере, одного временного шага, деленного на два, возведенные в степень от общего числа входов (то есть 2 числа входов). Минимальный сообщаемый охват - это общее количество входов, деленное на два, увеличенное до мощности общего количества входов.

Сравнить с константой

Блок Compare to Constant получает покрытие условий.

Показатели покрытия условий:

Блок сравнения с константой содержит сравнение входных данных с константой. Поэтому при выборе метрики покрытия «Реляционная граница» блок «Сравнить с константой» получает покрытие реляционной границы. Дополнительные сведения см. в разделе Покрытие реляционных границ.

Сравнить с нулем

Блок сравнения с нулем получает покрытие условий.

Показатели покрытия условий:

Блок Сравнить с нулем (Compare to Zero) содержит сравнение входных данных с нулем. Поэтому при выборе метрики покрытия «Реляционная граница» блок «Сравнить с нулем» получает покрытие реляционной границы. Дополнительные сведения см. в разделе Покрытие реляционных границ.

Преобразование типа данных

Если выбрана метрика Saturate on integer overflow coverage, блок Data Type Conversion получает значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением.

Мертвая зона

Блок мертвой зоны получает покрытие для принятия решения. Программное обеспечение Simulink Coverage сообщает о покрытии решений по следующим параметрам:

Параметр Start of dead zone определяет нижнюю границу зоны нечувствительности. Для параметра Start of dead zone (Начало зоны нечувствительности) принимаются следующие меры:

Параметр Конец мертвой зоны определяет верхний предел мертвой зоны. Для конца мертвой зоны меры по покрытию решений:

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

Если выбрать метрику Saturate on integer overflow coverage, блок Dead Zone получит значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением.

Блок мертвой зоны содержит неявное сравнение входных данных с верхним и нижним предельными значениями. Поэтому при выборе показателя покрытия реляционной границы блок мертвой зоны получает покрытие реляционной границы. Дополнительные сведения см. в разделе Покрытие реляционных границ.

Таблица прямого поиска (n-D)

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

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

Общее количество точек покрытия для n-мерной таблицы поиска является произведением количества точек разрыва в каждом измерении таблицы плюс один. В отчете об охвате увеличивающаяся цветовая шкала «от белого до зеленого» с шестью равномерно расположенными диапазонами данных, начинающимися с нуля, указывает количество временных шагов, на которых программное обеспечение измеряет каждую точку интерполяции или экстраполяции.

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

Дискретный фильтр

Если выбрать метрику Saturate on integer overflow coverage, блок дискретного фильтра получит значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением.

Дискретный фильтр FIR

Если выбрать метрику Saturate on integer overflow coverage, блок Discreter FIR Filter получит значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением.

Интегратор дискретного времени

Блок интегратора дискретного времени получает покрытие для принятия решения. Программное обеспечение Simulink Coverage сообщает о покрытии решений по следующим параметрам:

Если для параметра Внешний сброс установлено значение none, программное обеспечение Simulink Coverage не сообщает о покрытии решения о сбросе. В противном случае при принятии решения принимаются следующие меры:

Если не выбран параметр «Ограничить вывод», программное обеспечение не сообщает о покрытии принятия решения. В противном случае программное обеспечение сообщает о покрытии решений для нижнего предела насыщения и верхнего предела насыщения.

Для верхнего предела насыщения измерения покрытия принятия решений:

Для нижнего предела насыщения, меры по покрытию решений

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

Если выбрать метрику Saturate on integer overflow coverage, блок Integrator дискретного времени получает значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением.

Дискретный перенос Fcn

При выборе метрики Saturate on integer overflow coverage блок Discreter Transfer Fcn получает значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением.

Точечное произведение

Если выбрать метрику Saturate on integer overflow coverage, блок Dot Product получит значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением.

Включенная подсистема

Блок включенной подсистемы принимает решение, состояние и покрытие MCDC.

Меры по обеспечению принятия решений:

Если, по меньшей мере, один временной шаг является истинным и, по меньшей мере, один временной шаг является ложным, покрытие принятия решения составляет 100%. Если никакие временные шаги не являются истинными или если никакие временные шаги не являются ложными, покрытие принятия решения составляет 50%.

Программное обеспечение Simulink Coverage измеряет покрытие условий для входа enable, только если вход enable является вектором. Для разрешающего ввода зона покрытия условия измеряет количество временных шагов для каждого элемента разрешающего ввода равно true, а количество временных шагов для каждого элемента разрешающего ввода равно false. Программное обеспечение сообщает о покрытии условий на основе общего количества возможных условий и количества истинных для, по меньшей мере, одного временного шага и количества ложных для, по меньшей мере, одного временного шага.

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

Включенная и запускаемая подсистема

Блок включенной и запускаемой подсистемы получает решение, состояние и покрытие MCDC. Меры по обеспечению принятия решений:

Если, по меньшей мере, один временной шаг является истинным и, по меньшей мере, один временной шаг является ложным, покрытие принятия решения составляет 100%. Если никакие временные шаги не являются истинными или если никакие временные шаги не являются ложными, покрытие принятия решения составляет 50%.

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

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

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

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

Fcn

Блок Fcn принимает состояние и покрытие MCDC. Программное обеспечение Simulink Coverage сообщает о состоянии или покрытии MCDC для блоков Fcn, только если оператор верхнего уровня является логическим (&&, ||, или !).

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

Если все логические вводы оператора являются ложными по крайней мере для одного временного шага и истинными по крайней мере для одного временного шага, то покрытие условия составляет 100%. В противном случае программное обеспечение сообщает о покрытии условий на основе общего количества возможных условий и количества истинных для, по меньшей мере, одного временного шага и количества ложных для, по меньшей мере, одного временного шага.

Программное обеспечение измеряет охват MCDC для логических выражений в блоке Fcn. Если в течение по меньшей мере одного временного шага каждое условие независимо устанавливает выход выражения в значение true и если в течение по меньшей мере одного временного шага каждое условие независимо устанавливает выход выражения в значение false, охват MCDC составляет 100%. В противном случае программное обеспечение сообщает о покрытии MCDC на основе общего количества возможных условий и того, сколько раз каждое условие независимо устанавливает выходной сигнал в значение true в течение, по меньшей мере, одного временного шага и сколько условий независимо устанавливает выходной сигнал в значение false в течение, по меньшей мере, одного временного шага.

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

Для итератора, для подсистемы итератора

Блок For Iterator и подсистема For Iterator получают покрытие для принятия решения. Программное обеспечение Simulink Coverage измеряет покрытие принятия решения для значения условия цикла, которое определяется одним из следующих параметров:

Программное обеспечение сообщает общее число раз, когда каждое условие цикла получает значение true и false. Если условие цикла имеет значение true по крайней мере один раз и false по крайней мере один раз, охват принятием решения составляет 100%. Если условия цикла не являются истинными или если условия цикла не являются ложными, покрытие принятия решения составляет 50%.

Выгода

При выборе метрики Saturate on integer overflow coverage блок Gain получает значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением.

Если, если подсистема действий

Блок If, который вызывает выполнение подсистемы If Action, получает условия, решение и покрытие MCDC:

Программное обеспечение не измеряет непосредственно else состояние. Когда нет elseif условия, else условие является прямым дополнением if условие или else условие является прямым дополнением последнего elseif состояние.

Программное обеспечение сообщает общее количество временных шагов, которые каждый if и elseif условие имеет значение true и false. Если if или elseif условие имеет значение true, по крайней мере, один раз, и имеет значение false, по крайней мере, один раз, охват принятием решения составляет 100%. Если нет if или elseif условия истинны, или если нет if или elseif условия ложные, покрытие решений 50%. Если предыдущий if или elseif условие никогда не оценивается как false, elseif условие может иметь 0% покрытия принятия решения.

Блок If содержит сравнение входных данных. Поэтому при выборе метрики покрытия реляционной границы блок If получает покрытие реляционной границы. Дополнительные сведения см. в разделе Покрытие реляционных границ.

Вектор индекса

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

Если каждый векторный индекс передается на блочный выход в течение по меньшей мере одного временного шага, охват принятия решения составляет 100%. В противном случае Simulink Coverage сообщает о покрытии в процентах от общего числа векторных индексов во входном сигнале, прошедшем через выход.

Если выбрать метрику Saturate on integer overflow coverage, блок Index Vector получит значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением.

Интерполяция с использованием Prelookup

Блок интерполяции с использованием Prelookup получает покрытие таблицы поиска. Для таблицы поиска n-D количество выходных точек разрыва равно произведению всех точек разрыва для каждого измерения таблицы. Показатели покрытия таблицы подстановки:

Общее количество точек покрытия для n-мерной таблицы поиска является произведением количества точек разрыва в каждом измерении таблицы плюс один. В отчете об охвате увеличивающаяся цветовая шкала «от белого до зеленого» с шестью равномерно расположенными диапазонами данных, начинающимися с нуля, указывает количество временных шагов, на которых программное обеспечение измеряет каждую точку интерполяции или экстраполяции.

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

При выборе параметра Saturate on integer overflow блок Interpolation Using Prelookup получает значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Связанные с библиотекой объекты

Блоки Simulink и диаграммы Stateflow, связанные с объектами библиотеки, получают тот же охват, что и если бы они не были связаны с объектами библиотеки. Программное обеспечение Simulink Coverage регистрирует покрытие индивидуально для каждого объекта библиотеки в модели. Если модель содержит несколько экземпляров одного объекта библиотеки, каждый экземпляр получает свои собственные данные покрытия.

Логический оператор

Блок логического оператора принимает состояние и покрытие MCDC. Программное обеспечение Simulink Coverage измеряет покрытие условий для каждого входа в блок. Показатели покрытия условий:

Если все входы блока являются ложными по меньшей мере для одного временного шага и истинными по меньшей мере для одного временного шага, то покрытие состояния программного обеспечения составляет 100%. В противном случае программное обеспечение сообщает о покрытии условий на основе общего количества возможных условий и количества истинных по меньшей мере на одном шаге времени и количества ложных по меньшей мере на одном шаге времени.

Программное обеспечение измеряет покрытие MCDC для всех входов в блок. Если в течение по меньшей мере одного временного шага каждое условие независимо устанавливает выход блока в значение true, и если в течение по меньшей мере одного временного шага каждое условие независимо устанавливает выход блока в значение false, охват MCDC составляет 100%. В противном случае программное обеспечение сообщает о покрытии MCDC на основе общего количества возможных условий и того, сколько раз каждый из них независимо устанавливал выходной сигнал равным true для по меньшей мере одного временного шага и сколько независимо устанавливал выходной сигнал равным false для по меньшей мере одного временного шага.

1-D Таблица подстановки

1-D блок Справочной таблицы получает освещение справочной таблицы; для одномерной таблицы поиска количество входных и выходных точек разрыва равно. Показатели покрытия таблицы подстановки:

Общее количество точек покрытия для одномерной таблицы поиска - это количество точек разрыва в таблице плюс один. В отчете об охвате увеличивающаяся цветовая шкала «от белого до зеленого» с шестью равномерно расположенными диапазонами данных, начинающимися с нуля, указывает количество временных шагов, на которых программное обеспечение измеряет каждую точку интерполяции или экстраполяции.

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

Если Вы выбираете Насыщение на целочисленной водосливной метрике освещения, 1-D блок Справочной таблицы получает, насыщают на целочисленном водосливном освещении. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

2-D Таблица подстановки

2-й блок Справочной таблицы получает освещение справочной таблицы. Для двумерной таблицы поиска количество выходных точек разрыва равно количеству точек разрыва строки, умноженному на количество входов столбцов. Показатели покрытия таблицы подстановки:

Общее количество точек покрытия для двумерной таблицы поиска - это количество точек разрыва строки в таблице плюс одна, умноженное на количество точек разрыва столбца в таблице плюс одна. В отчете об охвате увеличивающаяся цветовая шкала «от белого до зеленого» с шестью равномерно расположенными диапазонами данных, начинающимися с нуля, указывает количество временных шагов, на которых программное обеспечение измеряет каждую точку интерполяции или экстраполяции.

Если Вы выбираете Насыщение на целочисленной водосливной метрике освещения, 2-й блок Справочной таблицы получает, насыщают на целочисленном водосливном освещении. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

n-D таблица подстановки

Блок n-D таблицы поиска принимает покрытие таблицы поиска. Для n-мерной таблицы поиска количество выходных точек разрыва равно произведению всех точек разрыва для каждого измерения таблицы. Показатели покрытия таблицы подстановки:

Общее количество точек покрытия для n-мерной таблицы поиска является произведением количества точек разрыва в каждом измерении таблицы плюс один. В отчете об охвате увеличивающаяся цветовая шкала «от белого до зеленого» с шестью равномерно расположенными диапазонами данных, начинающимися с нуля, указывает количество временных шагов, на которых программное обеспечение измеряет каждую точку интерполяции или экстраполяции.

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

При выборе метрики Saturate on integer overflow coverage блок n-D Lookup Table получает значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Математическая функция

Если выбрать метрику Saturate on integer overflow coverage, блок Math Function получит значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Функция MATLAB

Для получения информации о типе покрытия, о котором сообщает программное обеспечение Simulink Coverage для функционального блока MATLAB, см. Модель покрытия для функций MATLAB.

Система MATLAB

Функция Simulink Coverage регистрирует только решения, условия и покрытие MCDC для системных блоков MATLAB.

MinMax

Блок MinMax принимает покрытие принятия решения на основе передачи каждого входного сигнала на выход блока.

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

Если все входы передаются на блочный выход в течение по меньшей мере одного временного шага, программное обеспечение Simulink Coverage сообщает о покрытии принятия решения как о 100%. В противном случае программное обеспечение сообщает о покрытии как о количестве входов, переданных на выход в течение, по меньшей мере, одного временного шага, деленного на общее количество входов.

При выборе метрики Saturate on integer overflow coverage блок MinMax получает значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Модель

Блок модели не получает покрытие напрямую; модель, на которую ссылаются блоки, получает покрытие. Если для ссылочной модели установлен режим моделирования Normal, программное обеспечение Simulink Coverage сообщает о покрытии для всех объектов в ссылочной модели, которые получают покрытие.. Если для ссылочной модели установлен режим моделирования SIL или PIL и установлен Embedded Coder ®, программное обеспечение Simulink Coverage сообщает о покрытии кода, сгенерированного из модели. Normal, SIL, или PIL, программное обеспечение не может измерить покрытие для ссылочной модели.

На панели Покрытие (Coverage) диалогового окна Параметры конфигурации (Configuration Parameters) выберите ссылочные модели, для которых требуется сообщить покрытие. Программное обеспечение генерирует отчет о покрытии для каждой выбранной ссылочной модели.

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

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

Мультипортовый коммутатор

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

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

Если все входы, исключая первый управляющий вход, передаются на блочный выход в течение, по меньшей мере, одного временного шага, охват принятием решения составляет 100%. В противном случае программное обеспечение Simulink Coverage сообщает о покрытии как о количестве входов, переданных на выход в течение по меньшей мере одного временного шага, деленного на общее количество входов минус один.

Если выбрать метрику Saturate on integer overflow coverage, блок мультипортового коммутатора получает значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Модель наблюдателя

Опорный блок Observer не получает покрытие напрямую; модель Observer, на которую ссылаются блоки, получает метрики покрытия для блоков внутри этой модели. Только модели наблюдателей в Normal анализируют режим на предмет покрытия.

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

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

Результаты покрытия для каждой модели Observer фиксируются отдельно. cvdata объекты. Каждая модель, на которую ссылается модель Observer, считается моделью Observer и имеет свою собственную cvdata объект. При записи покрытия для нескольких моделей в иерархии привязок модели результаты собираются в cv.cvdatagroup объект. Сводный отчет связан с отчетами покрытия для всех анализируемых моделей в иерархии.

PID-контроллер, PID-контроллер (2 DOF)

Если выбрать метрику Saturate on integer overflow coverage, блоки PID Controller и PID Controller (2 DOF) будут насыщены при покрытии integer overflow. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Продукт

Если выбрать метрику Saturate on integer overflow coverage, блок Product получит значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Допущение доказательства

Блок подтверждения допущения получает покрытие Simulink Design Verifier. Покрытие Simulink Design Verifier основано на точках и интервалах, определенных в диалоговом окне блока. Покрытие Simulink Design Verifier измеряет количество временных шагов, которые удовлетворяют каждой точке или интервалу, определенному в блоке. Общее количество объективных результатов основано на количестве точек или интервалов, определенных в блоке Proof Summission.

Если все точки и интервалы, определенные в блоке, удовлетворяются по крайней мере в течение одного шага времени, охват Simulink Design Verifier составляет 100%. В противном случае программное обеспечение Simulink Coverage сообщает о покрытии как о количестве точек и интервалов, удовлетворяемых в течение по меньшей мере одного временного шага, деленном на общее количество точек и интервалов, определенных для блока.

Цель доказательства

Блок Proof Objective получает покрытие Simulink Design Verifier. Покрытие Simulink Design Verifier основано на точках и интервалах, определенных в диалоговом окне блока. Покрытие Simulink Design Verifier измеряет количество временных шагов, которые удовлетворяют каждой точке или интервалу, определенному в блоке. Общее количество целевых результатов основано на количестве точек или интервалов, определенных в блоке Proof Objective.

Если все точки и интервалы, определенные в блоке, удовлетворяются по крайней мере в течение одного шага времени, охват Simulink Design Verifier составляет 100%. В противном случае программное обеспечение Simulink Coverage сообщает о покрытии как о количестве точек и интервалов, удовлетворяемых в течение по меньшей мере одного временного шага, деленном на общее количество точек и интервалов, определенных для блока.

Ограничитель скорости

Блок ограничителя скорости принимает покрытие принятия решения. Программное обеспечение Simulink Coverage сообщает о покрытии решений для параметров Rising slew rate и Falling slew rate.

Для коэффициента увеличения Rising показатели покрытия принятия решений:

Для падающей скорости роста, меры покрытия принятия решений:

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

Если, по меньшей мере, один временной шаг является истинным и, по меньшей мере, один временной шаг является ложным, покрытие принятия решения для каждого из двух отдельных решений для блока составляет 100%. Если никакие временные шаги не являются истинными или если никакие временные шаги не являются ложными, покрытие принятия решения составляет 50%. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

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

Реляционный оператор

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

Показатели покрытия условий:

Блок реляционного оператора содержит сравнение между входами. Поэтому при выборе метрики покрытия реляционной границы блок реляционного оператора получает покрытие реляционной границы. Дополнительные сведения см. в разделе Покрытие реляционных границ.

Реле

Блок ретрансляции получает покрытие для принятия решения. Программное обеспечение Simulink Coverage сообщает о покрытии решений для точки включения и параметров точки выключения.

Для точки включения мер покрытия принятия решений:

Для точки отключения меры по покрытию принятия решений:

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

Если, по меньшей мере, один временной шаг является истинным и, по меньшей мере, один временной шаг является ложным, покрытие принятия решения для каждого из двух отдельных решений для блока составляет 100%. Если никакие временные шаги не являются истинными или если никакие временные шаги не являются ложными, покрытие принятия решения составляет 50%. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Блок реле содержит неявное сравнение его второго входа с пороговым значением. Поэтому при выборе показателя покрытия реляционной границы релейный блок получает покрытие реляционной границы. Дополнительные сведения см. в разделе Покрытие реляционных границ.

C/C + + S-функция

Покрытие модели поддерживается для C/C + + S-функций. Отчет о покрытии для модели содержит результаты для каждого экземпляра S-функционального блока в модели. Результаты для связи блока S-Function с отдельным отчетом о покрытии для кода C/C + + в блоке.

Для создания отчета о покрытии для S-функций:

Для S-функций отображаются следующие типы покрытия:

Данные покрытия для S-функциональных блоков получаются следующим образом:

Насыщенность

Блок Насыщения получает покрытие принятия решения. Программное обеспечение Simulink Coverage сообщает о покрытии решений для параметров Нижний предел и Верхний предел.

Для верхнего предела, меры покрытия принятия решений:

Для нижней границы меры по покрытию решений:

Программное обеспечение не измеряет охват нижнего предела для временного шага, когда верхний предел является истинным. Следовательно, общее число решений нижнего предела равно количеству временных шагов, которые верхний предел является ложным.

Если, по меньшей мере, один временной шаг является истинным и, по меньшей мере, один временной шаг является ложным, покрытие принятия решения для каждого из двух отдельных решений для блока Насыщения составляет 100%. Если никакие временные шаги не являются истинными или если никакие временные шаги не являются ложными, покрытие принятия решения составляет 50%. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Блок Насыщения содержит неявное сравнение входных данных с верхним и нижним предельными значениями. Поэтому при выборе показателя покрытия «Реляционная граница» блок «Насыщение» получает покрытие реляционной границы. Дополнительные сведения см. в разделе Покрытие реляционных границ.

Динамическая насыщенность

Если выбрать метрику Saturate on integer overflow coverage, блок Saturation Dynamic получит значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Функции Simulink Design Verifier в функциональных блоках MATLAB

Следующие функции в функциональных блоках MATLAB получают покрытие Simulink Design Verifier:

Каждая из этих функций вычисляет выражение expr, например, sldv.test(expr), где expr является допустимым логическим выражением MATLAB ®. Охват Simulink Design Verifier измеряет количество временных шагов выражения expr возвращает значение true.

Если expr верно по крайней мере для одного шага времени, охват Simulink Design Verifier для этой функции составляет 100%. В противном случае программное обеспечение Simulink Coverage сообщает о покрытии для этой функции как 0%.

Sqrt, подписанный Sqrt, взаимный Sqrt

Если выбрать метрику Saturate on integer overflow coverage, блоки Sqrt, Signed Sqrt и Reversal Sqrt будут насыщены при покрытии integer overflow. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Сумма, Добавить, Вычесть, Сумма элементов

При выборе метрики Saturate on integer overflow coverage блоки Sum, Add, Subtract и Sum of Elements получают значения sustrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Выключатель

Блок переключения принимает покрытие принятия решения на основе управляющего ввода в блок. Меры по обеспечению принятия решений:

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

Если выбрана метрика Saturate on integer overflow coverage, блок Switch получает значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

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

SwitchCase, подсистема действий SwitchCase

Блок SwitchCase и подсистема действий SwitchCase получают покрытие для принятия решений. Программное обеспечение Simulink Coverage измеряет покрытие решений индивидуально для каждого случая переключения, определенного в блоке, а также для случая по умолчанию. Количество результатов решения равно количеству условий дела плюс один для default регистр, если он определен.

Программное обеспечение сообщает общее количество шагов времени, которые каждый случай оценивает как true. Если каждый случай, включая случай по умолчанию, имеет значение true по крайней мере один раз, охват принятием решения составляет 100%. Программное обеспечение определяет охват принятия решения по количеству случаев, которые оценивают значение true по меньшей мере в течение одного временного шага, деленного на общее количество случаев.

Если блок SwitchCase не содержит default в случае, программное обеспечение измеряет охват принятия решения для количества временных шагов, в течение которых ни один из случаев не оценивается как истинный. В отчете о покрытии это покрытие сообщается как неявное покрытие по умолчанию.

Условие испытания

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

Если все точки и интервалы, определенные в блоке, удовлетворяются по крайней мере в течение одного шага времени, охват Simulink Design Verifier составляет 100%. В противном случае программное обеспечение Simulink Coverage сообщает о покрытии как о количестве точек и интервалов, удовлетворяемых в течение по меньшей мере одного временного шага, деленном на общее количество точек и интервалов, определенных для блока.

Цель тестирования

Блок Test Objective получает покрытие Simulink Design Verifier. Покрытие Simulink Design Verifier основано на точках и интервалах, определенных в диалоговом окне блока. Покрытие Simulink Design Verifier измеряет количество временных шагов, которые удовлетворяют каждой точке или интервалу, определенному в блоке. Общее количество целевых результатов основано на количестве точек или интервалов, определенных в блоке тестовых целей.

Если все точки и интервалы, определенные в блоке, удовлетворяются по крайней мере в течение одного шага времени, охват Simulink Design Verifier составляет 100%. В противном случае программное обеспечение Simulink Coverage сообщает о покрытии как о количестве точек и интервалов, удовлетворяемых в течение по меньшей мере одного временного шага, деленном на общее количество точек и интервалов, определенных для блока.

Запускаемые модели

Блок модели может ссылаться на модель, которая содержит краевые триггерные порты на корневом уровне модели. Запускаемые модели получают решение, условие и покрытие MCDC.

Меры по обеспечению принятия решений:

Если хотя бы один временной шаг является истинным и хотя бы один временной шаг является ложным, покрытие принятия решения для блока модели, который ссылается на запускаемую модель, составляет 100%. Если никакие временные шаги не являются истинными или если никакие временные шаги не являются ложными, покрытие принятия решения составляет 50%.

Только если вход триггера является вектором, программное обеспечение Simulink Coverage измеряет покрытие условий для порта триггера в ссылочной модели. Для порта триггера измерения покрытия условий:

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

Если порт триггера является вектором, программное обеспечение измеряет покрытие MCDC только для порта триггера. Поскольку порт триггера ссылочной модели является OR из векторных входов, если в течение по меньшей мере одного шага времени каждый порт триггера вектора является исключительно истинным, и если в течение по меньшей мере одного шага времени все входы порта триггера вектора являются ложными, охват MCDC составляет 100%. Программное обеспечение рассматривает каждый элемент вектора как отдельное условие для измерения покрытия MCDC.

Срабатывающая подсистема

Блок триггерной подсистемы принимает решение, состояние и покрытие MCDC.

Меры по обеспечению принятия решений:

Если, по меньшей мере, один временной шаг является истинным и, по меньшей мере, один временной шаг является ложным, покрытие принятия решения составляет 100%. Если никакие временные шаги не являются истинными или если никакие временные шаги не являются ложными, покрытие принятия решения составляет 50%.

Программное обеспечение Simulink Coverage измеряет покрытие условий для входа триггера, только если вход триггера является вектором. Для ввода триггера измерения покрытия условий:

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

Если вход триггера является вектором, программное обеспечение измеряет охват MCDC только для входа триггера. Поскольку край триггера подсистемы является OR из векторных входов, если в течение, по меньшей мере, одного шага времени каждый вход фронта триггера вектора является исключительно истинным, и если в течение, по меньшей мере, одного шага времени все входы фронта триггера вектора являются ложными, охват MCDC составляет 100%. Программное обеспечение рассматривает каждый элемент вектора как отдельное условие для измерения покрытия MCDC.

Таблица правды

Блок «Таблица истинности» (Truth Table) - это блок Stateflow, который позволяет использовать логику таблицы истинности непосредственно в модели Simulink. Блок таблицы истинности получает условия, решение и покрытие MCDC. Дополнительные сведения о покрытии модели таблицами истинности Stateflow см. в разделе Покрытие модели таблицами истинности Stateflow.

Унарный минус

Если выбрать метрику Saturate on integer overflow coverage, блок Unary Minus получит значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Взвешенная математика времени выборки

Если выбрать метрику Saturate on integer overflow coverage, блок Weighted Sample Time Math получит значение satrate on integer overflow coverage. Дополнительные сведения см. в разделе Насыщение при покрытии целочисленным переполнением. Программное обеспечение рассматривает каждый элемент вектора или матрицы как отдельное измерение покрытия.

Во время итератора, во время итератора

Блок While Iterator и подсистема While Iterator получают покрытие для принятия решений. Охват принятия решений измеряется для while значение условия, которое определяется while условие выполняется (true), или while условие не выполняется (ложь). Программное обеспечение Simulink Coverage сообщает общее количество раз, которые каждый while условие имеет значение true и false. Если while условие, оцениваемое как true по крайней мере один раз, и как false по крайней мере один раз, покрытие принятия решения для while условие составляет 100%. Если нет while условия истинны, или если нет while условия ложные, покрытие решений 50%.

Если предел итерации превышен (true) или не превышен (false), программное обеспечение измеряет покрытие решений независимо. Если предел итерации имеет значение true по крайней мере один раз и false по крайней мере один раз, охват принятия решения для предела итерации составляет 100%. Если пределы итерации не являются истинными или если пределы итерации не являются ложными, покрытие принятия решения составляет 50%. Если задано значение Максимальное число итераций (Maximum number of iterations) -1 (без предела), покрытие решения для предела итерации является истинным для всех итераций и ложным для нулевых итераций, а покрытие решения составляет 50%.