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