Объекты модели, которые получают покрытие

Определенные объекты Simulink® могут получить любой тип покрытия модели. Другие объекты Simulink могут получить только определенные типы покрытия, когда следующая таблица показывает. Щелкните по ссылке в первом столбце, чтобы получить более подробную информацию о покрытии для определенных объектов модели.

Все объекты Simulink могут получить покрытие Выполнения, кроме блоков, которые не оснащены в покрытии модели:

  • Объедините блоки

  • Определите объем блоков

  • Блоки выходного порта

  • Блоки Inport

  • Блоки ширины

  • Отобразите блоки

Для состояний Stateflow®, событий, и утверждают временные логические решения, покрытие модели обеспечивает Decision Coverage. Для переходов Stateflow покрытие модели обеспечивает решение, условие и покрытие MCDC. Покрытие модели обеспечивает условие и покрытие MCDC для логических выражений в операторах присваивания в состояниях и переходах. Для получения дополнительной информации смотрите Покрытие модели для диаграмм Stateflow.

Объект модели

Решение

Условие

MCDC

Интерполяционная таблица

Simulink Design Verifier™

Насыщайте на целочисленном переполнении

Реляционный контур

Abs

    

Смещение

      

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

     

Сравните с постоянным

     

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

     

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

      

Мертвая зона

    

Прямая интерполяционная таблица (n-D)

      

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

      

Дискретный КИХ-фильтр

      

Интегратор дискретного времени (когда пределы насыщения включены или сброшены),

     

Дискретная передача Fcn

      

Скалярное произведение

      

Enabled подсистема

    

Enabled и Triggered подсистема

    

@fcn

    

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

      

Усиление

      

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

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

Интерполяция Используя предварительный поиск

     

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

  

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

     

1D интерполяционная таблица

     

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

     

Интерполяционная таблица n-D

     

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

      

Функция MATLAB

   

Matlab.system

    

MinMax

     

Модель

См. также Инициированные Модели.

Многопортовый переключатель

     

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

ПИД-регулятор, ПИД-регулятор (2 степени свободы)

      

Продукт

      

Предположение доказательства

      

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

      

Ограничитель уровня

(Относительно скоростей нарастания)

     

Оператор отношения

     

Реле

     

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

    

Насыщение

     

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

      

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

      

Диаграммы Stateflow

   

Таблицы перехода состояния Stateflow

   

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

      

Суммируйте, добавьте, вычтите, сумма элементов

      

Переключатель

    

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

      

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

      

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

      

Инициированные модели

    

Триггируемая подсистема

    

Таблица истинности

    

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

      

Взвешенная математика шага расчета

      

В то время как итератор, в то время как подсистема итератора

      

Abs

Блок Abs получает Decision Coverage. Decision Coverage на основе:

  • Введите к нулю бывшего меньше блока.

  • Тип данных входного сигнала.

Для входа к нулю бывшего меньше блока, мерам по Decision Coverage:

  • Количество временных шагов, что вход блока меньше нуля, указывая на истинное решение.

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

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

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

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

Смещение

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

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

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

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

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

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

Сравните с постоянным

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

Меры по покрытию условия:

  • число раз, что сравнение между входом и заданной константой было верно.

  • число раз, что сравнение между входом и заданной константой было ложным.

Блок Compare to Constant содержит сравнение входа с константой. Поэтому, если вы выбираете метрику покрытия Relational Boundary, блок Compare to Constant получает реляционное граничное покрытие. Для получения дополнительной информации смотрите Реляционное Граничное Покрытие.

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

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

Меры по покрытию условия:

  • число раз, что сравнение между входом и нулем было верно.

  • число раз, что сравнение между входом и нулем было ложным.

Блок Compare to Zero содержит сравнение входа с нулем. Поэтому, если вы выбираете метрику покрытия Relational Boundary, блок Compare to Zero получает реляционное граничное покрытие. Для получения дополнительной информации смотрите Реляционное Граничное Покрытие.

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

Если вы выбираете метрику покрытия Saturate on integer overflow, блок Data Type Conversion получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.

Мертвая зона

Блок Dead Zone получает Decision Coverage. Программное обеспечение Simulink Coverage сообщает о Decision Coverage для этих параметров:

  • Start of dead zone

  • End of dead zone

Параметр Start of dead zone задает нижний предел мертвой зоны. Для параметра Start of dead zone, мер по Decision Coverage:

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

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

Параметр End of dead zone задает верхний предел мертвой зоны. Для End of dead zone, мер по Decision Coverage:

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

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

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

Если вы выбираете метрику покрытия Saturate on integer overflow, блок Dead Zone получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.

Блок Dead Zone содержит неявное сравнение входа с верхним значением и значением нижнего предела. Поэтому, если вы выбираете метрику покрытия Relational Boundary, блок Dead Zone получает реляционное граничное покрытие. Для получения дополнительной информации смотрите Реляционное Граничное Покрытие.

