Вы видите предупреждение как это при создании проекта Polyspace® из AUTOSAR XML и исходных файлов:
Could not find include file "MemMap.h"
Если вы используете переменные, или функции, объявленные в пропавших без вести, включают файл, можно также видеть ошибки позже.
По умолчанию Polyspace ищет только в исходной папке для #include- d файлы. Если включать файл не присутствует непосредственно в исходной папке, Polyspace не может найти его. Например, пропавшие без вести включают файл, может быть в подпапке исходной папки.
Если вы хотите расшириться, путь поиска файлов для включают файлы, явным образом добавляют новые папки.
В пользовательском интерфейсе 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 Используя Команду Сборки.
Вы можете также просто знать, что архитектура системы, чтобы определить местоположение пропавших без вести включает папки.
