polyspace-autosar
Ошибка: не мог найти включают файлПри создании проекта Polyspace® из описания AUTOSAR, по умолчанию, программное обеспечение ищет только в исходной папке для #include
- d файлы. Если включать файл не присутствует непосредственно в исходной папке, Polyspace не может найти его. Например, пропавшие без вести включают файл, может быть в подпапке исходной папки.
Вы видите предупреждение как это при создании проекта Polyspace из AUTOSAR XML и исходных файлов:
Could not find include file "MemMap.h"
Если вы используете переменные, или функции, объявленные в пропавших без вести, включают файл, можно также видеть ошибки позже.
Если вы хотите расшириться, путь поиска файлов для включают файлы, явным образом добавляют новые папки.
В пользовательском интерфейсе Polyspace используйте поле Specify additional include folders.
Смотрите создают аналитическую настройку Polyspace из технических требований AUTOSAR.
В командной строке используйте опцию -I
.
Смотрите polyspace-autosar
.
Можно найти, что возможные включают папки, чтобы добавить несколькими способами:
Если включать файл находится в подпапке папки исходного кода, анализ предлагает, чтобы подсказка разрешения с одним или несколькими включала папки, которые могут содержать отсутствие, включают файл. Видеть подсказки разрешения, в файле psar_project.xhtml
, нажмите кнопку на верхнем левом углу, затем нажмите Behaviors. На вкладке Behaviors, ниже ошибок в фазе экстракции кода, щелкают по ссылке, чтобы видеть сводные данные диагностики экстракции кода с возможными подсказками разрешения.
Вы видите, что подсказки разрешения, то есть, возможный включают папки, чтобы добавить, который разрешил бы, что некоторые пропавшие без вести включают файлы.
Вместо того, чтобы фиксировать отдельные ошибки экстракции кода подсказки разрешения, можно также загрузить файл всеми опциями, которые реализуют подсказки. На итоговой странице щелкните по ссылке Download polyspace-autosar options.
Можно использовать загруженный текстовый файл с polyspace-autosar
опция -options-file
реализовывать разрешение подсказывает в одном выстреле.
Если вы используете команду сборки для компиляции, можно извлечь параметры компиляции, такие как путь к, включает от команды сборки. Смотрите Создают Аналитическую Настройку Polyspace из Технических требований AUTOSAR.
Вы можете также просто знать, что архитектура системы, чтобы определить местоположение пропавших без вести включает папки.