Если вы используете методологию AUTOSAR для разработки программного обеспечения, можно повторно использовать спецификации AUTOSAR (файлы ARXML), чтобы настроить Polyspace® анализ и проверка реализации кода программных компонентов AUTOSAR. Кроме того, можно запустить анализ интегрирования с поддержкой AUTOSAR.
В верификацию проверяются специфические для AUTOSAR проблемы и другие ошибки времени выполнения, такие как переполнение и деление на нули.
Libraries used (-library) | Задайте библиотеки, которые вы используете в своей программе |
polyspaceAutosar | Запустите Polyspace Code Prover по реализации кода программных компонентов AUTOSAR с помощью скриптов MATLAB |
polyspace-autosar | (DOS/UNIX) Запуск Polyspace Code Prover для реализации кода программных компонентов AUTOSAR |
AUTOSAR runnable not implemented | Функция, реализующая выполнение AUTOSAR, не найдена |
Invalid result of AUTOSAR runnable implementation | Возвращаемое значение или выходные аргументы нарушают спецификации AUTOSAR |
Invalid use of AUTOSAR runtime environment function | Аргумент функции RTE нарушает спецификации AUTOSAR |
Non-compliance with AUTOSAR specification | Функция RTE API используется с аргументами, которые нарушают спецификацию стандарта AUTOSAR |
Использование Polyspace в разработке программного обеспечения AUTOSAR
Узнайте о различных рабочих процессах для использования Polyspace в разработке программного обеспечения AUTOSAR.
Преимущества Polyspace для AUTOSAR
Polyspace модулирует код на основе программных компонентов AUTOSAR и проверяет на ошибки времени выполнения или нарушение ограничений данных ARXML.
Запуск Polyspace на коде AUTOSAR
Проверьте реализацию кода программных компонентов AUTOSAR на наличие ошибок времени выполнения или нарушение ограничений данных ARXML.
Просмотр результатов Polyspace на коде AUTOSAR
Интерпретируйте результаты Polyspace, которые подчеркивают нарушение ограничений данных ARXML.
Диагностируйте проблемы анализа Polyspace кода AUTOSAR
Диагностируйте проблемы запуска Polyspace при реализации кода программных компонентов AUTOSAR.
