Задайте аналитические опции 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 во время симуляции.
Анализ покрытия условия проверяет блоки, которые выводят логическую комбинацию их входных параметров (таких как блоки Логического оператора). Для каждого блока анализ записывает, какая часть входных параметров была верна во время симуляции и какая часть была ложной.
Смотрите Покрытие условия (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' |
Включите реляционное граничное покрытие. Смотрите Типы Покрытия модели.
НаОпределенные блоки, такие как Оператор отношения или Если использование блока реляционная операция. Если вы включаете этот параметр, проверки анализа покрытия, если эти операции выполняются с равным (целое число) или почти равные значения (с плавающей точкой).
От (значения по умолчанию) Реляционная граничная информация о покрытии не зарегистрирована.
Чтобы включить этот параметр, выберите анализ покрытия 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 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' |