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