При использовании методологии AUTOSAR для разработки программного обеспечения можно повторно использовать спецификации AUTOSAR (файлы ARXML) для настройки анализа Polyspace ® и проверки реализации кода программных компонентов AUTOSAR. Кроме того, можно выполнить интеграционный анализ с учетом AUTOSAR.
Проверка проверяет наличие специфичных для AUTOSAR проблем и других ошибок времени выполнения, таких как переполнение и деление на ноль.
Libraries used (-library) | Укажите библиотеки, используемые в программе |
polyspaceAutosar | Запуск программы Polyspace Code Prover для реализации программного обеспечения AUTOSAR с использованием сценариев MATLAB |
polyspace-autosar | (DOS/UNIX) Run 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.
Устранение неполадок при анализе пространства кода AUTOSAR
Диагностика проблем, связанных с реализацией кода компонентов программного обеспечения AUTOSAR в Polyspace.