Аргумент функции RTE нарушает спецификации AUTOSAR
Эта проверка оценивает вызовы функций, обеспеченных Средой выполнения AUTOSAR (Rte_ функции. Проверка определяет, могут ли аргументы функции нарушить спецификации XML AUTOSAR во времени выполнения.
Используя информацию о панели Result Details, определите, нарушает ли аргумент ограничения данных в спецификациях XML AUTOSAR или может быть с пустым знаком. Ищите! значок, который указывает на определенную ошибку или? значок, который указывает на возможную ошибку.
Для каждого аргумента функции проверка ищет эти нарушения:
Ограничительные нарушения данных:
Предположим в этом вызове Rte_IWrite_step_out_e4, второй аргумент указывает на тип данных, который должен повиноваться ограничению данных. Анализ проверяет, может ли ограничение быть нарушено во время выполнения.
Rte_IWrite_step_out_e4(self, arg);
В общем случае анализ проверяет если каждый Rte_ аргумент функции остается в ограниченной области значений, позволенной ее типом данных AUTOSAR. Вы предельные значения типов данных AUTOSAR путем обращения к ограничениям данных в файлах ARXML. Например, ограничительная спецификация может выглядеть так (версия 4.0 XML-схемы AUTOSAR).
<DATA-CONSTR>
<SHORT-NAME>n320to320</SHORT-NAME>
<DATA-CONSTR-RULES>
<DATA-CONSTR-RULE>
<PHYS-CONSTRS>
<LOWER-LIMIT INTERVAL-TYPE="CLOSED">-320</LOWER-LIMIT>
<UPPER-LIMIT INTERVAL-TYPE="CLOSED">320</UPPER-LIMIT>
<UNIT-REF DEST="UNIT">/jyb/types/units/NoUnit</UNIT-REF>
</PHYS-CONSTRS>
</DATA-CONSTR-RULE>
</DATA-CONSTR-RULES>
</DATA-CONSTR>
...
<APPLICATION-PRIMITIVE-DATA-TYPE>
<SHORT-NAME>Int_n320to320</SHORT-NAME>
<CATEGORY>VALUE</CATEGORY>
<SW-DATA-DEF-PROPS>
<SW-DATA-DEF-PROPS-VARIANTS>
<SW-DATA-DEF-PROPS-CONDITIONAL>
...
<DATA-CONSTR-REF DEST="DATA-CONSTR">types/app/constraints/n320to320
</DATA-CONSTR-REF>
...
</SW-DATA-DEF-PROPS-CONDITIONAL>
</SW-DATA-DEF-PROPS-VARIANTS>
</SW-DATA-DEF-PROPS>
</APPLICATION-PRIMITIVE-DATA-TYPE>NULL или освобожденные указатели:
Предположим в этом вызове Rte_IWrite_step_out_e4, второй аргумент является указателем. Анализ проверяет, является ли указатель непустым и выделенным для всех возможных путей к выполнению.
Rte_IWrite_step_out_e4(self,arg);
В общем случае анализ проверяет если аргумент указателя к Rte_ функция является непустой и выделенной.
| Группа: Другой |
| Язык: C |
| Акроним: AUTOSAR_USE |