Безотносительно вашей роли в рабочем процессе разработки программного обеспечения AUTOSAR можно извлечь выгоду из использования инструмента инструмента статического анализа кода, такого как Polyspace®.
Polyspace поддерживает два подхода для проверки кода AUTOSAR:
Компонентно-ориентированный анализ
В этом подходе вы предоставляете свои технические требования проекта AUTOSAR в формате ARXML. Анализ читает эти технические требования, создает отдельный модуль кода С для каждого компонента программного обеспечения, и затем проверяет каждый модуль на ошибки времени выполнения и несоответствие с техническими требованиями проекта.
Для обзора этого подхода смотрите Преимущества Polyspace для AUTOSAR.
Анализ интегрирования
В этом подходе вы не предоставляете технические требования проекта, но просто запускаете Программу автоматического доказательства Кода на одном проекте со всем соответствующим исходным кодом. Чтобы сделать анализ AUTOSAR-aware, используйте значение autosar для опции анализа Libraries used (-library).
См. также Выбирают Between Component-Based и Integration Analysis of AUTOSAR Code with Polyspace.
Эта проверка поддерживается только в компонентно-ориентированном анализе.
Предположим, что вы - часть OEM, задающей структуру и поведение во время выполнения компонентов программного обеспечения на прикладном уровне, включая типы данных, события и runnables. Вы хотите проверять, следует ли уровень 1 поставщик, обеспечивающий реализацию кода компонентов программного обеспечения, вашим техническим требованиям.
Проверяйте реализацию кода каждого компонента программного обеспечения индивидуально или см. обзор результатов для всех реализаций компонента программного обеспечения. Видеть обзор:
Запустите Polyspace на всех компонентах программного обеспечения и загрузите все результаты на Метрики Polyspace.
В результатах смотрите если:
Все runnables реализованы. Смотрите, показывает ли средство проверки AUTOSAR runnable not implemented какой-либо результат.
Все runnables реализации соответствуют ограничениям данных в технических требованиях. Смотрите, показывает ли средство проверки Invalid result of AUTOSAR runnable implementation какой-либо результат.
Аргументы к Rte_ функции следуют за ограничениями данных в технических требованиях. Смотрите, показывает ли средство проверки Invalid use of AUTOSAR runtime environment function какой-либо результат.
Существуют другие возможности ошибок времени выполнения.
Начать проверять реализацию кода компонентов программного обеспечения против технических требований ARXML:
Обеспечьте местоположения своего ARXML и папок кода. Запустите Polyspace, чтобы проверять реализацию кода всех компонентов программного обеспечения против технических требований ARXML.
Если при запуске верификацию на удаленном сервере, можно указать, что все результаты должны быть загружены на Метрики Polyspace после верификации. В противном случае можно загрузить их позже.
Смотрите запущенный Polyspace на коде AUTOSAR.
Загрузите все результаты на Метрики Polyspace. При загрузке убедитесь, что вы используете то же название проекта и номер версии для всех результатов.
Смотрите генерируют метрики качества кода.
В Метриках Polyspace кликните по названию проекта и см. сводные данные результатов.
В качестве альтернативы можно попросить отчеты анализа кода от поставщиков. Отчеты представлены индивидуально для каждого компонента программного обеспечения. Чтобы начаться, смотрите, Генерируют Отчеты.
Эта проверка поддерживается только в компонентно-ориентированном анализе.
Предположим, что вы - часть OEM и хотите добавить к или отредактировать технические требования, которые вы предоставляете уровню 1 поставщику. Прежде, чем сделать редактирования, вы хотите протестировать их потенциальный удар на существующую реализацию кода.
Проверяйте реализацию кода компонентов программного обеспечения, на которые, вероятно, повлияют. Сравните результаты анализа Программы автоматического доказательства Кода, которые используют модифицированные технические требования результатами, которые используют исходные технические требования.
Начать сравнивать верификацию заканчивается для компонента программного обеспечения:
Запустите Polyspace с помощью исходных технических требований.
Смотрите запущенный Polyspace на коде AUTOSAR.
Загрузите результат для компонента программного обеспечения к Метрикам Polyspace.
Смотрите генерируют метрики качества кода.
Повторно выполните Polyspace с помощью обновленных технических требований.
Загрузите новый результат на Метрики Polyspace. Используйте то же название проекта, но различный номер версии при загрузке результата.
Смотрите, существует ли увеличение количества красных, серых или оранжевых проверок.
Проверка на ошибки времени выполнения поддерживается и в компонентно-ориентированном анализе анализа и интегрирования. Проверка на несоответствие с техническими требованиями проекта поддерживается только в компонентно-ориентированном анализе.
Предположим, что вы - часть уровня 1 поставщик, обеспечивающий реализацию кода компонентов программного обеспечения на основе технических требований от OEM. Вы хотите проверять на ошибки времени выполнения, такие как переполнение и деление на нуль или нарушения ограничений данных в технических требованиях ARXML.
Проверяйте компоненты программного обеспечения, которые вы реализовали. Используйте расширенную настройку -autosar-behavior проверять определенные компоненты программного обеспечения.
Начаться:
Запустите Polyspace на реализации кода ваших компонентов программного обеспечения.
Если вы обновляете реализацию компонента программного обеспечения, можно продолжить использовать тот же проект повторно анализировать код. Более поздний анализ только рассматривает компоненты программного обеспечения чья реализация измененный начиная с предыдущего анализа.
Смотрите запущенный Polyspace на коде AUTOSAR.
Эта проверка поддерживается только в компонентно-ориентированном анализе.
Предположим, что вы - часть уровня 1 поставщик, реализующий технические требования от OEM. Вы получаете некоторые обновления технических требований. Если вы запускали Polyspace, чтобы сравнить ваш код с техническими требованиями, можно быстро проверять, ввели ли изменения спецификации какие-либо ошибки.
В этом случае вы уже настроите свой проект, возможно с дополнительными опциями эмулировать ваш компилятор. Можно снова использовать эти опции при создании нового проекта из новых технических требований ARXML.
