Exponenta Banner
exponenta event banner

sldvrun

Анализ модели

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

Синтаксис

status = sldvrun
status = sldvrun (модель)
status = sldvrun (подсистема)
status = sldvrun (модель, опции)
[status, filenames] = sldvrun (модель, параметры)
[status, filenames] = sldvrun (модель, параметры, sunUI, 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, на вкладке Design Verifier в разделе Режим (Mode) выберите любую из следующих опций.

  • Выберите «Обнаружение ошибок конструкции», затем щелкните «Обнаружение ошибок конструкции».

  • Выберите Генерация тестов и нажмите Генерация тестов.

  • Выберите Проверка свойств, затем нажмите Доказать свойства.

См. также

| |

Темы

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

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

Поддержка