polyspace-autosar Ошибка: Тип данных не распознанПри создании Polyspace® проект из описания AUTOSAR, программное обеспечение анализирует спецификации AUTOSAR XML и импортирует типы данных, которые требуются Компонентам Программного обеспечения в области верификации. Если ваш код использует тип данных, который не находится в спецификации Software Component, анализ не распознает этот тип данных.
Вы видите ошибку, такую как:
Identifier "LaneDetectionVar" is undefinedМожно принудительно импортировать типы данных, не определенные для проверяемых компонентов программного обеспечения. Используйте опцию -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нажмите кнопку
в верхнем левом углу, затем нажмите кнопку Behaviors. На вкладке Behaviors, ниже ошибок в фазе извлечения кода, нажмите ссылку, чтобы увидеть сводные данные диагностики извлечения кода с возможными подсказками разрешения.
Вы можете увидеть подсказки разрешения, то есть возможные типы данных для добавления, которые могли бы решить некоторые проблемы, связанные с непризнанными типами данных.
Вместо исправления отдельных ошибок извлечения кода с помощью подсказок о разрешении можно также скачать файл со всеми опциями, реализующими подсказки. На странице сводки щелкните ссылку Download polyspace-autosar options.
Вы можете использовать загруженный текстовый файл с polyspace-autosar опция -options-file для реализации разрешения намекает в один кадр.