exponenta event banner

Глубина проверки эталона модели

Только для моделей, использующих код Embedded Coder ®. Укажите глубину иерархии модели для анализа.

Категория параметров конфигурации модели: Polyspace

Настройки

По умолчанию: Current model only

Current model only

Polyspace ® анализирует только текущую модель

1

Полиспейс анализирует текущую модель и ссылочные модели, которые находятся на один уровень ниже текущей модели.

2

Polyspace анализирует текущую модель и ссылочные модели, которые находятся на два уровня ниже текущей модели.

3

Polyspace анализирует текущую модель и ссылочные модели, которые находятся на трех уровнях ниже текущей модели.

All

Polyspace анализирует текущую модель и все ссылочные модели.

Информация командной строки

Используйте pslinkoptions собственность ModelRefVerifDepth.

pslinkoptions функция позволяет создать объект опций Polyspace, который можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink), чтобы связать это свойство с моделью. Использовать параметр PSModelRefVerifDepth с тем же значением, что и для pslinkoptions собственность ModelRefVerifDepth. См. раздел Свойства pslinkoptions.

См. также

|

Связанные темы