Определенные объекты Simulink® могут получить любой тип покрытия модели. Другие объекты Simulink могут получить только определенные типы покрытия, когда следующая таблица показывает. Щелкните по ссылке в первом столбце, чтобы получить более подробную информацию о покрытии для определенных объектов модели.
Все объекты Simulink могут получить покрытие Выполнения, кроме блоков, которые не оснащены в покрытии модели:
Объедините блоки
Определите объем блоков
Блоки выходного порта
Блоки Inport
Блоки ширины
Отобразите блоки
Для состояний Stateflow®, событий, и утверждают временные логические решения, покрытие модели обеспечивает Decision Coverage. Для переходов Stateflow покрытие модели обеспечивает решение, условие и покрытие MCDC. Покрытие модели обеспечивает условие и покрытие MCDC для логических выражений в операторах присваивания в состояниях и переходах. Для получения дополнительной информации смотрите Покрытие модели для диаграмм Stateflow.
Объект модели | Решение | Условие | MCDC | Интерполяционная таблица | Simulink Design Verifier™ | Насыщайте на целочисленном переполнении | Реляционный контур |
|---|---|---|---|---|---|---|---|
 | | | |||||
| |||||||
| | ||||||
| | ||||||
| | ||||||
| |||||||
| | | |||||
| |||||||
| |||||||
| |||||||
Интегратор дискретного времени (когда пределы насыщения включены или сброшены), | | | |||||
| |||||||
| |||||||
| | | |||||
| | | |||||
| | | |||||
| |||||||
| |||||||
| | | | ||||
| | ||||||
| | | | | |||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| |||||||
| | | | ||||
| | | |||||
| | ||||||
См. также Инициированные Модели. | | | | | | | |
| | ||||||
| |||||||
| |||||||
| |||||||
| |||||||
(Относительно скоростей просмотра) | | ||||||
| | ||||||
| | ||||||
| | | |||||
| | ||||||
| |||||||
| |||||||
| | | | ||||
| | | | ||||
| |||||||
| |||||||
| | | |||||
| |||||||
| |||||||
| |||||||
| | | |||||
| | | |||||
| | | |||||
| |||||||
| |||||||
В то время как итератор, в то время как подсистема итератора | |
Блок Abs получает Decision Coverage. Decision Coverage на основе:
Введите к блоку, являющемуся меньше, чем нуль.
Тип данных входного сигнала.
Для входа к блоку, являющемуся меньше, чем нуль, меры по Decision Coverage:
Количество временных шагов, что вход блока является меньше, чем нуль, указывая на истинное решение.
Количество временных шагов вход блока не является меньше, чем нуль, указывая на ложное решение.
Если вы выбираете метрику покрытия Saturate on integer overflow, блок Abs получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.
Если типом входных данных к блоку Abs является uint8, uint16 или 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 - размерная интерполяционная таблица, количество выходных точек останова является продуктом всего количества точек останова для каждой табличной размерности.
Меры по покрытию интерполяционных таблиц:
Число раз во время симуляции, что каждая комбинация входных значений размерности между каждой из точек останова.
Число раз во время симуляции, что каждая комбинация входных значений размерности ниже самой низкой точки останова и выше самой высокой точки останова для каждой табличной размерности.
Общее количество точек покрытия для 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 получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.
Если вы выбираете метрику покрытия Saturate on integer overflow, блок Discrete Transfer Fcn получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.
Если вы выбираете метрику покрытия Saturate on integer overflow, блок Dot Product получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.
Enabled блок Subsystem получает решение, условие и покрытие MCDC.
Меры по Decision Coverage:
Количество временных шагов, которые блок включен, указав на истинное решение.
Количество временных шагов, что блок отключен, указав на ложное решение.
Если по крайней мере один временной шаг верен, и по крайней мере один временной шаг является ложным, Decision Coverage составляет 100%. Если никакие временные шаги не верны, или если никакие временные шаги не являются ложными, Decision Coverage составляет 50%.
Программное обеспечение Simulink Coverage измеряет покрытие условия для разрешать входа, только если разрешать вход является вектором. Для разрешать входа покрытие условия измеряет количество временных шагов, каждый элемент разрешать входа верен и количество временных шагов, каждый элемент разрешать входа является ложным. Программное обеспечение сообщает о покрытии условия на основе общего количества возможных условий и сколько верно по крайней мере для одного временного шага и сколько является ложным по крайней мере для одного временного шага.
Программное обеспечение измеряет покрытие MCDC для разрешать входа, только если разрешать вход является вектором. Поскольку разрешением подсистемы является OR векторных входных параметров, покрытие MCDC составляет 100%, если по крайней мере во время одного временного шага каждый вектор включает вход, исключительно верно и если по крайней мере во время одного временного шага весь вектор включает входные параметры, являются ложными. Для измерения покрытия MCDC программное обеспечение обрабатывает каждый элемент вектора как отдельное условие.
Блок Enabled and Triggered Subsystem получает решение, условие и покрытие MCDC. Меры по Decision Coverage:
Количество временных шагов, что триггерное ребро происходит, в то время как блок включен, указав на истинное решение.
Количество временных шагов, что триггерное ребро не происходит, в то время как блок включен, или блок, отключено, указав на ложное решение.
Если по крайней мере один временной шаг верен, и по крайней мере один временной шаг является ложным, Decision Coverage составляет 100%. Если никакие временные шаги не верны, или если никакие временные шаги не являются ложными, Decision Coverage составляет 50%.
Программное обеспечение измеряет покрытие условия для разрешать входа и для триггерного входа отдельно:
Для разрешать входа покрытие условия измеряет количество временных шагов, разрешать вход верен и количество временных шагов, разрешать вход является ложным.
Для триггерного входа покрытие условия измеряет количество временных шагов, на которые триггерное ребро происходит, указывая верный, и количество временных шагов, триггерное ребро не происходит, указывая на ложь.
Программное обеспечение сообщает о покрытии условия на основе общего количества возможных условий и сколько условий верно по крайней мере для одного временного шага и сколько является ложным по крайней мере для одного временного шага. Программное обеспечение обрабатывает каждый элемент вектора как отдельное измерение покрытия условия.
Программное обеспечение измеряет покрытие MCDC для разрешать входа и для триггерного входа в комбинации. Поскольку разрешать входом подсистемы является AND этих двух входных параметров, покрытие MCDC составляет 100%, если все следующее происходит:
По крайней мере во время одного временного шага оба входных параметров верны.
По крайней мере во время одного временного шага разрешать вход верен, и триггерное ребро является ложным.
Во время одного временного шага разрешать вход является ложным, и триггерное ребро верно.
Программное обеспечение обрабатывает каждый векторный элемент как отдельное измерение покрытия MCDC. Это измеряется, каждый триггерный граничный элемент против каждого включают входной элемент. Однако, если число элементов в обоих, которых триггер и включает входным параметрам, превышает 12, программное обеспечение не сообщает о покрытии MCDC.
Блок 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 получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.
Если блок, который вызывает, Если Подсистема Действия, чтобы выполниться получает условие, решение и покрытие MCDC:
Программное обеспечение измеряет Decision Coverage для условия if и всех условий elseif, заданных в Если блок.
Если условие 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.
Если блок содержит сравнение между своими входными параметрами. Поэтому, если вы выбираете метрику покрытия Relational Boundary, Если блок получает реляционное граничное покрытие. Для получения дополнительной информации смотрите Реляционное Граничное Покрытие.
Блок 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 блок Lookup Table получает покрытие интерполяционных таблиц; для одномерной интерполяционной таблицы количество точек останова ввода и вывода равно. Меры по покрытию интерполяционных таблиц:
Число раз во время симуляции, что значения ввода и вывода между каждой из точек останова.
Число раз во время симуляции, что значения ввода и вывода ниже самой низкой точки останова и выше самой высокой точки останова.
Общее количество точек покрытия для одномерной интерполяционной таблицы является количеством точек останова в таблице плюс одна. В отчете покрытия увеличивающаяся белая-к-зеленому цветовая шкала, с шестью равномерно расположенными с интервалами областями значений данных начиная с нуля, указывает на количество временных шагов, что программное обеспечение измеряет каждую точку интерполяции или экстраполяции.
Программное обеспечение определяет процент общего покрытия путем измерения общих точек интерполяции и экстраполяции, которые достигают измерения по крайней мере одного временного шага во время симуляции между точкой останова или вне конечных точек.
Если вы выбираете метрику покрытия Saturate on integer overflow, 1D блок Lookup Table получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.
2D блок Lookup Table получает покрытие интерполяционных таблиц. Для двумерной интерполяционной таблицы количество выходных точек останова равняется количеству точек разрыва строки, умноженных на количество входных параметров столбца. Меры по покрытию интерполяционных таблиц:
Число раз во время симуляции, что каждая комбинация входа строки и входных значений столбца между каждой из точек останова.
Число раз во время симуляции, что каждая комбинация входа строки и входных значений столбца ниже самой низкой точки останова и выше самой высокой точки останова для каждой строки и столбца.
Общее количество точек покрытия для двумерной интерполяционной таблицы является количеством точек разрыва строки в таблице плюс одна, умноженная на количество точек разрыва столбца в таблице плюс одна. В отчете покрытия увеличивающаяся белая-к-зеленому цветовая шкала, с шестью равномерно расположенными с интервалами областями значений данных начиная с нуля, указывает на количество временных шагов, что программное обеспечение измеряет каждую точку интерполяции или экстраполяции.
Если вы выбираете метрику покрытия Saturate on integer overflow, 2D блок Lookup Table получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.
n-D блок Lookup Table получает покрытие интерполяционных таблиц. Для n - размерная интерполяционная таблица, количество выходных точек останова равняется продукту всего количества точек останова для каждой табличной размерности. Меры по покрытию интерполяционных таблиц:
Число раз во время симуляции, что каждая комбинация входных значений размерности между каждой из точек останова.
Число раз во время симуляции, что каждая комбинация выходных значений размерности ниже самой низкой точки останова и выше самой высокой точки останова для каждой табличной размерности.
Общее количество точек покрытия для n - размерная интерполяционная таблица является продуктом количества точек останова в каждой табличной размерности плюс одна. В отчете покрытия увеличивающаяся белая-к-зеленому цветовая шкала, с шестью равномерно расположенными с интервалами областями значений данных начиная с нуля, указывает на количество временных шагов, что программное обеспечение измеряет каждую точку интерполяции или экстраполяции.
Программное обеспечение определяет процент общего покрытия путем измерения общих точек интерполяции и экстраполяции, которые достигают измерения по крайней мере одного временного шага во время симуляции между точкой останова или вне конечных точек.
Если вы выбираете метрику покрытия Saturate on integer overflow, n-D блок Lookup Table получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.
Если вы выбираете метрику покрытия Saturate on integer overflow, блок Math Function получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.
Для получения информации о типе покрытия, что отчеты программного обеспечения Simulink Coverage для блока MATLAB function, смотрите Покрытие модели для функций MATLAB.
Simulink Coverage записывает только Решение, Условие и покрытие MCDC для Системных блоков MATLAB.
Блок 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 той модели.
Отчеты покрытия для моделей, на которые ссылаются, соединяются из сводного отчета для родительской модели.
Для получения дополнительной информации о том, как выбрать модели, на которые ссылаются, чтобы сообщить о покрытии, см. Модели, на которые Ссылаются.
Многопортовый блок switch получает Decision Coverage на основе передачи каждого входа, исключая первый вход управления, к выводу блока.
Для Decision Coverage на основе передачи каждого входа, исключая первый вход управления, к выводу блока, покрытие измеряет количество временных шагов, что каждый вход передается блоку вывод. Количество моментов принятия решения основано на количестве входных параметров к блоку и является ли вход управления скаляром или вектором.
Если все входные параметры, исключая первый вход управления, передаются блоку вывод по крайней мере для одного временного шага, Decision Coverage составляет 100%. В противном случае покрытие отчетов программного обеспечения Simulink Coverage как количество входных параметров передало выводу по крайней мере во время одного временного шага, разделенного на общее количество входных параметров минус один.
Если вы выбираете метрику покрытия Saturate on integer overflow, Многопортовый блок switch получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.
Если вы выбираете метрику покрытия Saturate on integer overflow, ПИД-регулятор и ПИД-регулятор (2 степени свободы), блоки получают, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.
Если вы выбираете метрику покрытия Saturate on integer overflow, блок продукта получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.
Блок 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-function в модели. Результаты для Блока s-function соединяются с отдельным отчетом покрытия для кода C/C++ в блоке.
Сгенерировать отчет покрытия для S-функций:
При создании S-функций включите поддержку покрытия. Для получения дополнительной информации смотрите, Делают S-Function Совместимый с Покрытием модели.
При генерации отчета покрытия включите поддержку 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 (Simulink).
Шаблоны класса 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 получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.
Следующие функции в блоках MATLAB function получают покрытие Simulink Design Verifier:
Каждая из этих функций выполняет выражение expr, например, sldv.test(expr)expr является любым допустимым выражением Boolean MATLAB®. Покрытие Simulink Design Verifier измеряет количество временных шагов, которые выражение expr оценивает к истине.
Если expr верен по крайней мере для одного временного шага, покрытие Simulink Design Verifier для этой функции составляет 100%. В противном случае программное обеспечение Simulink Coverage сообщает о покрытии для этой функции как 0%.
Если вы выбираете метрику покрытия Saturate on integer overflow, Sqrt, Sqrt Со знаком, и Взаимные блоки Sqrt получают, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.
Если вы выбираете метрику покрытия Saturate on integer overflow, Сумму, Добавьте, Вычтите, и Сумма блоков Элементов получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.
Блок switch получает Decision Coverage на основе входа управления к блоку. Меры по Decision Coverage:
Количество временных шагов, которые вход управления оценивает к истине.
Количество временных шагов вход управления оценивает ко лжи.
Количество моментов принятия решения на основе того, является ли вход управления скаляром или вектором.
Если вы выбираете метрику покрытия Saturate on integer overflow, блок switch получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.
Блок switch содержит неявное сравнение своего второго входа с пороговым значением. Поэтому, если вы выбираете метрику покрытия Relational Boundary, блок switch получает реляционное граничное покрытие. Для получения дополнительной информации смотрите Реляционное Граничное Покрытие.
Блок 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.
Инициированный блок 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%.
