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