polyspace-results-repository

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

свернуть все на странице

Синтаксис

polyspace-results-repository -upload resultsFolder -product productName -prog

polyspace-results-repository -download resultsFolder -product productName -prog

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

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

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

polyspace-results-repository -get-files-list -product productName -prog

polyspace-results-repository -get-sqo-id -product productName -prog

polyspace-results-repository -set-sqo-id SQOLevel -product productName -prog startName -verif-version versionNumber [ПАРАМЕТРЫ]

polyspace-results-repository -delete -product productName -prog startName -verif-version versionNumber [ПАРАМЕТРЫ]

polyspace-results-repository -rename -product productName -new-prog new

Описание

пример

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 отображает проекты «Поиск ошибок» или «Проверка кода», находящиеся в настоящее время в веб-репозитории 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.

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

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

Пример: "1.0"

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

Номер новой версии проекта Polyspace, отображаемый на вкладке «Ветви» метрик 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 для результатов поиска ошибок.

См.:

Цели качества программного обеспечения (проверка кода Polyspace)
Целевые уровни качества поиска ошибок

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

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

Представлен в R2013b

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

polyspace-results-repository

Синтаксис

Описание

Примеры

Загрузить результаты в метрики 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"`

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

Документация для поиска ошибок Polyspace

Поддержка

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

polyspace-results-repository

Синтаксис

Описание

Примеры

Загрузить результаты в метрики 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"

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

Документация для поиска ошибок 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]` - Параметры для настройки загрузки или выгрузки
имя опции