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
Для просмотра документации необходимо авторизоваться на сайте