Exponenta Banner
exponenta event banner

sldvcompat

Проверка совместимости модели с анализом

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

Синтаксис

status = sldvcompat (модель)
status = sldvcompat (подсистема)
status = sldvcompat (подсистема, параметры)
status = sldvcompat (модель, параметры, sunUI, startCov)

Описание

пример

status = sldvcompat(model) возвращает status из 1 если model совместим с программным обеспечением Simulink ® Design Verifier™. В противном случае sldvcompat прибыль 0.

status = sldvcompat(subsystem) преобразует атомную подсистему Simulink subsystem во временную модель и проверяет совместимость временной модели с программным обеспечением Simulink Design Verifier. После проверки совместимости, sldvcompat закрывает временную модель.

status = sldvcompat(subsystem, options) проверяет подсистему, указанную subsystem для совместимости с программным обеспечением Simulink Design Verifier с помощью sldvoptions объект options.

status = sldvcompat(model, options, showUI, startCov) проверяет совместимость модели с программным обеспечением Simulink Design Verifier. Если showUI является trueошибки отображаются в средстве просмотра диагностики. В противном случае в командной строке MATLAB ® появятся ошибки. Анализ игнорирует все цели покрытия модели, удовлетворенные вstartCov, a cvdata объект.

Примеры

свернуть все

Проверьте sldvdemo_flipflop для совместимости с программным обеспечением Simulink Design Verifier.

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

open_system('sldvdemo_flipflop');
status = sldvcompat('sldvdemo_flipflop');

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

свернуть все

Обращение к модели Simulink.

Пример: 'sldvdemo_flipflop'

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

sldvoptions объект, определяющий параметры анализа.

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

true для отображения сообщений в окне журнала.
false (по умолчанию) для отображения сообщений в окне команд.

A cvdata объект, содержащий данные покрытия для модели.

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

свернуть все

Если model совместим с программным обеспечением Simulink Design Verifier, status является 1 . В противном случае sldvcompat прибыль 0.

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

Чтобы проверить совместимость модели с Simulink Design Verifier, на вкладке Design Verifier в разделе Анализ (Analyze) щелкните Проверить совместимость (Check Compatibility).

Чтобы проверить совместимость подсистемы, щелкните ее правой кнопкой мыши и выберите Design Verifier > Check Subsystem Compatibility.

См. также

|

Темы

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

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

Поддержка