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 если анализ не собирает данные о покрытии модели.

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

См. также

| | |

Темы

Введенный в R2007a

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

Поддержка

Для просмотра документации необходимо авторизоваться на сайте