Другие проверки

Проверяет стандартное использование библиотечной функции, броски указателя и assert операторы

Результаты Polyspace

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 assertionassert сбои оператора

Темы

Рассмотрите и зафиксируйте проверки условия правильности

Найдите первопричину неправильного употребления указателя функции, неправильного преобразования массива или значений переменных вне заданных ограничений.

Рассмотрите и зафиксируйте недопустимое использование стандартных проверок библиотечной подпрограммы

Займитесь расследованиями, почему аргументы в текущем вызове стандартной библиотечной подпрограммы недопустимы.

Рассмотрите и зафиксируйте пользовательские проверки утверждения

Займитесь расследованиями почему условие в assert сбои оператора.

Рассмотрите результаты Polyspace на коде AUTOSAR

Интерпретируйте результаты Polyspace®, которые подсвечивают нарушение ограничений данных ARXML.

Найдите отношения между переменными в коде

Определите, связаны ли переменные в какой-либо операции от некоторой предыдущей операции.