Вы видите ошибку, такую как:
Identifier "LaneDetectionVar" is undefinedПри создании проекта Polyspace программное обеспечение анализирует спецификации XML AUTOSAR и импортирует типы данных, которые требуются Компонентами программного обеспечения в пределах верификации. Если вы используете тип данных, который не находится в спецификации Компонента программного обеспечения, анализ не распознает этот тип данных.
Можно найти, что типы данных импортировали использование файла autosar_model_key_elements.html в AUTOSAR подпапка вашей папки проекта. Файл имеет типы данных в DataTypes раздел в этом формате:
| косвенный | pkg.types.app.Array_2_n320to320 |
| косвенный | pkg.types.app.Boolean |
Текст indirect в первом столбце указывает, что типы данных автоматически импортируются.
Можно обеспечить импорт типов данных, которые не заданы для Компонентов программного обеспечения, которые вы проверяете. Используйте опцию -autosar-datatype. Смотрите polyspace-autosar.
Файл autosar_model_key_elements.html показывает типы данных, которые явным образом импортируются с помощью записей как это:
| имя | tst003.typ.app.Boolean |
Текст name в первом столбце указывает что тип данных tst003.typ.app.Boolean явным образом импортируется для анализа.
В некоторых случаях анализ предлагает подсказку разрешения с помощью дополнительных типов данных, импортированных из ARXML как возможное соответствие для нераспознанного типа данных. Видеть подсказки разрешения, в файле psar_project.xhtml, нажмите
кнопку на верхнем левом углу, затем нажмите Behaviors. На вкладке Behaviors, ниже ошибок в фазе экстракции кода, щелкают по ссылке, чтобы видеть сводные данные диагностики экстракции кода с возможными подсказками разрешения.
Вы видите подсказки разрешения, то есть, возможные типы данных, чтобы добавить, который решил бы некоторые вопросы, связанные с нераспознанными типами данных.
Вместо того, чтобы фиксировать отдельные ошибки экстракции кода подсказки разрешения, можно также загрузить файл всеми опциями, которые реализуют подсказки. На итоговой странице щелкните по ссылке Download polyspace-autosar options.
Можно использовать загруженный текстовый файл с polyspace-autosar опция -options-file реализовывать разрешение подсказывает в одном выстреле.