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