Exponenta Banner

cvtest

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

расширьте все на странице

Описание

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

Создание

Синтаксис

cvto = cvtest(root)
cvto = cvtest(root,label)
cvto = cvtest(root,label,setupCmd)

Описание

пример

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

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

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

Входные параметры

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

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

Свойства

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

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

Внутренняя модель ID, возвращенная как скаляр.

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

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

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

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

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

Протестируйте метку в виде символьного массива или массива строк. Эта метка появляется в отчете покрытия как тестовое имя.

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

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

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

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

Типы покрытия, чтобы собраться в виде структуры.

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

Свойство

Описание

Значения

settings.decision

Включите данные о Decision Coverage.

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

settings.condition

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

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

settings.mcdc

Включите данные о модифицированном Decision Coverage условия (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 Simulink, если это включено. Покрытие зарегистрировано для каждого поддерживаемого блока в модели. Значение параметра конфигурации Block Reduction проигнорировано.

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

Для получения дополнительной информации смотрите сокращение Блока

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

options.mcdcMode

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

  • 'masking' — Используйте masking определение покрытия MCDC.

  • 'unique cause' — Используйте unique cause определение покрытия MCDC.

Для получения дополнительной информации смотрите Модифицированное Условие и Decision Coverage (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).

Собрать ли покрытие для Блоков s-function C/C++ в вашей модели в виде структуры.

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

Для получения дополнительной информации смотрите S-Function.

Примеры

свернуть все

В этом примере вы создаете a cvtest объект для блока Adjustable Rate Limiter в slvnvdemo_ratelim_harness модель. Симулируйте модель, чтобы получить Decision Coverage и насыщение на данных о покрытии целочисленного переполнения.

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

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

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

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

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

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

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

cvdo = cvsim(testObj);

Смотрите также

|

Темы

Представлено до R2006a

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

Поддержка