Exponenta Banner

sldvcompat

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

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

Синтаксис

status = sldvcompat(model)
[status, errmsgs] = 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, errmsgs] = sldvcompat(model) возвращает status из 1 (TRUE), если model совместимо с Simulink Design Verifier и 0 (FALSE) в противном случае и также возвращает список несовместимостей.

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_flipflop'

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

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

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

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

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

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

свернуть все

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

Если model совместимо с Simulink Design Verifier, errmsgs будет [] пустой. Если model несовместимо, errmsgs struct это возвращает список несовместимостей.

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

Чтобы проверять, совместима ли модель с Simulink Design Verifier, на вкладке Design Verifier, в разделе Analyze, нажимают Check Compatibility.

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

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

|

Темы

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

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

Поддержка