Прямая интерполяционная таблица (n-D)

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

Меры по покрытию интерполяционных таблиц:

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

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

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

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

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

Если вы выбираете метрику покрытия Saturate on integer overflow, блок Discrete Filter получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.

Дискретный КИХ-фильтр

Если вы выбираете метрику покрытия Saturate on integer overflow, блок Discrete FIR Filter получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.

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

Блок Discrete-Time Integrator получает Decision Coverage. Программное обеспечение Simulink Coverage сообщает о Decision Coverage для этих параметров:

  • External reset

  • Limit output

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

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

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

Если вы не выбираете Limit output, программное обеспечение не сообщает о Decision Coverage для того решения. В противном случае программное обеспечение сообщает о Decision Coverage для Lower saturation limit и Upper saturation limit.

Для Upper saturation limit, мер по Decision Coverage:

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

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

Для Lower saturation limit, мер по Decision Coverage

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

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

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

Если вы выбираете метрику покрытия Saturate on integer overflow, блок Discrete-Time Integrator получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.

Дискретная передача Fcn

Если вы выбираете метрику покрытия Saturate on integer overflow, блок Discrete Transfer Fcn получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.

Скалярное произведение

Если вы выбираете метрику покрытия Saturate on integer overflow, блок Dot Product получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.

Enabled подсистема

Enabled блок Subsystem получает решение, условие и покрытие MCDC.

Меры по Decision Coverage:

  • Количество временных шагов, которые блок включен, указав на истинное решение.

  • Количество временных шагов, что блок отключен, указав на ложное решение.

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

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

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

Enabled и Triggered подсистема

Блок Enabled and Triggered Subsystem получает решение, условие и покрытие MCDC. Меры по Decision Coverage:

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

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

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

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

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

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

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

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

  • По крайней мере во время одного временного шага оба входных параметров верны.

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

  • Во время одного временного шага разрешать вход является ложным, и триггерное ребро верно.

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

@fcn

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

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

  • Количество временных шагов, что каждый вход к булеву оператору верен (не равный нулю).

  • Количество временных шагов, что каждый вход к булеву оператору ложный (равный нулю).

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

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

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

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

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

  • Значение итерации, являющееся в или ниже предела итерации, обозначенного как верный.

  • Значение итерации, являющееся выше предела итерации, обозначенного как ложь.

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

Усиление

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

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

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

  • Программное обеспечение измеряет Decision Coverage для if условие и весь elseif условия заданы в блоке If.

  • Если if условие или любой elseif условия содержат логическое выражение с несколькими условиями, такими как u1 & u2 & u3, программное обеспечение также измеряет условие и покрытие MCDC для каждого условия в выражении, u1, u2, и u3 в предыдущем примере.

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

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

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

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

Блок Index Vector получает Decision Coverage на основе передачи каждого элемента векторного входа сигнала к выходу блока.

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

Если вы выбираете метрику покрытия Saturate on integer overflow, блок Index Vector получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.

Интерполяция Используя предварительный поиск

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

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

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

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

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

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

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

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

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

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

  • Количество временных шагов, что каждый вход верен (не равный нулю).

  • Количество временных шагов, что каждый вход ложный (равный нулю).

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

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

1D интерполяционная таблица

1D блок Lookup Table получает покрытие интерполяционных таблиц; для одномерной интерполяционной таблицы количество точек останова ввода и вывода равно. Меры по покрытию интерполяционных таблиц:

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

  • Число раз в процессе моделирования, что значения ввода и вывода ниже самой низкой точки останова и выше самой высокой точки останова.

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

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

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

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

Блок 2-D Lookup Table получает покрытие интерполяционных таблиц. Для двумерной интерполяционной таблицы количество выходных точек останова равняется количеству точек разрыва строки, умноженных на количество входных параметров столбца. Меры по покрытию интерполяционных таблиц:

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

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

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

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

Интерполяционная таблица n-D

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

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

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

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

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

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

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

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

Функция MATLAB

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

Matlab.system

Simulink Coverage записывает только Решение, Условие и покрытие MCDC для блоков MATLAB System.

MinMax

Блок MinMax получает Decision Coverage на основе передачи каждого входа к выходу блока.

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

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

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

Модель

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

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

Если ваша модель содержит несколько экземпляров той же модели, на которую ссылаются, программное обеспечение записывает покрытие для всех экземпляров той модели, где режим симуляции блока Model установлен в Normal. Отчет покрытия для той модели, на которую ссылаются, комбинирует данные о покрытии для всех экземпляров Режима normal mode той модели.

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

Примечание

Для получения дополнительной информации о том, как выбрать модели, на которые ссылаются, чтобы сообщить о покрытии, см. Модели, на которые Ссылаются.

Многопортовый переключатель

