Exponenta Banner
exponenta event banner

sldvrun

Модель Analyze

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

Синтаксис

status = sldvrun
status = sldvrun(model)
status = sldvrun(subsystem)
status = sldvrun(model, options)
[status, filenames] = sldvrun(model, options)
[status, filenames] = sldvrun(model, options, showUI, startCov)

Описание

status = sldvrun анализирует текущую модель, чтобы сгенерировать тесты, которые предоставляют страховую защиту модели или доказывают образцовые свойства.

status = sldvrun(model) анализирует model, чтобы сгенерировать тесты, которые предоставляют страховую защиту модели или доказывают образцовые свойства

status = sldvrun(subsystem) преобразовывает атомарную подсистему subsystem в новую модель и запускает анализ верификации проекта новой модели.

пример

status = sldvrun(model, options) анализирует model при помощи объекта sldvoptions options.

[status, filenames] = sldvrun(model, options) анализирует model и возвращает filenames, который программное обеспечение создает во время анализа.

[status, filenames] = sldvrun(model, options, showUI, startCov) открывает логарифмическое окно во время анализа, если вы устанавливаете showUI на true. Если вы устанавливаете showUI на false (значение по умолчанию), sldvrun направляет вывод к командной строке MATLAB®.

Примеры

свернуть все

Установите параметры sldvoptions и анализируйте модель при помощи заданных опций

Установите параметры sldvoptions: 

opts = sldvoptions;
opts.Mode = 'TestGeneration';              % Perform test-generation analysis
opts.ModelCoverageObjectives = 'MCDC';     % MCDC coverage
opts.SaveHarnessModel = 'off';             % Don't save harness as model file
opts.SaveReport = 'on';                    % Save the HTML report

Откройте модель sldvdemo_cruise_control и анализируйте модель при помощи заданных опций:

open_system ('sldvdemo_cruise_control');
[ status, files ] = sldvrun('sldvdemo_cruise_control', opts);

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

свернуть все

Обработайте к модели Simulink®.

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

Объект sldvoptions, который задает аналитические опции.

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

true, чтобы отобразить сообщения в логарифмическом окне.
false (значение по умолчанию), чтобы отобразить сообщения в Командном окне.

Объект cvdata, который задает объекты покрытия модели для программного обеспечения, чтобы проигнорировать.

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

свернуть все

Структура, поля которой перечисляют имена файлов, которые генерирует программное обеспечение Simulink Design Verifier™.

DataFile

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

HarnessModel

Модель тестовой обвязки Simulink

Report

Отчет HTML результатов симуляции

ExtractedModel

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

BlockReplacementModel

Модель Simulink получена после замен блока

Эти значения, которые перечисляют состояние анализа.

-1

Анализ превысил максимальное время вычислений

0 

Ошибка

1 

Обработка обычно завершается

Альтернативы

Запускать анализ Simulink Design Verifier, в окне Model Editor, избранном одном из следующего:

  • Analysis> Design Verifier> Detect Design Errors

  • Analysis> Design Verifier> Generate Tests

  • Analysis> Design Verifier> Prove Properties

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

| |

Темы

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

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