Exponenta Banner
exponenta event banner

sldvgencov

Анализ моделей для получения отсутствующего покрытия модели

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

Синтаксис

[status, cvdo] = sldvgencov (модель, параметры, sunUI, startCov)
[status, cvdo] = sldvgencov (блок, параметры, sunUI, startCov)
[status, cvdo, filenames] = sldvgencov (модель, параметры, sunUI, startCov)
[status, cvdo, filenames, newmodel] = sldvgencov (блок, параметры, sunUI, startCov)

Описание

[status, cvdo] = sldvgencov(model, options, showUI, startCov) анализирует модель model с помощью sldvoptions объект options.

[status, cvdo] = sldvgencov(block, options, showUI, startCov) анализирует атомную подсистему block с помощью sldvoptions объект options.

пример

[status, cvdo, filenames] = sldvgencov(model, options, showUI, startCov) анализирует model и возвращает имена файлов, которые программа создает в filenames.

[status, cvdo, filenames, newmodel] = sldvgencov(block, options, showUI, startCov) анализирует block с помощью sldvoptions объект options. Программное обеспечение возвращает дескриптор newmodel, который содержит копию block подсистема.

Примеры

свернуть все

Проанализируйте данные покрытия и соберите недостающие данные покрытия.

Проанализируйте модель Cruise Control и смоделируйте версию этой модели с помощью данных из тестовых примеров предыдущего анализа. Сравните данные покрытия модели и соберите покрытие, отсутствующее в sldvdemo_cruise_control_mod анализ модели:

opts = sldvoptions;
% Generate test cases
opts.Mode = 'TestGeneration';
% Specify MCDC coverage
opts.ModelCoverageObjectives = 'MCDC';
% Don't create harness model
opts.SaveHarnessModel = 'off';
% or report
opts.SaveReport = 'off';
open_system 'sldvdemo_cruise_control';
[ status, files ] = sldvrun('sldvdemo_cruise_control', opts);
open_system 'sldvdemo_cruise_control_mod';
[ outData, startCov ] = sldvruntest('sldvdemo_cruise_control_mod',...
    files.DataFile, [], true);
cvhtml('Coverage with the original test suite', startCov);
[ status, covData, files ] = sldvgencov('sldvdemo_cruise_control_mod',...
    opts, false, startCov);

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

свернуть все

Обращение к атомной подсистеме в модели Simulink ®.

Обращение к модели Simulink.

sldvoptions объект, определяющий параметры анализа.

Логическое значение, указывающее, где отображать сообщения во время анализа:

true для отображения сообщений в окне журнала.
false (по умолчанию) для отображения сообщений в окне команд MATLAB ®.

cvdata объект. Анализ игнорирует цели покрытия модели, уже выполненные в startCov.

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

свернуть все

cvdata объект, содержащий данные покрытия для новых тестов.

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

DataFile

MAT-файл с необработанными входными данными.

HarnessModel

Модель электрического жгута Simulink.

Report

HTML-отчет о результатах.

ExtractedModel

Модель Simulink, извлеченная из подсистемы.

BlockReplacementModel

Модель Simulink, полученная после замены блоков.

Логическое значение, указывающее, собрал ли анализ охват модели.

true для анализа собранных данных покрытия модели.
false если анализ не собирает данные о покрытии модели.

Если API вызывается с помощью block, затем программное обеспечение возвращает дескриптор новой модели в newmodel который содержит копию атомной подсистемы block.

См. также

| | |

Темы

Представлен в R2007a

Документация по Simulink Design Verifier

Поддержка