Включите дополнительный список файлов

Добавьте дополнительные вспомогательные файлы кода к анализу.

Например, предположим, что вы используете файлы C для проверки результатов из сгенерированного кода или предоставления входов сгенерированному коду. Анализ сгенерированного кода рассматривает только файлы, сгенерированные из Simulink® модель. Если вы хотите, чтобы анализ рассматривал файлы C, которые вы используете для проверки или входов, предоставьте их в качестве дополнительных файлов.

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

Настройки

По умолчанию: Off

Прочь

Анализ не включает дополнительные файлы.

На

Polyspace® анализирует указанные файлы C/C + + с помощью сгенерированного кода. Используйте кнопку Select files, чтобы задать эти дополнительные файлы.

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

Используйте pslinkoptions свойства EnableAdditionalFileList и AdditionalFileList.

The pslinkoptions функция позволяет вам создать Объект опций Polyspace, которую можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink) функция для связи этого свойства с моделью. Используйте параметры PSEnableAdditionalFileList и PSAdditionalFileList с теми же значениями, что и для pslinkoptions свойства EnableAdditionalFileList и AdditionalFileList. См. Pslinkoptions Properties.

См. также

|

Похожие темы