Exponenta Banner

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

Проверяет стандартное использование библиотечной функции, броски указателя и операторы 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 assertionсбои оператора контроля

Темы

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

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

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

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

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

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

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

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

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

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

Документация Polyspace Code Prover
Поддержка