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