Exponenta Banner

sldvcompat

Проверяйте модель на совместимость с анализом

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

Синтаксис

status = sldvcompat(model)
status = sldvcompat(subsystem)
status = sldvcompat(subsystem, options)
status = sldvcompat(model, options, showUI, 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, объекте cvdata.

Примеры

свернуть все

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

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

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

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

свернуть все

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

Пример: 'sldvdemo_cruise_control'

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

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

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

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

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

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

свернуть все

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

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

Чтобы проверять, совместима ли модель с программным обеспечением Simulink Design Verifier в Редакторе Simulink, выбирают Analysis> Design Verifier> Check Compatibility> Model.

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

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

|

Темы

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

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