(DOS/UNIX) Polyspace Экспорта заканчивается к внешним форматам, таким как CSV или JSON
polyspace-results-export -format Polyspace экспорта® результаты анализа, сохраненные локально в exportFormat -results-dir resultsFolder [OPTIONS]resultsFolder к внешнему формату exportFormat.
polyspace-results-export -format результаты анализа Polyspace экспорта сохранили в Polyspace доступ к внешнему формату exportFormat -host hostName -run-id runID [OPTIONS] [ACCESS_OPTIONS]exportFormat. Задайте Polyspace доступ к экземпляру при помощи hostName и проект на Polyspace доступ при помощи runID.
Экспорт следует из проекта myProject в пользовательском интерфейсе Polyspace к формату JSON.
Предположим, что ваш проект хранится в C:\Polyspace_Workspace. Чтобы экспортировать результаты определенного модуля в проекте, задайте путь к папке, которая непосредственно содержит результаты модуля.
polyspace-results-export -format json-sarif ^ -results-dir C:\Polyspace_Workspace\myProject\Module_1\BF_Result -output-name C:\Polyspace_Workspace\reports\myProject\myProject.json
Примечание
Чтобы сгенерировать отчеты результатов на Polyspace доступ в командной строке, у вас должны быть Polyspace Bug Finder™ Server™ или установка Сервера Polyspace Code Prover™.
Предположим, что вы хотите экспортировать результаты проекта на Polyspace доступ к формату JSON.
Чтобы соединить с Polyspace доступ, обеспечьте имя хоста и ваши учетные данные входа в систему включая ваш зашифрованный пароль. Чтобы зашифровать ваш пароль, используйте polyspace-access команда и вводит ваше имя пользователя и пароль в подсказке.
polyspace-access -encrypt-password
login: jsmith
password:
CRYPTED_PASSWORD LAMMMEACDMKEFELKMNDCONEAPECEEKPL
Command CompletedСохраните вход в систему и зашифрованный пароль в файле учетных данных и ограничьте чтение и разрешение записи на этом файле. Откройте текстовый редактор, скопируйте эти две строки в редакторе, затем сохраните файл как myCredentials.txt например.
-login jsmith
-encrypted-password LAMMMEACDMKEFELKMNDCONEAPECEEKPLЧтобы задать результаты проекта на Polyspace доступ, задайте ID запуска проекта. Чтобы получить список проектов с их последними идентификаторами запуска, используйте polyspace-access с опцией -list-project.
polyspace-access -host myAccessServer -credentials-file myCredentials.txt -list-project
Connecting to https://myAccessServer:9443
Connecting as jsmith
Get project list with the last Run Id
Restricted/Code_Prover_Example (Code Prover) RUN_ID 14
public/Bug_Finder_Example (Bug Finder) RUN_ID 24
public/CP/Code_Prover_Example (Polyspace Code Prover) RUN_ID 16
public/Polyspace (Code Prover) RUN_ID 28
Command Completedpolyspace-access.Если Polyspace доступ к использованию протокол HTTPS, используйте polyspace-report-generator двоичный файл, чтобы сконфигурировать polyspace-results-export включить связи с Polyspace доступ по HTTPS. Смотрите Конфигурируют Report Generator с Клиентом Кеистором.
Экспорт следует из проекта с запущенным ID 16 к формату JSON.
polyspace-results-export -credentials-file myCredentials.txt
-format json-sarif^
-host myAccessServer ^
-run-id 16exportFormat — Выходной формат для результатовcsv | json-sarif | consoleФормат, в котором экспортируются результаты Polyspace: csv для вкладки разделила значения (TSV) выход или json-sarif для JSON выход. Если вы используете polyspace-bug-finder-access команда для однофайлового анализа (Polyspace, когда Вы Кодируете), можно также экспортировать результаты в консоль с помощью формата console.
Каждый результат состоит из информации, такой как имя результата, семейство, и так далее. И TSV и результат форматов JSON почти в том же экспортируемом содержимом, но экспортируемом довольном сила относятся к тому же типу информации различными именами.
В формате TSV каждый результат состоит из разделенной от вкладки информации в столбцах, таких как ID, Family, Group, Color, Check, и так далее.
К пакету и потенциально фильтруют ваши данные о результате, используют csv формат. Например, можно импортировать файл TSV в Microsoft® Excel® и используйте фильтры Excel на результатах.
В формате JSON каждый результат состоит почти из той же информации как свойства объектов JSON. Свойства, показанные для результата иногда, используют имя, которое отличается от имени, используемого в формате CSV. Например, чтобы получить полное имя средства проверки правила для результата, используйте ruleId свойство результата в сочетании с id и name свойство правила. Причина различия состоит в том, что формат JSON следует за стандартным обозначением, обеспеченным Форматом обмена результатов статического анализа (SARIF) OASIS.
Формат JSON содержит некоторую дополнительную информацию, такую как краткое название средства проверки и полное сообщение, которое сопровождает результат. Используйте формат JSON, если вы хотите использовать это краткое название или сообщение. Можно также использовать этот формат для более стандартизированного создания отчетов результатов. Например, если вы используете несколько инструментов статического анализа и хотите сообщить об их результатах в одном интерфейсе при помощи одного алгоритма парсинга, можно экспортировать все результаты в стандартный формат SARIF JSON.
Консоль выход предварительно отформатирована в форме, похожей на ошибки компилятора и предупреждения, и содержит меньше информации, чем другие форматы. В частности, если вы базовый Polyspace, когда Вы Кодируете результаты с помощью результатов интегрирования в Polyspace доступ к веб-интерфейсу, используйте JSON или формат CSV для максимальных преимуществ от определения исходного состояния. Смотрите Базовый Polyspace, когда Вы Кодируете Результаты на Командной строке.
resultsFolder — Путь к папке результатаПуть к папке, содержащей результаты анализа Polyspace (.psbf или .pscp файл). Если вы не задаете путь к папке, команда генерирует отчет для результатов анализа в текущей папке.
Пример: C:\Polyspace_Workspace\My_project\Module_1\results
hostName — Polyspace доступ к имени хоста машиныhostName соответствует имени хоста, которое вы задаете в URL интерфейса Polyspace Access, например, https://. Если вы не уверены, о котором имени хоста использовать, связываются с вашим Polyspace доступ к администратору. Именем хоста по умолчанию является hostNameПорт/metrics/index.htmllocalhost. Необходимо задать имя хоста, чтобы сгенерировать отчет для результатов на базе данных Access Polyspace.
Пример: my-company-server
runID — Polyspace доступ к запущенному IDЗапустите ID результатов проекта, которые вы экспортируете. Уникальный ID запуска присвоен каждому аналитическому запуску, что вы загружаете на Polyspace доступ.
Вы видите ID запуска проекта в Polyspace доступ к веб-интерфейсу. Чтобы получить ID запуска проекта в командной строке, используйте команду polyspace-access с опцией -list-project.
OPTIONS — Дополнительные опции для экспорта результатов| Опция | Описание |
|---|---|
- выходное имя | Имя экспортируемого файла. Именем по умолчанию является Файл сохранен на пути, от которого вы вызываете команду. Чтобы сохранить файл в другой папке, задайте полный путь к папке, например |
-set-language-english | Используйте эту опцию, если ваш язык отображения установлен в язык кроме английского языка, но вы хотите экспортируемые результаты на английском языке. |
Чтобы видеть опции, доступные с этой командой, введите polyspace-results-export -h.
ACCESS_OPTIONS — Дополнительные опции для экспорта результатов Polyspace доступ| Опция | Описание |
|---|---|
|
|
| Протокол HTTP, чтобы соединить с Polyspace доступ. Значением по умолчанию является https. |
- файл учетных данных | Полный путь к текстовому файлу, где вы храните свои учетные данные входа в систему. Используйте эту опцию, если, например, вы используете команду, которая требует вашего Polyspace доступ к учетным данным в скрипте, но вы не хотите хранить свои учетные данные в том скрипте. В то время как скрипт запускается, кто-то смотрящий в настоящее время рабочие процессы не видит ваши учетные данные. Можно сохранить только один набор учетных данных в файле, любой как -login jsmith -encrypted-password LAMMMEACDMKEFELKMNDCONEAPECEEKPL -api-key запись:-api-key keyValue123 login.txt в Linux используйте эту команду:chmod go-rwx login.txt |
- ключ API | Ключ API вы используете в качестве учетных данных входа в систему вместо того, чтобы обеспечить ваш вход в систему и зашифрованный пароль. Чтобы присвоить ключ API пользователю, смотрите, Конфигурируют Диспетчер пользователей или связываются с вашим Polyspace доступ к администратору. Используйте ключ API, если, например, вы используете команду, которая требует вашего Polyspace доступ к учетным данным входа в систему как часть скрипта автоматизации с инструментом CI как Дженкинс. Если пользователь обновляет его пароль, вы не должны обновлять ключ API, сопоставленный с тем пользователем в ваших скриптах. Рекомендуется, чтобы вы сохранили ключ API в текстовом файле и передали тот файл команде при помощи |
| Учетные данные, которые вы используете, чтобы регистрировать в Polyspace доступ. Аргумент Для получения дополнительной информации о команде смотрите |
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.