Exponenta Banner

sldvgencov

Анализируйте модели, чтобы получить недостающее покрытие модели

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

Синтаксис

[status, cvdo] = sldvgencov(model, options, showUI, startCov)
[status, cvdo] = sldvgencov(block, options, showUI, startCov)
[status, cvdo, filenames] = sldvgencov(model, options, showUI, startCov)
[status, cvdo, filenames, newmodel] = sldvgencov(block, options, showUI, 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 если анализ не собирает данные о покрытии модели.

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

| | |

Темы

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

Документация Simulink Design Verifier
Поддержка