Независимо от вашей роли в процессе разработки программного обеспечения AUTOSAR, вы можете воспользоваться инструментом анализа статического кода, таким как Polyspace ®.
Polyspace поддерживает два подхода для проверки кода AUTOSAR:
Анализ на основе компонентов
В этом подходе предоставляются спецификации конструкции AUTOSAR в формате ARXML. Анализ считывает эти спецификации, создает отдельный модуль кода C для каждого компонента программного обеспечения, а затем проверяет каждый модуль на наличие ошибок времени выполнения и несоответствие спецификациям конструкции.
Обзор этого подхода см. в разделе Преимущества Polyspace для AUTOSAR.
Интеграционный анализ
В этом подходе не предоставляются спецификации проекта, а просто выполняется программа Code Prover для одного проекта со всем соответствующим исходным кодом. Для получения информации об анализе AUTOSAR используйте значение autosar для опции анализа Libraries used (-library).
См. также раздел Выбор анализа на основе компонентов и интеграции кода AUTOSAR с полипространством.
Эта проверка поддерживается только в компонентном анализе.
Предположим, что вы являетесь частью OEM-производителя, определяющего структуру и поведение программных компонентов на уровне приложения, включая типы данных, события и выполняемые объекты. Необходимо проверить, соответствуют ли спецификации поставщиков первого уровня, обеспечивающих реализацию кода компонентов программного обеспечения.
Проверьте реализацию кода каждого компонента программного обеспечения по отдельности или просмотрите обзор результатов для всех реализаций компонента программного обеспечения. Для просмотра обзора:
Запустите программу Polyspace для всех компонентов программного обеспечения и загрузите все результаты в приложение Polyspace Metrics.
В результатах см., если:
Все выполняемые таблицы реализованы. Убедитесь, что средство проверки AUTOSAR, которое можно выполнить, не реализовано, не имеет результата.
Все выполняемые реализации соответствуют ограничениям данных в спецификациях. Проверьте, не показывает ли результат проверки Недопустимый результат выполнения AUTOSAR.
Аргументы для Rte_ функции следуют ограничениям данных в спецификациях. Проверьте, не показывает ли результат проверка Недопустимое использование функции среды выполнения AUTOSAR.
Существуют и другие возможности ошибок времени выполнения.
Для начала проверки реализации кода программных компонентов по спецификациям ARXML:
Укажите расположение папок ARXML и кода. Запустите Polyspace для проверки реализации кода всех компонентов программного обеспечения по спецификациям ARXML.
Если проверка выполняется на удаленном сервере, можно указать, что все результаты должны быть загружены в параметры Polyspace после проверки. В противном случае их можно загрузить позже.
См. раздел Запуск Polyspace по коду AUTOSAR.
Загрузите все результаты в систему показателей Polyspace. При отправке убедитесь, что для всех результатов используются одно и то же имя проекта и номер версии.
См. раздел Создание метрик качества кода.
В окне «Метрики полиспейса» щелкните имя проекта и просмотрите сводку результатов.
См. раздел Просмотр показателей качества кода.
Кроме того, можно запросить отчеты по анализу кода у поставщиков. Отчеты создаются отдельно для каждого компонента программного обеспечения. Для начала см. раздел Создание отчетов.
Эта проверка поддерживается только в компонентном анализе.
Предположим, что вы являетесь частью OEM-производителя и хотите добавить или изменить спецификации, предоставляемые поставщику уровня 1. Перед внесением изменений необходимо проверить их потенциальное влияние на существующую реализацию кода.
Проверьте реализацию кода компонентов программного обеспечения, которые могут быть затронуты. Сравните результаты анализа программы проверки кода, в которых используются измененные спецификации, с результатами, в которых используются исходные спецификации.
Чтобы начать сравнение результатов проверки для программного компонента:
Запустите программу Polyspace с использованием исходных спецификаций.
См. раздел Запуск Polyspace по коду AUTOSAR.
Загрузите результат для компонента программного обеспечения в приложение Polyspace Metrics.
См. раздел Создание метрик качества кода.
Повторно запустите программу Polyspace с использованием обновленных спецификаций.
Загрузите новый результат в систему показателей Polyspace. При выгрузке результата используйте одно и то же имя проекта, но другой номер версии.
Посмотрите, есть ли увеличение количества красных, серых или оранжевых чеков.
См. раздел Просмотр тенденций в метриках качества кода.
Проверка ошибок времени выполнения поддерживается как в компонентном анализе, так и в интеграционном анализе. Проверка на несоответствие спецификациям проекта поддерживается только в анализе на основе компонентов.
Предположим, что вы являетесь частью поставщика уровня 1, обеспечивающего реализацию кода компонентов программного обеспечения на основе спецификаций OEM-производителя. Необходимо проверить наличие ошибок времени выполнения, таких как переполнение и деление на ноль или нарушения ограничений данных в спецификациях ARXML.
Проверьте внедренные компоненты программного обеспечения. Использовать расширенный параметр -autosar-behavior для проверки определенных компонентов программного обеспечения.
Для начала:
Запустите Polyspace для реализации кода компонентов программного обеспечения.
При обновлении реализации программного компонента можно продолжить использовать тот же проект для повторного анализа кода. В более позднем анализе рассматриваются только компоненты программного обеспечения, реализация которых изменилась после предыдущего анализа.
См. раздел Запуск Polyspace по коду AUTOSAR.
Эта проверка поддерживается только в компонентном анализе.
Предположим, что вы являетесь частью поставщика уровня 1, реализующего спецификации OEM-производителя. Вы получаете некоторые обновления спецификаций. Если для сравнения кода со спецификациями была запущена программа Polyspace, можно быстро проверить, не привели ли изменения спецификации к каким-либо ошибкам.
В этом случае проект уже настроен, возможно, с дополнительными параметрами для эмуляции компилятора. Эти опции можно повторно использовать при создании нового проекта из новых спецификаций ARXML.