Задайте аналитические опции Simulink® Coverage™.
Включите анализ покрытия. Смотрите Задают Опции Покрытия.
НаДанные о покрытии собраны в процессе моделирования.
От (значения по умолчанию) Данные о покрытии не собраны в процессе моделирования.
Параметр: CovEnable |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'off' |
Задайте, должен ли анализ собрать данные о покрытии для целой системы, или определенную модель, на которую ссылаются, или подсистему.
Данные о покрытии собраны для модели верхнего уровня, а также всех поддерживаемых подсистем и моделей - ссылок.
Данные о покрытии собраны для одной или нескольких моделей, на которые ссылаются. Чтобы задать модели, на которые ссылаются, использование параметр Выбирают Models. Можно также задать саму модель верхнего уровня.
Данные о покрытии собраны для определенной подсистемы. Чтобы задать подсистему, использование параметр Выбирают Subsystem.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovScope |
| Ввод: Вектор символов или строка |
Значение: 'EntireSystem' | 'ReferencedModels' | 'Subsystem' |
Значение по умолчанию: 'EntireSystem' |
Задайте модели, на которые ссылаются, для которых вы хотите покрытие.
В диалоговом окне Select Models for Coverage Analysis выберите модели, на которые ссылаются, для которых вы хотите покрытие. Можно также выбрать модель верхнего уровня. Значок рядом с именем модели указывает на режим симуляции: Normal, SIL, или PIL.
Чтобы включить этот параметр, выберите:
Задайте модели, на которые ссылаются, для Осциллографа анализа покрытия.
В отличие от этого, в пользовательском интерфейсе, на командной строке, вы исключаете модели из покрытия вместо включения их.
Параметр: CovModelRefExcluded |
| Ввод: Вектор символов или строка |
Значение: Список, разделенный запятыми имен модели, например, 'mRefA, mRefB, mRefC'. Если на ту же модель ссылаются в двух режимах симуляции, можно различать их использующий :, например, 'mRefA:normal, mRefA:sil'. |
Значение по умолчанию: '' |
Задайте путь к подсистеме, для которой Simulink Coverage собирает данные о покрытии. Задайте путь относительно топ-модели.
Выберите подсистему, для которой вы хотите покрытие.
Чтобы включить этот параметр, выберите:
Параметр: CovPath |
| Ввод: Вектор символов или строка |
Значение: Путь к подсистеме относительно (и, исключая) система Simulink верхнего уровня, например, 'Subsys1/subsys2' |
Значение по умолчанию: '/'. О данных о покрытии сообщают для целой системы. |
Включите покрытие для функций MATLAB® во внешних файлах MATLAB. Функции могут быть вызваны от блоков MATLAB Function или графиков Stateflow® в вашей модели. Смотрите Покрытие модели для функций MATLAB.
На (значении по умолчанию)Данные о покрытии собраны для функций MATLAB во внешних файлах MATLAB. Функции могут быть вызваны от блоков MATLAB Function или диаграмм Stateflow в модели.
'off'Данные о покрытии не собраны для внешних файлов MATLAB.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovExternalEMLEnable |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'on' |
Включите покрытие для кода C/C++ в блоках S-Function в вашей модели. См. также Покрытие для Пользовательского Кода C/C++ в Моделях Simulink.
На (значении по умолчанию)Данные о покрытии собраны для кода C/C++ в Блоках s-function в модели.
'off'Данные о покрытии не собраны для кода C/C++, используемого в модели.
Чтобы включить этот параметр, выберите:
Параметр: CovSFcnEnable |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'on' |
Выберите тип собранных данных о покрытии. См. также Типы Покрытия модели.
Анализ вычисляет Decision Coverage в процессе моделирования
Анализ Decision Coverage проверяет блоки, которые выполняют действие на основе того, оценивает ли операция к TRUE или FALSE. Например, блок Abs сначала оценивает, если вход меньше нуля и действий соответственно. Для каждой операции, которая может оценить к TRUE или FALSE, аналитические отчеты, какая часть результатов была верна в процессе моделирования и какая часть была ложной.
Смотрите Decision Coverage (DC).
Анализ вычисляет условие и Decision Coverage в процессе моделирования.
Анализ покрытия условия проверяет блоки, которые выводят логическую комбинацию их входных параметров (таких как блоки Logical Operator). Для каждого блока анализ записывает, какая часть входных параметров была верна в процессе моделирования и какая часть была ложной.
Смотрите Покрытие условия (CC).
Анализ вычисляет Модифицированное Условие/Decision Coverage (MCDC) в процессе моделирования.
Анализ проверяет, выполняется ли каждый блок, по крайней мере, однажды в процессе моделирования.
Смотрите Покрытие выполнения (EC).
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovMetricStructuralLevel |
| Ввод: Вектор символов или строка |
Значение: 'BlockExecution' | 'ConditionDecision' | 'Decision' | 'MCDC' |
Значение по умолчанию: 'Decision' |
Включите покрытие интерполяционных таблиц. Смотрите Типы Покрытия модели.
НаБлоки с интерполяционными таблицами проверяются на покрытие. Тест достигает полного охвата интерполяционной таблицы, если это выполняет каждый интервал таблицы, по крайней мере, однажды.
От (значения по умолчанию) Покрытие интерполяционных таблиц не зарегистрировано.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovMetricLookupTable |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'off' |
Включите покрытие диапазона сигнала. Смотрите Типы Покрытия модели.
НаМаксимальные и минимальные значения сигналов зарегистрированы для каждого блока, который имеет выходной сигнал.
От (значения по умолчанию) Информация о диапазоне сигнала не зарегистрирована.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovMetricSignalRange |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'off' |
Включите покрытие размера сигнала. Смотрите Типы Покрытия модели.
НаМаксимум, минимальный и выделенный размер сигнала зарегистрирован для каждого блока, который имеет выходной сигнал переменного размера. Смотрите Основы Сигнала Переменного Размера (Simulink).
От (значения по умолчанию) Информация о размере сигнала не зарегистрирована.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovMetricSignalSize |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'off' |
Включите покрытие целей и ограничений, заданных в блоках Simulink Design Verifier™. Смотрите Типы Покрытия модели.
НаЧерез блоки Simulink Design Verifier можно задать цели и ограничения в модели. Чтобы проверять, удовлетворяют ли этим целям, вы сначала генерируете тесты с помощью этих блоков. Можно выполнить эти тесты на исходной модели и записать, удовлетворили ли заданной цели, по крайней мере, однажды. Чтобы записать это покрытие, включите этот параметр.
Для примера смотрите Покрытие Simulink Design Verifier.
От (значения по умолчанию) Информация о покрытии не зарегистрирована для блоков Simulink Design Verifier.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovMetricObjectiveConstraint |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'off' |
Включите насыщение на покрытии целочисленного переполнения. Смотрите Типы Покрытия модели.
НаДля определенных блоков, таких как блок Abs, можно указать, что они должны насыщать на целочисленном переполнении. Если вы включаете этот параметр, число раз, которое эти блоки насыщают в процессе моделирования, зарегистрировано.
От (значения по умолчанию) Насыщение на информации о целочисленном переполнении не зарегистрировано.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovMetricSaturateOnIntegerOverflow |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'off' |
Включите реляционное граничное покрытие. Смотрите Типы Покрытия модели.
НаОпределенные блоки, такие как использование блока Relational Operator или If реляционная операция. Если вы включаете этот параметр, проверки анализа покрытия, если эти операции выполняются с равным (целое число) или почти равные значения (с плавающей точкой).
От (значения по умолчанию) Реляционная граничная информация о покрытии не зарегистрирована.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovMetricRelationalBoundary |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'off' |
Задайте значение абсолютного допуска к реляционному граничному покрытию. Смотрите Реляционное Граничное Покрытие.
Введите значение с плавающей точкой. Смотрите Числа с плавающей запятой (MATLAB).
Реляционное граничное покрытие проверяет блоки с реляционными операциями (такими как блок Relational Operator). Анализ проверяет, выполняются ли операции с операндами с плавающей точкой, которые отличаются самое большее этим значением.
Чтобы включить этот параметр, выберите:
Параметр: CovBoundaryAbsTol |
| Ввод: Число с плавающей запятой |
| Значение: Абсолютное значение допуска, такое как 1e-06 |
| Значение по умолчанию: 1e-05 |
Задайте значение относительного допуска к реляционному граничному покрытию. Смотрите Реляционное Граничное Покрытие.
Введите номер меньше чем 1.
Реляционное граничное покрытие проверяет блоки с реляционными операциями (такими как блок Relational Operator). Анализ проверяет, выполняются ли операции с операндами с плавающей точкой, которые отличаются самое большее этой частью операндов.
Например, если вы входите 0.01, аналитические проверки если операция lhs < = rhs в вашей модели выполняется с операндами, которые отличаются самое большее:
0.01 * max(|lhs|,|rhs|)
Чтобы включить этот параметр, выберите:
Параметр: CovBoundaryRelTol |
| Ввод: Число с плавающей запятой |
| Значение: Относительное значение допуска такой как 0,001 |
| Значение по умолчанию: 0.01 |
Покрытие записи только для интервала требуемого времени.
Например, вы можете хотеть ограничить запись покрытия модели, если ваша модель оказывает переходные влияния рано в симуляции, или если вам нужно покрытие модели, о котором сообщают только для конкретной операции модели.
НаПокрытие зарегистрировано только для временного интервала, который вы задаете. Чтобы задать временной интервал, используйте эти параметры:
От (значения по умолчанию) Покрытие зарегистрировано на целое время симуляции.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovUseTimeInterval |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'off' |
Задайте, когда сбор данных покрытия должен будет начаться.
Введите временную стоимость (в секундах).
Чтобы включить этот параметр, выберите:
Параметр: CovStartTime |
| Ввод: Число с плавающей запятой |
| Значение: Время в секундах, например, 2 |
| Значение по умолчанию: 0 |
Задайте, когда сбор данных покрытия должен будет закончиться.
Введите временную стоимость (в секундах).
Чтобы включить этот параметр, выберите:
Параметр: CovStopTime |
| Ввод: Число с плавающей запятой |
| Значение: Время в секундах, например, 4 |
| Значение по умолчанию: 0 |
Сообщите о покрытии для каждого блока в модели, которая поддерживается для покрытия.
На (значении по умолчанию)Покрытие зарегистрировано для каждого поддерживаемого блока в модели. Значение параметра конфигурации Block reduction проигнорировано. Смотрите сокращение Блока (Simulink).
'off'Покрытие не зарегистрировано для блоков, которые эффективно удалены из модели из-за сокращения блока. Например, покрытие не зарегистрировано для блока, который уменьшается устранением мертвого кода.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovForceBlockReductionOff |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'on' |
Укажите, что покрытие должно учесть порядок операндов в блоках, которые выполняют логическую операцию, например, блоки Logical operator.
Например, если порядок двух входных параметров с блоком Logical AND учтен, второй вход избыточен, когда первый вход является ложным. Поэтому для случаев, где первый вход является ложным, пути, которые приводят к второму входу, не рассматриваются для покрытия.
НаАнализ покрытия не рассматривает вход к логической операции, которая представляется избыточная другим входом.
От (значения по умолчанию) Анализ покрытия рассматривает все входные параметры к логической операции.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovLogicBlockShortCircuit |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'off' |
Задайте определение Модифицированного Условия/Decision Coverage (MCDC), чтобы использовать во время анализа покрытия. Смотрите Модифицированное Условие и Decision Coverage (MCDC) Определения в Simulink Coverage.
MaskingИспользуйте маскирование анализ MCDC. Установить независимость входных параметров, маскируя анализ MCDC не требует, чтобы все другие входные параметры строго считались постоянные, в то время как один вход варьируется. Поэтому маскирование анализ MCDC позволяет вам удовлетворять большему количеству целей в данной симуляции.
UniqueCauseИспользуйте уникальную причину анализ MCDC.
Чтобы включить этот параметр, выберите:
Задайте Модифицированное Условие/Decision Coverage (MCDC) для уровня Структурного покрытия.
Параметр: CovMcdcMode |
| Ввод: Вектор символов или строка |
Значение: 'Masking'|'UniqueCause' |
Значение по умолчанию: 'Masking' |
Предупредите, когда неподдерживаемые блоки будут существовать в модели.
На (значении по умолчанию)Обеспечьте предупреждение, когда блоки в модели не будут поддержаны для анализа покрытия.
'off'Не обеспечивайте предупреждение для неподдерживаемых блоков.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovUnsupportedBlockWarning |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'on' |
Задайте файл фильтра, чтобы исключить определенные объекты модели из анализа покрытия в процессе моделирования.
Можно использовать API командной строки, чтобы создать правила фильтрации для блоков. Критерии выбора для фильтрации включают фильтрацию по отдельному блоку ID, фильтрующему для всех блоков того же типа, фильтруя определенные решения, условия и результаты блока и т.д. Можно также отфильтровать Код С++ S-функции результатом покрытия кода.
Для примера фильтрации см.:
Пользовательский интерфейс: Создайте, Редактирование и Правила Фильтра Покрытия Представления.
Командная строка: информация о релизах R2017b для Simulink Coverage.
Введите полный путь в .cvf файл с правилами фильтра.
Чтобы включить этот параметр, выберите анализ покрытия Enable.
Параметр: CovFilter |
| Ввод: Вектор символов или строка |
Значение: Полный путь к .cvf файл |
| Значение по умолчанию: |
Задайте тип метрики покрытия, которая будет зарегистрирована. См. также Типы Покрытия модели.
Введите последовательность букв, которые описывают типы метрики покрытия. Например, последовательность dc указывает, что решение и покрытие условия должны быть зарегистрированы.
Типы метрики покрытия:
d: Decision Coverage
c: Покрытие условия
m: Покрытие MCDC
t: Покрытие интерполяционных таблиц
r: Покрытие диапазона сигнала
o: Покрытие для блоков Simulink Design Verifier
b: Реляционное граничное покрытие
r: Покрытие диапазона сигнала
Кроме того, можно использовать эти буквы. Буквы соответствуют другим параметрам.
Чтобы включить этот параметр, выберите:
Параметр: CovMetricSettings |
Значение: Вектор символов или строка, где каждый символ показывает метрику покрытия. Например, 'dc' задает покрытие условия и решение. |
Значение по умолчанию: 'dwe' |
Данные о покрытии модели записи в процессе моделирования.
Этот параметр представляет рабочий процесс устаревший. Вместо этого используйте эти параметры:
Чтобы включить покрытие, использование Включает анализ покрытия.
Чтобы выполнить анализ покрытия для целой модели, используйте Осциллограф анализа покрытия.
На (значении по умолчанию)Simulink собирает данные о покрытии модели в процессе моделирования.
'off'Данные о покрытии модели не собирают или сообщают.
Параметр: RecordCoverage |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'on' |
Данные о покрытии записи для моделей, на которые ссылаются, в процессе моделирования.
Этот параметр представляет рабочий процесс устаревший. Вместо этого используйте эти параметры:
Чтобы включить покрытие, использование Включает анализ покрытия.
Чтобы выполнить анализ покрытия для моделей, на которые ссылаются, используйте Осциллограф анализа покрытия.
Чтобы задать модели, на которые ссылаются, использование Выбирать Models.
Введите один из них:
on: Данные о покрытии собраны для всех моделей, на которые ссылаются.
off: Данные о покрытии не собраны для моделей, на которые ссылаются.
filtered: Данные о покрытии собраны для всех моделей, на которые ссылаются, кроме тех, исключенное использование параметра Выбирает Models.
Параметр: CovModelRefEnable |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off'|'filtered' |
Значение по умолчанию: 'off' |
Покрытие записи для модели верхнего уровня в дополнение к моделям, на которые ссылаются.
Этот параметр представляет рабочий процесс устаревший. Вместо этого используйте эти параметры:
Чтобы включить покрытие, использование Включает анализ покрытия.
Чтобы выполнить анализ покрытия для моделей, на которые ссылаются, используйте Осциллограф анализа покрытия.
Чтобы включать или исключить модель верхнего уровня, использование Выбирать Models.
На (значении по умолчанию)Данные о покрытии собраны для модели верхнего уровня.
'off'Данные о покрытии не собраны для модели верхнего уровня.
Чтобы включить этот параметр, выберите:
Задайте модель, на которую ссылаются, для Осциллографа анализа покрытия.
Параметр: CovIncludeTopModel |
| Ввод: Вектор символов или строка |
Значение: 'on'|'off' |
Значение по умолчанию: 'on' |