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