Блок Multiport Switch получает Decision Coverage на основе передачи каждого входа, исключая первый вход управления, к выходу блока.

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

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

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

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

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

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

Только модели Observer, на которые вы ссылаетесь от топ-модели, активны во время симуляции и могут получить покрытие. блоки Terminate Function, расположенные в моделях Observer, не получают покрытие.

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

ПИД-регулятор, ПИД-регулятор (2 степени свободы)

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

Продукт

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

Предположение доказательства

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

Если всем точкам и интервалам, заданным в блоке, удовлетворяют по крайней мере для одного временного шага, покрытие 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 сообщает о покрытии как о числе точек и интервалах, которым удовлетворяют по крайней мере во время одного временного шага, разделенного на общее количество точек и интервалов, заданных для блока.

Ограничитель уровня

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

Для Rising slew rate, мер по Decision Coverage:

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

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

Для Falling slew rate, мер по Decision Coverage:

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

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

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

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

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

Оператор отношения

Блок Relational Operator получает покрытие условия.

Меры по покрытию условия:

  • число раз, что заданная реляционная операция была верна.

  • число раз, что заданная реляционная операция была ложной.

Блок Relational Operator содержит сравнение между своими входными параметрами. Поэтому, если вы выбираете метрику покрытия Relational Boundary, блок Relational Operator получает реляционное граничное покрытие. Для получения дополнительной информации смотрите Реляционное Граничное Покрытие.

Реле

Блок Relay получает Decision Coverage. Программное обеспечение Simulink Coverage сообщает о Decision Coverage для Switch on point и параметров Switch off point.

Для Switch on point, мер по Decision Coverage:

  • Количество последовательных временных шагов, которых вход блока больше или равен Switch on point, указывая на истинное решение.

  • Количество последовательных временных шагов, что вход блока меньше Switch on point, указывая на ложное решение.

Для Switch off point, мер по Decision Coverage:

  • Количество последовательных временных шагов, что вход блока меньше чем или равен Switch off point, указывая на истинное решение.

  • Количество последовательных временных шагов, что вход блока больше Switch off point, указывая на ложное решение.

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

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

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

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

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

Сгенерировать отчет покрытия для S-функций:

  1. При создании S-функций включите поддержку покрытия. Для получения дополнительной информации смотрите, Делают S-Function Совместимый с Покрытием модели.

  2. При генерации отчета покрытия включите поддержку S-функций. Для получения дополнительной информации смотрите, Генерируют Отчет Покрытия для S-функции.

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

Данные о покрытии для Блоков s-function получены следующим образом:

  • Результат покрытия для блока является взвешенным средним результата по всем файлам в блоке.

    Например, Блок s-function имеет два файла, file1.c и file2.c. Decision Coverage для file1.c 75% (3/4 охваченные результаты) и это для file2.c 50% (10/20 охваченные результаты). Decision Coverage для блока является 13/24 ≈ 54%.

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

  • Для каждой функции результат покрытия является взвешенным средним результата по всем операторам в функции, которые получают то покрытие.

Примечание

Покрытие модели для S-функций имеет следующие ограничения:

  • Только Уровень 2 S-функции C/C++ поддерживается для покрытия. Для примера S-функции уровня 2 C смотрите, Создают Основную S-функцию MEX C.

  • Шаблоны класса C++ не оснащены для покрытия.

Насыщение

Блок Saturation получает Decision Coverage. Программное обеспечение Simulink Coverage сообщает о Decision Coverage для параметров Upper limit и Lower limit.

Для Upper limit, мер по Decision Coverage:

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

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

Для Lower limit, мер по Decision Coverage:

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

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

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

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

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

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

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

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

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

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

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

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

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

Суммируйте, добавьте, вычтите, сумма элементов

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

Переключатель

Блок switch получает Decision Coverage на основе входа управления с блоком. Меры по Decision Coverage:

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

  • Количество временных шагов вход управления оценивает ко лжи.

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

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

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

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

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

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

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

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

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

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

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

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

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

Инициированные модели

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

Меры по Decision Coverage:

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

  • Количество временных шагов, что модель, на которую ссылаются, не инициирована, указав на ложное решение.

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

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

  • Количество временных шагов, что каждый элемент триггерного порта верен.

  • Количество временных шагов, что каждый элемент триггерного порта является ложным.

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

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

Триггируемая подсистема

Блок Triggered Subsystem получает решение, условие и покрытие MCDC.

Меры по Decision Coverage:

  • Количество временных шагов, что блок инициирован, указав на истинное решение.

  • Количество временных шагов, что блок не инициирован, указав на ложное решение.

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

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

  • Количество временных шагов, что каждый элемент триггерного ребра верен.

  • Количество временных шагов, что каждый элемент триггерного ребра является ложным.

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

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

Таблица истинности

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

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

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

Взвешенная математика шага расчета

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

В то время как итератор, в то время как подсистема итератора

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

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

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