assert
операторыAUTOSAR runnable not implemented | Функция, реализующая выполнение AUTOSAR, не найдена |
Correctness condition | Несоответствие происходит во время приведения указателя или использования указателя на функцию |
Invalid result of AUTOSAR runnable implementation | Возвращаемое значение или выходные аргументы нарушают спецификации AUTOSAR |
Invalid use of AUTOSAR runtime environment function | Аргумент функции RTE нарушает спецификации AUTOSAR |
Invalid use of standard library routine | Стандартная функция библиотеки вызывается с недопустимыми аргументами |
Noncompliance with AUTOSAR specification | Функция RTE API используется с аргументами, которые нарушают спецификацию стандарта AUTOSAR |
User assertion | assert оператор не справляется |
Просмотр и исправление проверок условий правильности
Найдите первопричину неправильного использования указателя на функцию, неправильного преобразования массива или значений переменных за пределами заданных ограничений.
Просмотр и исправление недопустимого использования рутинных проверок стандартной библиотеки
Выясните, почему аргументы в текущем вызове стандартной стандартной программы библиотеки недопустимы.
Просмотр и исправление проверок Assertion пользователя
Исследуйте, почему условие в assert
оператор не справляется.
Просмотр результатов Polyspace на коде AUTOSAR
Интерпретируйте Polyspace® результаты, которые подчеркивают нарушение ограничений данных ARXML.
Поиск отношений между переменными в коде
Определите, связаны ли переменные в любой операции с какой-либо предыдущей операцией.