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