Параметры управления созданием проекта Polyspace и последующим анализом. В первую очередь используются опции для устранения неполадок, например, чтобы выполнить только определенные части обновления и сузить проблему или предоставить дополнительные файлы заголовков или определить макросы.
Общие параметры
| Выбор | Описание |
|---|
-verbose | Сохраните дополнительную информацию о различных фазах выполнения команды (подробный режим). Файл psar_project.log и другие вспомогательные файлы хранят эту дополнительную информацию. Если при выполнении команды возникает ошибка, сообщение об ошибке сохраняется в отдельном файле независимо от того, включен ли подробный режим. При выполнении в подробном режиме сохраняются только различные фазы выполнения. Эту информацию можно использовать для просмотра момента появления ошибки. |
-options-file OPTION_FILE | Используйте файл параметров для дополнения или замены параметров командной строки. В файле параметров укажите каждый параметр в отдельной строке. Начать строку с # для указания комментариев. Файл параметров opts.txt может выглядеть следующим образом: # Store Polyspace results
-create-project polyspace
# ARXML Folder
-arxml-dir arxml
# SOURCE Folder
-sources-dir code Можно запустить polyspace-autosar как: polyspace-autosar -options-file opts.txt Если опция, которая непосредственно указана с помощью polyspace-autosar конфликтует с опцией в файле опций, используется непосредственно указанная опция. Например, в этом примере папка proj используется для сохранения проекта Polyspace. polyspace-autosar -create-project proj -options-file opts.txt Как правило, файл параметров используется для хранения и повторного использования параметров, общих для нескольких проектов. |
Параметры управления обновлением проекта
При обновлении проекта по умолчанию результаты анализа обновляются для всех вариантов поведения SWC AUTOSAR с учетом любых изменений в файлах arxml или исходном коде C с момента последнего анализа. Эти параметры позволяют управлять обновлением.
| Выбор | Описание |
|---|
-autosar-behavior AUTOSAR_QUALIFIED_NAME | Проверка реализации программных компонентов, внутреннее поведение которых определяется AUTOSAR_QUALIFIED_NAME Чтобы указать несколько компонентов программного обеспечения, повторите команду. Кроме того, можно выполнить одно из следующих действий.
Использовать узоры оболочки, аналогичные узорам, используемым в -select-arxml-files и -select-source-files. Примеры см. в разделах Выбор AUTOSAR XML (ARXML) и Файлы кода для анализа в полиспейсе. Используйте регулярные выражения, чтобы указать группу компонентов программного обеспечения в одном пакете. Например:
Указание компонента программного обеспечения, внутреннее поведение которого имеет полное имя pkg.component.bhv, использовать: -autosar-behavior pkg.component.bhv Чтобы указать компоненты программного обеспечения, внутреннее поведение которых имеет полные имена, начинающиеся с pkg.component, использовать: -autosar-behavior pkg.component\..* \. представляет разделитель имен пакетов . (точка) и .* представляет любое количество символов.
|
-do-not-update-autosar-prove-environment | Не считывайте спецификации ARXML. Используйте спецификации ARXML, сохраненные в предыдущем анализе. Эта опция используется во время обновления проекта для сравнения кода с предыдущими спецификациями. Если этот параметр не используется, обновления проекта снова считывают все спецификации ARXML. |
-do-not-update-extract-code | Не считывайте исходный код языка C. Используйте исходный код, сохраненный в предыдущем анализе. Эта опция используется во время обновления проекта для сравнения предыдущего исходного кода со спецификациями ARXML. Если этот параметр не используется, обновления проекта учитывают все изменения исходного кода с момента предыдущего анализа. |
-do-not-update-verification | Прочитайте только спецификации ARXML и реализацию кода C, но не выполняйте анализ проверки кода. Используйте этот параметр во время обновления проекта, чтобы исследовать ошибки, внесенные в спецификации ARXML, или ошибки компиляции, введенные в исходный код. Сначала можно устранить эти неполадки, а затем выполнить анализ проверки кода. |
Опции для управления синтаксическим анализом спецификаций ARXML
| Выбор | Описание |
|---|
-autosar-datatype AUTOSAR_QUALIFIED_NAME | Импорт определения типов данных AUTOSAR, указанных в AUTOSAR_QUALIFIED_NAME. Анализ по умолчанию импортирует только типы данных, указанные во внутреннем поведении проверяемых компонентов программного обеспечения. Чтобы указать несколько типов данных, повторите команду. Кроме того, можно выполнить одно из следующих действий.
Использовать узоры оболочки, аналогичные узорам, используемым в -select-arxml-files и -select-source-files. Примеры см. в разделах Выбор AUTOSAR XML (ARXML) и Файлы кода для анализа в полиспейсе. Используйте регулярные выражения для указания всех типов данных в одном пакете. Например:
Указание типа данных с полным именем pkg.datatypes.type, использовать: -autosar-datatype pkg.datatypes.type Указание типов данных с полными именами, начинающимися с pkg.datatypes, использовать: -autosar-datatype pkg.datatypes\..* \. представляет разделитель имен пакетов . (точка) и .* представляет любое количество символов.Для принудительного импорта всех типов данных используйте:
|
-Eautosar-xmlReaderSameUuidForDifferentElements
-Eno-autosar-xmlReaderSameUuidForDifferentElements
| Если несколько элементов в спецификациях ARXML имеют одинаковый универсальный уникальный идентификатор (uuid), используйте эти опции для переключения между предупреждением и ошибкой. Анализ по умолчанию останавливается с ошибкой, если возникает проблема. Для преобразования в предупреждение используйте команду -Eno-autosar-xmlReaderSameUuidForDifferentElements. Для конфликтующих UUID-ов анализ сохраняет последний прочитанный элемент и продолжает с предупреждением. Последующие выполнения продолжают использовать режим предупреждения. Чтобы вернуться к ошибке, используйте -Eautosar-xmlReaderSameUuidForDifferentElements. |
-Eautosar-xmlReaderTooManyUuids
-Eno-autosar-xmlReaderTooManyUuids
| Если один и тот же элемент в спецификациях ARXML имеет различные универсальные уникальные идентификаторы (uuid-s), используйте эти опции для переключения между предупреждением и ошибкой. Анализ по умолчанию останавливается с ошибкой, если возникает проблема. Для преобразования в предупреждение используйте команду -Eno-autosar-xmlReaderTooManyUuids. Для конфликтующих UUID-ов анализ сохраняет последний прочитанный элемент и продолжает с предупреждением. Последующие выполнения продолжают использовать режим предупреждения. Чтобы вернуться к ошибке, используйте -Eautosar-xmlReaderTooManyUuids. |
Параметры управления чтением исходного кода C
| Выбор | Описание |
|---|
-include USER_RTE_TYPE_H | Определите дополнительные типы данных и макросы, которые не входят в спецификации ARXML, но необходимы для анализа реализации кода. Добавление типов данных и определений макросов в файл USER_RTE_TYPE_HRte_Type.h который используется в анализе. Предоставленный файл не должен иметь имени Rte_Type.h. Файл с определениями типов данных и макросов можно предоставить только во время создания проекта. Для последующих обновлений можно изменить содержимое этого файла, но не предоставить новый файл. Кроме того, этот файл не должен находиться в той же папке, что и проект и результаты Polyspace. Если дополнительно определить макросы или отменить их определение с помощью опций -D или -U, для определений, которые конфликтуют с определениями в USER_RTE_TYPE_H, -D или -U преобладают спецификации. |
-I INCLUDE_FOLDER | Укажите папки, содержащие файлы заголовков. Анализ ищет #include-d файлов в этой папке. Папка должна быть подпапкой папки исходного кода. Повторите команду для нескольких папок. Анализ выполняет поиск файлов заголовков в этих папках в порядке их указания. Если требуется указать папки, отсутствующие в папке исходного кода, используйте параметр: -extra-project-options "-I INCLUDE_FOLDER" |
-D DEFINE | Укажите макросы, которые должен учитывать анализ как определенные. Например, если указать: условный препроцессор #ifdef _WIN32 успешно и выполняется соответствующая ветвь. |
-U UNDEFINE | Укажите макросы, которые анализ должен считать неопределенными. Например, если указать: условный препроцессор #ifndef _WIN32 успешно и выполняется соответствующая ветвь. |
Опции для управления проверками проверки кода
| Выбор | Описание |
|---|
-extra-project-options POLYSPACE_OPTIONS | Укажите дополнительные параметры для анализа программы проверки кода. Указанные параметры применяются не к синтаксическому анализу ARXML или извлечению кода, а только к последующему анализу программы проверки кода. Этот метод используется для указания опций анализа, используемых с polyspace-code-prover команда. См. раздел Параметры анализа в программе проверки кода Polyspace. Например:
Обратите внимание, что эти опции polyspace-code-prover не требуется указывать:
-sources: polyspace-autosar извлекает требуемые исходные файлы.
-I: Вы указываете включить папки с -I вариант polyspace-autosar.
Входные данные и параметры упора, такие как -data-range-specifications: Внешние ограничения данных в файлах ARXML извлекаются автоматически с помощью polyspace-autosar. Явное указание зависимостей невозможно. Многозадачность, например -entry-points: Невозможно выполнить многозадачный анализ с помощью polyspace-autosar. Чтобы обнаружить гонки данных, создайте отдельный проект для всего приложения и явно добавьте исходные папки. Укажите ARXML-файлы, релевантные для многозадачности, и запустите Bug Finder. Дополнительные сведения см. в разделе ARXML files selection (-autosar-multitasking). Параметры проверки подтверждения кода, связанные с main генерация: A main генерируется функция (в файле psar_prove_main.c) при создании проекта Polyspace из описания AUTOSAR. main функция вызывает функции, реализующие выполняемые объекты в компонентах программного обеспечения. Произведенный main требуется для анализа проверки кода. Вы не можете изменить свойства этого main функция.
|
-extra-options-file OPTIONS_FILE | Укажите дополнительные опции для анализа программы проверки кода в файле опций. Указанные параметры применяются не к синтаксическому анализу ARXML или извлечению кода, а только к последующему анализу программы проверки кода. Например, можно отследить команду build, чтобы собрать параметры компилятора, определения макросов и пути для включения папок, и предоставить эту информацию в файл параметров для анализа реализации кода программных компонентов AUTOSAR.
Выполните трассировку команды build (например, make) с polyspace-configure и создайте файл опций для последующего анализа программы проверки кода. Подавление включения источников в файл опций с помощью -no-sources вариант. polyspace-configure -output-options-file options.txt -no-sources make Выполнить проверку кода для кода AUTOSAR с polyspace-autosar. Укажите папку ARXML, исходные папки и другие параметры. Кроме того, предоставьте ранее созданный файл опций вместе с -extra-options-file вариант. polyspace-autosar ... -extra-options-file options.txt
См. также раздел Запуск Polyspace для кода AUTOSAR с помощью команды построения. |
-show-prove AUTOSAR_QUALIFIED_NAME | После анализа откройте результаты для определенного компонента программного обеспечения, внутреннее поведение которого определяется AUTOSAR_QUALIFIED_NAME. |
