Используя Polyspace в разработке программного обеспечения AUTOSAR

Безотносительно вашей роли в рабочем процессе разработки программного обеспечения AUTOSAR можно извлечь выгоду из Polyspace®. Эти разделы описывают некоторые ситуации, где можно использовать Polyspace, чтобы проверять реализацию кода С компонентов программного обеспечения.

Для обзора Polyspace для AUTOSAR смотрите Преимущества Polyspace для AUTOSAR.

Проверяйте, следует ли Реализация Компонентов программного обеспечения за Спецификациями

Предположим, что вы - часть OEM, задающей структуру и поведение во время выполнения компонентов программного обеспечения на прикладном уровне, включая типы данных, события и runnables. Вы хотите проверять, следует ли уровень 1 поставщик, обеспечивающий реализацию кода компонентов программного обеспечения, за вашими спецификациями.

Проверяйте реализацию кода каждого компонента программного обеспечения индивидуально или см. обзор результатов для всех реализаций компонента программного обеспечения. Видеть обзор:

  1. Запустите Polyspace на всех компонентах программного обеспечения и загрузите все результаты на Метрики Polyspace.

  2. В результатах смотрите если:

    • Все runnables реализованы. Смотрите, показывает ли средство проверки AUTOSAR runnable not implemented какой-либо результат.

    • Все runnables реализации соответствуют ограничениям данных в спецификациях. Смотрите, показывает ли средство проверки Invalid result of AUTOSAR runnable implementation какой-либо результат.

    • Аргументы к Rte_ функции следуют за ограничениями данных в спецификациях. Смотрите, показывает ли средство проверки Invalid use of AUTOSAR runtime environment function какой-либо результат.

    • Существуют другие возможности ошибок времени выполнения.

Начать проверять реализацию кода компонентов программного обеспечения против спецификаций ARXML:

  1. Обеспечьте местоположения своего ARXML и папок кода. Запустите Polyspace, чтобы проверять реализацию кода всех компонентов программного обеспечения против спецификаций ARXML.

    Если при запуске верификацию на удаленном сервере, можно указать, что все результаты должны быть загружены на Метрики Polyspace после верификации. В противном случае можно загрузить их позже.

    Смотрите запущенный Polyspace на коде AUTOSAR.

  2. Загрузите все результаты на Метрики Polyspace. При загрузке убедитесь, что вы используете то же название проекта и номер версии для всех результатов.

    Смотрите генерируют метрики качества кода.

  3. В Метриках Polyspace кликните по названию проекта и см. сводные данные результатов.

    Метрики качества вида на море кода.

В качестве альтернативы можно попросить отчеты анализа кода от поставщиков. Отчеты представлены индивидуально для каждого компонента программного обеспечения. Чтобы начаться, смотрите, Генерируют Отчеты.

Оцените удар редактирований к спецификациям

Предположим, что вы - часть OEM и хотите добавить к или отредактировать спецификации, которые вы предоставляете уровню 1 поставщику. Прежде, чем сделать редактирования, вы хотите протестировать их потенциальный удар на существующую реализацию кода.

Проверяйте реализацию кода компонентов программного обеспечения, на которые, вероятно, повлияют. Сравните результаты анализа Программы автоматического доказательства Кода, которые используют модифицированные спецификации с результатами, которые используют исходные спецификации.

Начать сравнивать верификацию заканчивается для компонента программного обеспечения:

  1. Запустите Polyspace с помощью исходных спецификаций.

    Смотрите запущенный Polyspace на коде AUTOSAR.

  2. Загрузите результат для компонента программного обеспечения к Метрикам Polyspace.

    Смотрите генерируют метрики качества кода.

  3. Повторно выполните Polyspace с помощью обновленных спецификаций.

  4. Загрузите новый результат на Метрики Polyspace. Используйте то же название проекта, но различный номер версии при загрузке результата.

  5. Смотрите, существует ли увеличение количества красных, серых или оранжевых проверок.

    Тренды вида на море в метриках качества кода.

Реализация контрольного кода для ошибок времени выполнения и несоответствия со спецификациями

Предположим, что вы - часть уровня 1 поставщик, обеспечивающий реализацию кода компонентов программного обеспечения на основе спецификаций от OEM. Вы хотите проверять на ошибки времени выполнения, такие как переполнение и деление на нуль или нарушения ограничений данных в спецификациях ARXML.

Проверяйте компоненты программного обеспечения, которые вы реализовали. Используйте расширенную настройку -autosar-behavior проверять определенные компоненты программного обеспечения.

Начаться:

  1. Запустите Polyspace на реализации кода ваших компонентов программного обеспечения.

  2. Если вы обновляете реализацию компонента программного обеспечения, можно продолжить использовать тот же проект повторно анализировать код. Более поздний анализ только рассматривает компоненты программного обеспечения чья реализация измененный начиная с предыдущего анализа.

Смотрите запущенный Polyspace на коде AUTOSAR.

Реализация контрольного кода против обновлений спецификации

Предположим, что вы - часть уровня 1 поставщик, реализующий спецификации от OEM. Вы получаете некоторые обновления спецификаций. Если вы запускали Polyspace, чтобы сравнить ваш код со спецификациями, можно быстро проверять, ввели ли изменения спецификации какие-либо ошибки.

В этом случае вы уже настроите свой проект, возможно с дополнительными опциями эмулировать ваш компилятор. Можно снова использовать эти опции при создании нового проекта из новых спецификаций ARXML.

Похожие темы