exponenta event banner

cvtest

Создание объекта спецификации теста покрытия модели

Описание

Использовать cvtest для создания объекта спецификации теста, в котором хранятся настройки покрытия модели. Пройти cvtest объект для cvsim для выполнения анализа покрытия на основе параметров настройки.

Создание

Описание

пример

cvto = cvtest(root) создает cvtest с настройками покрытия по умолчанию. root может быть именем модели или маркером перемещения модели. root также может быть именем или дескриптором подсистемы в модели, в этом случае для покрытия анализируются только указанная подсистема и ее потомки.

cvto = cvtest(root,label) создает cvtest с обозначенной меткой.

cvto = cvtest(root,label,setupCmd) создает cvtest с помощью команды setupCmd. Команда setup выполняется в базовом рабочем пространстве MATLAB ® перед выполнением анализа покрытия.

Входные аргументы

развернуть все

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

Свойства

развернуть все

Это свойство доступно только для чтения.

Внутренний идентификатор модели, возвращаемый как скаляр.

Это свойство доступно только для чтения.

Идентификатор конфигурации внутреннего покрытия, возвращаемый как скаляр.

Это свойство доступно только для чтения.

Имя системы, указанной для анализа, возвращаемое в виде символьного или строкового массива.

Типы данных: char | string

Тестовая метка, заданная как символьный или строковый массив. Эта метка отображается в отчете о покрытии в качестве имени теста.

Типы данных: char | string

Команда, выполняемая в базовом рабочем пространстве MATLAB перед моделированием, заданная как символьный или строковый массив.

Команда setup выполняется перед каждым моделированием.

Типы данных: char | string

Типы покрытия для сбора, указанные как структура.

settings включает следующие поля:

Собственность

Описание

Ценности

settings.decision

Включить данные покрытия принятия решений.

1 (по умолчанию) | 0

settings.condition

Включить данные покрытия условий.

1 | 0 (по умолчанию)

settings.mcdc

Активизируйте измененные данные о покрытии принятия решения об условиях (MCDC).

Если settings.mcdc включен, можно также выбрать, какое определение MCDC использовать с options.mcdcmode собственность.

1 | 0 (по умолчанию)

settings.designverifier

Включить данные покрытия из блоков Simulink ® Design Verifier™.

1 | 0 (по умолчанию)

settings.tableExec

Включить данные покрытия для таблиц подстановки.

1 | 0 (по умолчанию)

settings.sigrange

Включить данные диапазона сигналов.

1 | 0 (по умолчанию)

settings.sigsize

Включить данные о размере сигнала.

1 | 0 (по умолчанию)

settings.overflowsaturation

Включить насыщение для данных покрытия целочисленного переполнения.

1 | 0 (по умолчанию)

settings.relationalop

Включить данные покрытия реляционных границ.

Использовать options.covBoundaryRelTol и options.covBoundaryAbsTol для указания допусков для этого типа покрытия.

Дополнительные сведения см. в разделе Покрытие реляционных границ

1 | 0 (по умолчанию)

Дополнительные параметры покрытия, указанные как структура.

options включает следующие поля:

Собственность

Описание

Ценности

options.covBoundaryRelTol

Относительный допуск для покрытия реляционных границ.

Дополнительные сведения см. в разделе Покрытие реляционных границ.

0.01 (по умолчанию) | scalar

options.CovBoundaryAbsTol

Абсолютный допуск для покрытия реляционных границ.

Дополнительные сведения см. в разделе Покрытие реляционных границ.

1e-5 (по умолчанию) | scalar

options.useTimeInterval

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

Использовать options.intervalStartTime и options.intervalStopTime для указания временного интервала.

Дополнительные сведения см. в разделе Определение параметров покрытия

1 | 0 (по умолчанию)

options.intervalStartTime

Когда начать запись покрытия.

Укажите это свойство, если options.useTimeInterval включен.

0 (по умолчанию) | scalar

options.intervalStopTime

Когда прекратить запись покрытия.

Укажите это свойство, если options.useTimeInterval включен.

0 (по умолчанию) | scalar

options.forceBlockReduction

