Тип данных, не распознанный

Проблема

Вы видите ошибку при создании проекта 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 явным образом импортируется для анализа.

Смотрите также

Похожие темы