Exponenta Banner
exponenta event banner

Твердость polyspace-autosar Ошибка: тип данных не распознан

Проблема

При создании проекта Polyspace ® из описания AUTOSAR программное обеспечение анализирует спецификации AUTOSAR XML и импортирует типы данных, необходимые компонентам программного обеспечения в области проверки. Если в коде используется тип данных, который отсутствует в спецификации компонента программного обеспечения, анализ не распознает этот тип данных.

Вы видите ошибку, такую как:

Identifier "LaneDetectionVar" is undefined
при создании проекта Polyspace из XML AUTOSAR и исходных файлов. Ошибка предполагает, что тип данных, используемый в исходном коде, не распознан.

Возможные решения

Можно принудительно импортировать типы данных, не определенные для проверяемых компонентов программного обеспечения. Использовать опцию -autosar-datatype. Посмотрите polyspace-autosar.

Уже импортированные типы данных можно найти с помощью файла autosar_model_key_elements.html в AUTOSAR подпапка папки проекта. В DataTypes в разделе HTML, файл показывает:

  • Автоматически импортированные типы данных в следующем формате:

    косвенныйpkg.types.app.Array_2_n320to320
    косвенныйpkg.types.app.Boolean

    Текст indirect в первом столбце указывается, что типы данных импортируются автоматически.

  • Явно импортированные типы данных в следующем формате:

    имяtst003.typ.app.Boolean

    Текст name в первом столбце указывает, что тип данных tst003.typ.app.Boolean явно импортируется для анализа.

В некоторых случаях анализ предлагает подсказку разрешения с использованием дополнительных типов данных, импортированных из ARXML, в качестве возможного соответствия для нераспознанного типа данных. Чтобы увидеть подсказки по разрешению, в файле psar_project.xhtmlнажмитеnavigation button кнопку в верхнем левом углу и выберите «Поведение». На вкладке Поведение (Behaviors) под ошибками на этапе извлечения кода щелкните ссылку, чтобы просмотреть сводку диагностики извлечения кода с возможными подсказками по разрешению.

Code extraction errors followed by summary link

Можно увидеть подсказки по разрешению, то есть возможные типы данных для добавления, которые разрешат некоторые проблемы, связанные с нераспознанными типами данных.

Вместо исправления отдельных ошибок извлечения кода с помощью подсказок разрешения можно также загрузить файл со всеми опциями, реализующими подсказки. На странице сводки щелкните ссылку Загрузить параметры polyspace-autosar.

Location of link to download options that implement resolution hints

Загруженный текстовый файл можно использовать с помощью polyspace-autosar выбор -options-file для реализации подсказок разрешения в одном кадре.

См. также

Связанные темы

Документация по программе проверки кода Polyspace

Поддержка