Exponenta Banner

polyspace-results-repository

(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] переименовывает определенную версию проекта в другой проект и версию.

Примеры

свернуть все

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

Предположим, что вы хотите загрузить результаты Средства поиска Ошибки в версии 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 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

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

свернуть все

Имя папки в виде строки (в двойных кавычках). Папка должна содержать файл результата Средства поиска Ошибки (.psbf) или файл Программы автоматического доказательства Кода (.pscp).

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

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

Пример: "Polyspace_project"

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

Пример: "Polyspace_project_1"

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

Пример: "1.0"

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

Пример: "1.1"

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

Уровни качества применились к результатам анализа. Уровни качества состоят из набора критериев, на основе которых результаты анализа присвоены состояние PASS или FAIL. Используйте уровни SQO для результатов Программы автоматического доказательства Кода и уровень BF-QO для результатов Средства поиска Ошибки.

См.:

ОпцияОписание
- сервер serverName:portNumber

Явным образом задайте имя сервера и номер порта для загрузки или загрузки, например, "localhost:12427".

По умолчанию результаты загружаются на или загружаются с сервера, который вы сконфигурировали в настройках Polyspace. Смотрите Настроенные Метрики Polyspace.

-f

Используйте эту опцию в скриптах так, чтобы polyspace-results-repository команда не требует взаимодействия с пользователем.

По умолчанию команда просит подтверждение прежде, чем передать результаты вашей локальной папки Метрикам Polyspace или наоборот.

- пароль password_value

Задайте пароль для загрузки или загрузите защищенный паролем результат в Метриках Polyspace.

- модуль module_name

Укажите, что результат принадлежит модулю в текущем проекте Polyspace. Задайте имя модуля.

Используйте эту опцию, чтобы загрузить результаты проекта с несколькими модулями. В Метриках Polyspace, всех модулях с тем же -prog значение появляется в соответствии с тем же проектом.

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

-run-number

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

-integration или -unit-by-unit

Если при запуске верификацию файла файлом, используйте -unit-by-unit загружать или загружать все результаты вместе. В противном случае используйте -integration. Для получения дополнительной информации о верификации файла файлом смотрите Verify files independently (-unit-by-unit).

По умолчанию команда принимает один результат для каждой загрузки или загрузки.

Введенный в R2013b

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

Поддержка