polyspace-results-repository

(DOS/UNIX) Загрузка, загрузка и иное взаимодействие с результатами в репозитории Polyspace Metrics

Синтаксис

polyspace-results-repository -upload resultsFolder -product productName -prog projectName -verif-version versionNumber [OPTIONS]

polyspace-results-repository -download resultsFolder -product productName -prog projectName -verif-version versionNumber [OPTIONS]

polyspace-results-repository -get-projects-list -product productName

polyspace-results-repository -get-versions-list -product productName -prog projectName

polyspace-results-repository -get-run-numbers-list -product productName -prog projectName -verif-version versionNumber

polyspace-results-repository -get-files-list -product productName -prog projectName -verif-version versionNumber [OPTIONS]

polyspace-results-repository -get-sqo-id -product productName -prog projectName -verif-version versionNumber [OPTIONS]

polyspace-results-repository -set-sqo-id SQOLevel -product productName -prog projectName -verif-version versionNumber [OPTIONS]

polyspace-results-repository -delete -product productName -prog projectName -verif-version versionNumber [OPTIONS]

polyspace-results-repository -rename -product productName -new-prog newProjectName -new-verif-version newVersionNumber -prog projectName -verif-version versionNumber [OPTIONS]

Описание

пример

polyspace-results-repository -upload resultsFolder -product productName -prog projectName -verif-version versionNumber [OPTIONS] загружает Polyspace^® результаты в resultsFolder в веб-репозиторий Polyspace Metrics.

Вы можете настроить загрузку по умолчанию с помощью дополнительных опций.

пример

polyspace-results-repository -download resultsFolder -product productName -prog projectName -verif-version versionNumber [OPTIONS] загружает результаты Polyspace из веб-репозитория Polyspace Metrics в resultsFolder.

Загрузку по умолчанию можно настроить с помощью дополнительных опций.

polyspace-results-repository -get-projects-list -product productName отображает проекты Bug Finder или Code Prover, находящиеся в настоящее время в веб-репозитории Polyspace Metrics.

polyspace-results-repository -get-versions-list -product productName -prog projectName отображает версии проекта, находящиеся в настоящее время в веб-репозитории Polyspace Metrics. Если проект включает верификацию файла по файлам в Code Prover, добавьте -unit-by-unit опция.

polyspace-results-repository -get-run-numbers-list -product productName -prog projectName -verif-version versionNumber отображает номера запуска версии проекта, находящейся в настоящее время в веб-репозитории Polyspace Metrics.

Эта опция используется только в том случае, если в Polyspace Metrics загружено несколько результатов с одним и тем же именем проекта и номером версии.

polyspace-results-repository -get-files-list -product productName -prog projectName -verif-version versionNumber [OPTIONS] отображает файлы, участвующие в результатах для определенного проекта и версии.

polyspace-results-repository -get-sqo-id -product productName -prog projectName -verif-version versionNumber [OPTIONS] отображает Цели качества программного обеспечения, применяемые к определенному проекту и версии.

polyspace-results-repository -set-sqo-id SQOLevel -product productName -prog projectName -verif-version versionNumber [OPTIONS] применяет Цели Качества Программного Обеспечения, заданные SQOLevel к определенному проекту и версии.

polyspace-results-repository -delete -product productName -prog projectName -verif-version versionNumber [OPTIONS] удаляет определенную версию проекта из веб-репозитория Polyspace Metrics.

polyspace-results-repository -rename -product productName -new-prog newProjectName -new-verif-version newVersionNumber -prog projectName -verif-version versionNumber [OPTIONS] переименовывает определенную версию проекта в другой проект и версию.

Примеры

свернуть все

Загрузка результатов в метрики Polyspace

Предположим, вы хотите загрузить результаты Code Prover из папки C:\My_Results серверу Polyspace Metrics localhost:12427. Вы хотите, чтобы имя проекта было следующим Polyspace_Project и номер версии 1.0.

Загрузить результаты используя эту информацию.

polyspace-results-repository -upload "C:\My_Results" -prog "Polyspace_Project" -verif-version "1.0" -server "localhost:12427" -product "CodeProver"

Загрузить результаты из Polyspace Metrics

Предположим, вы хотите загрузить результаты Bug Finder в версии 1.0 проектной Polyspace_Project с сервера Polyspace Metrics localhost:12427. Необходимо загрузить результаты в папку C:\My_Results.

Загрузить результаты можно используя эту информацию.

