Exponenta Banner
exponenta event 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® Проектируйте 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_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

Поддержка