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
Поддержка