Если у вас есть установка настольных продуктов, Polyspace® Bug Finder™ и/или Polyspace Code Prover™, можно сконфигурировать свой проект в пользовательском интерфейсе десктопных продуктов. Затем можно сгенерировать скрипт или файл опций из строений, заданных в пользовательском интерфейсе, и использовать файл скрипта или опций для автоматических запусков с настольными или серверными продуктами.
Если вы не создали проект Polyspace из существующих спецификаций, таких как команда build, при настройке проекта, возможно, сначала придется выполнить несколько пробных запусков. В этих пробных запусках, если вы столкнулись с ошибками компиляции или не проверенным кодом, вам, возможно, придется изменить строение анализа. Легче выполнить эту начальную настройку в пользовательском интерфейсе настольных продуктов. Пользовательский интерфейс обеспечивает различные функции, такие как:
Помощник компиляции, который предлагает обходные пути для некоторых ошибок компиляции,
Автоматическая генерация XML- файл для спецификаций ограничений,
Контекстно-зависимая справка для опций.
Для открытия пользовательского интерфейса Polyspace и настройки опций необходимо иметь хотя бы одну лицензию Polyspace Bug Finder и/или Polyspace Code Prover.
После генерации скриптов можно запустить анализ с помощью либо десктопных продуктов (Polyspace Bug Finder и Polyspace Code Prover) либо серверных продуктов (Polyspace Bug Finder Server™ и/или Polyspace Code Prover Server).
В этом примере показано, как сгенерировать скрипт из строения Bug Finder. Те же шаги применяются к строению Code Prover.
Добавьте исходные файлы к новому проекту в пользовательском интерфейсе Polyspace.
Переход к
, где polyspaceroot
\ polyspace\bin
является папкой установки Polyspace, например polyspaceroot
C:\Program Files\Polyspace\R2021a
. Откройте пользовательский интерфейс Polyspace с помощью polyspace
исполняемый файл и создание нового проекта.
Смотрите Добавление исходных файлов для анализа в интерфейсе пользователя Polyspace.
Задайте опции анализа на панели Configuration в проекте Polyspace. Чтобы открыть эту панель, в браузере проекта щелкните узел строения в проекте Polyspace.
Запустите анализ. На основе ошибок компиляции и результатов анализа измените опции по мере необходимости.
После установки опций анализа сгенерируйте скрипт из проекта (.psprj
файл).
Чтобы сгенерировать скрипт из демо-проекта, Bug_Finder_Example
:
Загрузите проект. Выберите Help > Examples > Bug_Finder_Example.psprj. Копия этого проекта загружена в Examples
папка в рабочей рабочей области по умолчанию. Чтобы найти расположение проекта, поместите курсор на имя проекта в панели Project Browser.
Перейдите к местоположению проекта и введите:
polyspace -generate-launching-script-for Bug_Finder_Example.psprj -bug-finder
Чтобы сгенерировать скрипты Code Prover, используйте ту же команду без -bug-finder
опция.
Если проект имеет более одного модуля (с более чем одним строением в каждом модуле), опции из текущего активного строения в текущем активном модуле будут извлечены из скрипта.
Эти файлы генерируются для создания сценариев анализа:
source_command.txt
: Списки исходных файлов. Этот файл может быть предоставлен в качестве аргумента для -sources-list-file
опция.
options_command.txt
: Перечисляет опции анализа. Этот файл может быть предоставлен в качестве аргумента для -options-file
опция.
launchingCommand.bat
или launchingCommand.sh
, в зависимости от вашей операционной системы. Файл использует polyspace-bug-finder
или polyspace-code-prover
исполняемый файл для запуска анализа. Анализ выполняется на исходных файлах, перечисленных в source_command.txt
и использует опции, перечисленные в options_command.txt
.
После настройки анализа и генерации скриптов можно использовать сгенерированные файлы для автоматизации последующего анализа. Можно автоматизировать последующий анализ с помощью настольных или серверных продуктов.
Чтобы автоматизировать анализ Bug Finder с помощью десктопного продукта, Polyspace Bug Finder:
Сгенерируйте скрипты, как упоминалось в предыдущем разделе.
Выполните скрипт launchingCommand.bat
или launchingCommand.sh
с периодическими интервалами или на основе предопределенных триггеров.
Чтобы автоматизировать анализ Bug Finder с серверным продуктом, Polyspace Bug Finder Server:
После определения опций в пользовательском интерфейсе и перед генерацией скриптов переместите проект Polyspace (.psprj
файл) на сервер, на котором работает серверный продукт.
Сгенерируйте скрипты, как упоминалось в предыдущем разделе.
Скрипты ссылаются на исполняемый файл серверного продукта вместо продуктов для настольных ПК.
Выполните скрипт launchingCommand.bat
или launchingCommand.sh
с периодическими интервалами или на основе предопределенных триггеров.
Кроме того, можно изменить скрипт, сгенерированный для настольного продукта, так, чтобы серверный продукт был выполнен. Скрипт ссылается на путь к исполняемому файлу продукта для рабочего стола, например:
"C:\Program Files\Polyspace\R2021a\polyspace\bin\polyspace-code-prover.exe"
"C:\Program Files\Polyspace Server\R2021a\polyspace\bin\polyspace-code-prover-server.exe"
Иногда может потребоваться переопределить некоторые опции в файле параметров. Например, опция задания папки результатов жестко закодирован в скрипте. Можно удалить эту опцию или переопределить ее при запуске скриптов:
launchingCommand -results-dir newResultsFolder
newResultsFolder
- новая папка результатов. Эта папка может быть даже динамически сгенерирована для каждого запуска.Если вы переопределяете несколько опций в options_command.txt
переопределения можно сохранить во втором файле опций. Измените скрипт launchingCommand.bat
или launchingCommand.sh
чтобы использовать оба файла опций. Скрипт использует опцию -options-file
чтобы использовать файл опций, например:
-options-file options_command.txt
overrides.txt
, измените скрипт, чтобы добавить вторую -options-file
опция:-options-file options_command.txt -options-file overrides.txt
-generate-launching-script-for