Если вы используете методологию AUTOSAR для разработки программного обеспечения, можно снова использовать технические требования AUTOSAR (файлы ARXML), чтобы настроить анализ Polyspace® и проверить реализацию кода Компонентов программного обеспечения AUTOSAR. В качестве альтернативы можно запустить анализ интегрирования AUTOSAR-aware.
Верификация проверяет на 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 | API-функция RTE используется с аргументами, которые нарушают стандартную спецификацию AUTOSAR |
Используя Polyspace в разработке программного обеспечения AUTOSAR
Узнайте о различных рабочих процессах для использования Polyspace в разработке программного обеспечения AUTOSAR.
Преимущества Polyspace для AUTOSAR
Polyspace строит код из модулей на основе компонентов программного обеспечения AUTOSAR и проверок на ошибки времени выполнения или нарушения ограничений данных ARXML.
Запустите Polyspace на коде AUTOSAR
Реализация проверки кода компонентов программного обеспечения AUTOSAR для ошибок времени выполнения или нарушения ограничений данных ARXML.
Рассмотрите результаты Polyspace на коде AUTOSAR
Интерпретируйте результаты Polyspace, которые подсвечивают нарушение ограничений данных ARXML.
Диагностируйте анализ Polyspace кода AUTOSAR
Диагностируйте проблемы рабочий Polyspace на реализации кода компонентов программного обеспечения AUTOSAR.