polyspace-results-repository -download "C:\My_Results" -prog "Polyspace_Project" -verif-version "1.0" -server "localhost:12427" -product "BugFinder"

Загрузка результатов нескольких модулей в метрики Polyspace

Если проект Polyspace состоит из нескольких модулей, можно загрузить результаты анализа для всех модулей в интерфейс Polyspace Metrics.

Для образца, если вы запускаете polyspace-autosar (Polyspace Code Prover), для каждого программного компонента AUTOSAR создается отдельный модуль. Можно написать интерпретатор скрипт (.sh файл), подобный этому (или Windows^® .bat файл), чтобы собрать файлы результатов в подпапках папки проекта и загрузить их в Polyspace Metrics. Файлы результатов Code Prover используют расширение .pscp.

#! /bin/bash
# Upload all results from a polyspace-autosar run to a Metrics server.
MODULES_DIR=`find "$RESULTS_DIR" -name ps_results.pscp -printf '%h\n'`
IFS='
'
for module in $MODULES_DIR; do
    # extract module name from its path foo/bar/behavior_name
    module_name=${module#*AUTOSAR/}
    # transform it to foo.bar.behavior_name
    module_name=${module_name//\//.}
    polyspace-results-repository          \
        -f                                \
        -server localhost                 \
        -upload “$module”                 \
        -prog APPLICATION_NAME            \
        -module $module_name              \
        -verif-version "$RESULTS_VERSION”
done

Входные параметры

свернуть все

`resultsFolder` - Папка, содержащая результаты Polyspace
строка

Имя папки, заданное как строка (в двойных кавычках). Папка должна содержать файл результатов Bug Finder (.psbf) или файл Code Prover (.pscp).

Пример: "C:\Polyspace_Projects\Proj1\Module_1\BF_Result", "C:\AUTOSAR\Demo\polyspace\AUTOSAR\pkg\tst002\swc002\bhv\verification"

`projectName` - Имя проекта Polyspace
строка

Имя проекта Polyspace, так как он появляется на метриках Polyspace.

Пример: "Polyspace_project"

`newProjectName` - Имя проекта Polyspace
строка

Новое имя проекта Polyspace, так как оно появляется на метриках Polyspace.

Пример: "Polyspace_project_1"

`versionNumber` - Номер версии проекта Polyspace
строка

Номер версии проекта Polyspace, так как он появляется на вкладке Runs метрики Polyspace.

Пример: "1.0"

`newVersionNumber` - Номер версии проекта Polyspace
строка

Номер новой версии проекта Polyspace, так как он появляется на вкладке Runs метрики Polyspace.

Пример: "1.1"

`productName` - Имя продукта, используемого для анализа
`"CodeProver"` (по умолчанию) | `"BugFinder"`

Имя продукта, используемого для создания результатов, указывается как "BugFinder" или "CodeProver".

`SQOLevel` - Уровень SQO или уровень BF-QO, применяемый к результатам анализа
`"SQO-1"` | `"SQO-2"` | `"SQO-3"` | `"SQO-4"` | `"SQO-5"` | `"SQO-6"` | `"BF-QO-1"` | `"BF-QO-2"` | `"BF-QO-3"` | `"BF-QO-4"` | `"BF-QO-5"` | `"BF-QO-6"` | `"Exhaustive"`

Уровни качества, примененные к результатам анализа. Уровни качества состоят из набора критериев, на основе которых результатам анализа присваивается статус PASS или FAIL. Используйте уровни SQO для результатов Code Prover и BF-QO для результатов Bug Finder.

См.:

Цели качества программного обеспечения (Polyspace Code Prover)
Целевые уровни качества Bug Finder

`[OPTIONS]` - Опции для настройки загрузки или загрузки
имя опции

Опция	Описание
`-сервер serverName:portNumber`	Явным образом укажите имя сервера и номер порта для выгрузки или загрузки, например `"localhost:12427"`. По умолчанию результаты загружаются или загружаются с сервера, настроенного в настройках Polyspace. См. Раздел «Настройка метрики Polyspace»
`-f`	Используйте эту опцию в скриптах, чтобы `polyspace-results-repository` команда не требует взаимодействия с пользователем. По умолчанию команда запрашивает подтверждение перед передачей результатов из локальной папки в Polyspace Metrics или наоборот.
`-password password_value`	Укажите пароль для отправки или загрузки защищенного паролем результата в Polyspace Metrics.
`-module module_name`	Укажите, что результат принадлежит модулю в текущем проекте Polyspace. Укажите имя модуля. Используйте эту опцию, чтобы загрузить результаты из проекта с несколькими модулями. В Polyspace Metrics все модули с одинаковыми `-prog` значение отображается в том же проекте. Когда вы загружаете результаты нескольких модулей в том же проекте, они появляются как отдельные модули в Polyspace Metrics. Когда вы загружаете результат определенного модуля, результат появляется в подпапке папки загрузки.
`-run-number`	Если вы загрузили несколько результатов с одним и тем же именем проекта и номером версии, они появляются как отдельные запуски в метриках Polyspace. Используйте эту опцию, чтобы загрузить или загрузить результаты для определенного запуска.
`-integration` или `-unit-by-unit`	Если вы запускаете верификацию файла по файлам, используйте `-unit-by-unit` чтобы загрузить или загрузить все результаты вместе. В противном случае используйте `-integration`. Для получения дополнительной информации о верификации файлов по файлам смотрите `Verify files independently (-unit-by-unit)` (Polyspace Code Prover). По умолчанию команда принимает один результат для каждой загрузки или загрузки.

Введенный в R2013b

Документация

polyspace-results-repository

Синтаксис

Описание

Примеры

Загрузка результатов в метрики Polyspace

Загрузить результаты из Polyspace Metrics

Загрузка результатов нескольких модулей в метрики Polyspace

Входные параметры

`resultsFolder` - Папка, содержащая результаты Polyspace
строка

`projectName` - Имя проекта Polyspace
строка

`newProjectName` - Имя проекта Polyspace
строка

`versionNumber` - Номер версии проекта Polyspace
строка

`newVersionNumber` - Номер версии проекта Polyspace
строка

`productName` - Имя продукта, используемого для анализа
`"CodeProver"` (по умолчанию) | `"BugFinder"`

`SQOLevel` - Уровень SQO или уровень BF-QO, применяемый к результатам анализа
`"SQO-1"` | `"SQO-2"` | `"SQO-3"` | `"SQO-4"` | `"SQO-5"` | `"SQO-6"` | `"BF-QO-1"` | `"BF-QO-2"` | `"BF-QO-3"` | `"BF-QO-4"` | `"BF-QO-5"` | `"BF-QO-6"` | `"Exhaustive"`

`[OPTIONS]` - Опции для настройки загрузки или загрузки
имя опции

Документация Polyspace Bug Finder

Поддержка

Документация

polyspace-results-repository

Синтаксис

Описание

Примеры

Загрузка результатов в метрики Polyspace

Загрузить результаты из Polyspace Metrics

Загрузка результатов нескольких модулей в метрики Polyspace

Входные параметры

resultsFolder - Папка, содержащая результаты Polyspace строка

projectName - Имя проекта Polyspace строка

newProjectName - Имя проекта Polyspace строка

versionNumber - Номер версии проекта Polyspace строка

newVersionNumber - Номер версии проекта Polyspace строка

productName - Имя продукта, используемого для анализа "CodeProver" (по умолчанию) | "BugFinder"

SQOLevel - Уровень SQO или уровень BF-QO, применяемый к результатам анализа "SQO-1" | "SQO-2" | "SQO-3" | "SQO-4" | "SQO-5" | "SQO-6" | "BF-QO-1" | "BF-QO-2" | "BF-QO-3" | "BF-QO-4" | "BF-QO-5" | "BF-QO-6" | "Exhaustive"

[OPTIONS] - Опции для настройки загрузки или загрузки имя опции

Документация Polyspace Bug Finder

Поддержка

`resultsFolder` - Папка, содержащая результаты Polyspace
строка

`projectName` - Имя проекта Polyspace
строка

`newProjectName` - Имя проекта Polyspace
строка

`versionNumber` - Номер версии проекта Polyspace
строка

`newVersionNumber` - Номер версии проекта Polyspace
строка

`productName` - Имя продукта, используемого для анализа
`"CodeProver"` (по умолчанию) | `"BugFinder"`

`SQOLevel` - Уровень SQO или уровень BF-QO, применяемый к результатам анализа
`"SQO-1"` | `"SQO-2"` | `"SQO-3"` | `"SQO-4"` | `"SQO-5"` | `"SQO-6"` | `"BF-QO-1"` | `"BF-QO-2"` | `"BF-QO-3"` | `"BF-QO-4"` | `"BF-QO-5"` | `"BF-QO-6"` | `"Exhaustive"`

`[OPTIONS]` - Опции для настройки загрузки или загрузки
имя опции