Следует ли записывать покрытие для блоков, помеченных параметром Block Reduction.

  • 1 (по умолчанию) - переопределяет параметр «Сокращение блока симулятора», если он включен. Покрытие записывается для каждого поддерживаемого блока в модели. Значение параметра конфигурации Block Reduction игнорируется.

  • 0 - Используйте значение параметра конфигурации Block Reduction. Если включено сокращение блоков, покрытие не записывается для блоков, которые эффективно удаляются из модели из-за уменьшения блоков. Например, покрытие не записывается для блока, который уменьшается путем исключения мертвого кода.

Дополнительные сведения см. в разделе Сокращение блоков

1 (по умолчанию) | 0

options.mcdcMode

Определение MCDC, применяемое к модели, определяется как одна из следующих опций:

  • 'masking' - Использовать masking определение охвата MCDC.

  • 'unique cause' - Использовать unique cause определение охвата MCDC.

Дополнительные сведения см. в разделе Определения условий и решений (MCDC) в Simulink Coverage.

'masking' (по умолчанию) | 'unique cause'

Фильтр покрытия, указанный как структура.

filter имеет одно поле, filter.fileName. filter.fileName имя файла фильтра покрытия, применяемого к анализу покрытия, указанного как символьный или строковый массив.

Дополнительные сведения см. в разделе Правила и файлы фильтра покрытия

Параметры привязки модели, заданные как структура.

modelRefSettings включает следующие поля:

Собственность

Описание

Ценности

modelRefSettings.enable

Настройка покрытия привязки модели, заданная в качестве одной из следующих опций:

  • 'off' - Отключить покрытие для всех ссылочных моделей.

  • 'all' или 'on' - Включить покрытие для всех поддерживаемых ссылочных моделей.

  • 'filtered' - Включить покрытие для всех поддерживаемых ссылочных моделей, кроме перечисленных в excludedModels поле.

'off' (по умолчанию) | 'on' | 'all' | 'filtered'

modelRefSettings.excludeTopModel

Следует ли исключить модель верхнего уровня из анализа покрытия, указанного как числовое или логическое 1 (true) или 0 (false).

1 (по умолчанию) | 0

modelRefSettings.excludedModels

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

Чтобы использовать это поле, установите modelRefSettings.enable кому 'filtered'.

char | string

Требуется ли сбор покрытия для внешних программных файлов, вызываемых функциями MATLAB в модели, определенной как структура.

emlSettings имеет одно поле, emlSettings.enableExternal. emlSettings.enableExternal - собирать ли внешние программные файлы, вызываемые функциями MATLAB, заданными как числовые или логические 1 (true)(default) или 0 (false).

Требуется ли сбор покрытия для блоков C/C + + S-Function в модели, указанных как структура.

sfcnSettings имеет одно поле, sfcnSettings.enableSfcn. sfcnSettings.enableSfcn является ли сбор покрытия S-Function, указанного как логическое 1 (true)(default) или 0 (false).

Дополнительные сведения см. в разделе S-функция.

Примеры

свернуть все

В этом примере создается cvtest объект для блока ограничения регулируемой скорости в slvnvdemo_ratelim_harness модель. Моделирование модели для получения покрытия принятия решений и насыщения целочисленными данными покрытия переполнения.

Откройте окно slvnvdemo_ratelim_harness модель и определите тестовый объект с помощью cvtest.

open_system('slvnvdemo_ratelim_harness');
testObj = cvtest(['slvnvdemo_ratelim_harness', ...
		  '/Adjustable Rate Limiter']);
testObj.label = 'Gain within slew limits';

Добавление команды установки в testObj. Команда setup выполняется в базовом рабочем пространстве MATLAB перед выполнением анализа покрытия. В этом случае команда setup загружает данные в рабочее пространство, необходимое для моделирования.

testObj.setupCmd = ...
	'load slvnvdemo_ratelim_harness_data.mat';

Чтобы получить покрытие принятия решений и насыщение при покрытии переполнением целых чисел, включите decision и overflowsaturation поля в settings структура путем установки для полей значения 1.

testObj.settings.decision = 1;
testObj.settings.overflowsaturation = 1;

Наконец, смоделировать модель с анализом покрытия, предоставив cvtest объект для cvsim функция.

cvdo = cvsim(testObj);
Представлен до R2006a