sldvrun

Описание

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, на вкладке Design Verifier, в разделе Mode, избранной любой из этих опций:

  • Выберите Design Error Detection, затем нажмите Detect Design Errors.

  • Выберите Test Generation, затем нажмите Generate Tests.

  • Выберите Property Proving, затем нажмите Prove Properties.

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