Добавьте дополнительные файлы кода поддержки в анализ.
Например, предположите, что вы используете файлы C для тестирования результатов сгенерированного кода или обеспечения входных параметров к сгенерированному коду. Анализ сгенерированного кода только считает файлы сгенерированными из модели Simulink®. Если вы хотите, чтобы анализ рассмотрел файлы C, которые вы используете для тестирования или входных параметров, обеспечиваете их как дополнительные файлы.
Образцовая категория параметров конфигурации: Polyspace
Значение по умолчанию: 'off'
Анализ не включает дополнительных файлов.
Polyspace® анализирует заданные файлы C/C++ со сгенерированным кодом. Используйте кнопку Select files, чтобы задать эти дополнительные файлы.
Используйте свойства pslinkoptions
EnableAdditionalFileList
и AdditionalFileList
.
Функция pslinkoptions
позволяет вам создавать Polyspace, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать функцию set_param
, чтобы сопоставить это свойство с моделью. Используйте параметры PSEnableAdditionalFileList
и PSAdditionalFileList
с теми же значениями что касается свойств pslinkoptions
EnableAdditionalFileList
и AdditionalFileList
. См. pslinkoptions Свойства.
pslinkoptions
| Свойства pslinkoptions