polyspace-autosar Ошибка: тип данных, не распознанныйПри создании проекта Polyspace® из описания AUTOSAR программное обеспечение анализирует спецификации XML AUTOSAR и импортирует типы данных, которые требуются Компонентами программного обеспечения в пределах верификации. Если ваш код использует тип данных, который не находится в спецификации Компонента программного обеспечения, анализ не распознает этот тип данных.
Вы видите ошибку, такую как:
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 реализовывать разрешение подсказывает в одном выстреле.