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

Abs

Блок 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 задает нижний предел мертвой зоны. Для параметра 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 на 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 получает, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.

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

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

Программное обеспечение непосредственно не измеряет условие 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 интерполяционная таблица

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

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

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

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

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

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

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

Если вы выбираете метрику покрытия Saturate on integer overflow, 2D блок 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.

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 той модели.

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

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

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

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

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

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

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

Если вы выбираете метрику покрытия 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 off point, мер по Decision Coverage:

Программное обеспечение не измеряется, покрытие 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-функций:

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

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

Насыщение

Блок 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, Sqrt Со знаком, и Взаимные блоки Sqrt получают, насыщают на покрытии целочисленного переполнения. Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения. Программное обеспечение обрабатывает каждый элемент вектора или матрицы как отдельное измерение покрытия.

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

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

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

Блок 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.

Инициированная подсистема

Инициированный блок 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%.