репозиторий результатов полипробела

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

Синтаксис

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.

Можно настроить загрузку по умолчанию с дополнительными опциями.

пример

polyspace-results-repository -download resultsFolder -product productName -prog projectName -verif-version versionNumber [OPTIONS] Polyspace загрузок следует из Метрического веб-репозитория Polyspace к resultsFolder.

Можно настроить загрузку по умолчанию с дополнительными опциями.

polyspace-results-repository -get-projects-list -product productName отображает проекты Программы автоматического доказательства Средства поиска или Кода Ошибки в настоящее время в Метрическом веб-репозитории Polyspace.

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

polyspace-results-repository -get-run-numbers-list -product productName -prog projectName -verif-version versionNumber отображает количества выполнения версии проекта в настоящее время в Метрическом веб-репозитории Polyspace.

Опция полезна, только если несколько результатов с тем же названием проекта и номером версии были загружены на Метрики Polyspace.

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.

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

Примеры

свернуть все

Загрузите результаты на метрики Polyspace

Предположим, что вы хотите загрузить Программу автоматического доказательства Кода, следует из папки C:\My_Results к Метрическому серверу Polyspace 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

Предположим, что вы хотите загрузить результаты Средства поиска Ошибки в версии 1.0 проекта Polyspace_Project с Метрического сервера Polyspace 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, отдельный модуль создается для каждого Компонента программного обеспечения AUTOSAR. Можно записать сценарий оболочки (файл .sh) как это (или файл Windows^® .bat), чтобы собрать файлы результата в подпапках папки проекта и загрузить их на Метрики Polyspace. Файлы результата Программы автоматического доказательства кода используют дополнительный .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
строка

Имя папки, заданное как строка (в двойных кавычках). Папка должна содержать файл результата Средства поиска Ошибки (.psbf) или файл Программы автоматического доказательства Кода (.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 для результатов Программы автоматического доказательства Кода и уровень BF-QO для результатов Средства поиска Ошибки.

См.:

`Опции` Опции, чтобы настроить загрузку или загрузку
имя опции

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

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

репозиторий результатов полипробела

Синтаксис

Описание

Примеры

Загрузите результаты на метрики Polyspace

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

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

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

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

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

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

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

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

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

`Опции` Опции, чтобы настроить загрузку или загрузку
имя опции

Введенный в R2013b

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

Поддержка

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

репозиторий результатов полипробела

Синтаксис

Описание

Примеры

Загрузите результаты на метрики Polyspace

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

Загрузите результаты нескольких модулей к метрикам 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"

Опции Опции, чтобы настроить загрузку или загрузку имя опции

Введенный в R2013b

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

Поддержка

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

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

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

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

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

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

`Опции` Опции, чтобы настроить загрузку или загрузку
имя опции