Установите десктопные решения Polyspace

Polyspace® проверяет код C/C++ на ошибки, ошибки времени выполнения, кодируя стандартные нарушения и другие проблемы при помощи статического анализа. С десктопными решениями, Polyspace Bug Finder™ и Polyspace Code Prover™, можно выполнить проверки на отдельных рабочих столах до представления кода.

Для обзора всех Продуктов polyspace смотрите Продукты polyspace для Анализа кода и Верификации.

Рабочий процесс

Используя десктопные решения Polyspace, отдельные разработчики могут проверять свой код на ошибки и ошибки времени выполнения во время разработки.

Для универсальных стандартов через проект или команду, все разработчики в проекте или команде могут использовать предопределенный набор проверок. Разработчики могут квалифицировать свой код к представлению на основе этих предопределенных проверок. После представления кода к общему репозиторию более обширный анализ постпредставления может работать на сервере при помощи серверных продуктов Polyspace.

Рабочий процесс состоит из этих шагов:

  • Рабочий анализ Polyspace:

    Во время разработки отдельные разработчики запускают анализ со своих ИД при помощи скриптов или от пользовательского интерфейса десктопных решений.

    Для кода, сгенерированного от:

    • Модели Simulink®, можно запустить анализ непосредственно с Simulink после генерации кода.

    • Код MATLAB®, можно запустить анализ непосредственно в Приложении MATLAB Coder после генерации кода.

    Чтобы сохранить вычислительную мощность на рабочем столе разработчика, можно разгрузить анализ к серверу. После анализа результаты загружаются на рабочий стол для анализа.

  • Рассматривание результатов Polyspace:

    После анализа разработчики рассматривают результаты (ошибки, ошибки времени выполнения, кодируя стандартные нарушения, и так далее) в пользовательском интерфейсе десктопного решения.

    При использовании Eclipse™ или IDE на основе Eclipse, разработчики могут рассмотреть результаты непосредственно в IDE.

Эти шаги описывают рабочий процесс до представления кода. После представления кода инструмент автоматизации сборки может запустить анализ Polyspace сервера. Инструмент может также загрузить результаты анализа на веб-браузер для совместного анализа разработчиками или инженерами по качеству. Смотрите Сервер Polyspace Установки и доступ к продуктам (Polyspace Code Prover Server).

Установка продукта

Для этого рабочего процесса необходимо установить следующие продукты на отдельных рабочих столах.

Продукты polyspace, чтобы запустить анализ

Установите Polyspace Bug Finder или Polyspace Code Prover, чтобы запустить анализ.

Установка.  Запустите установщика MathWorks®. Выберите лицензию на десктопные решения Polyspace. Можно получить инсталлятор и лицензию путем покупки продукта или запроса испытания. Для подробных инструкций смотрите Установку и Лицензирование.

Чтобы установить продукты нев интерактивном режиме или тихо в командной строке, смотрите Установку Нев интерактивном режиме.

Вы требуете, чтобы Polyspace Bug Finder установил Polyspace Code Prover.

Папка установки.  Папка стандартной установки используется на основе вашей операционной системы и версии выпуска. Во время установки можно изменить эту папку по умолчанию в случае необходимости.

Например, папка стандартной установки для релиза R2021a перечислена здесь.

Операционная системаПапка стандартной установки
Windows®C:\Program Files\Polyspace\R2021a
Linux® (большинство распределений)/usr/local/Polyspace/R2021a
Mac/Applications/Polyspace/R2021a

Шаги постустановки.  После того, как вы установите десктопное решение Polyspace, можно открыть пользовательский интерфейс Polyspace или запустить исполняемые файлы командной строки. Можно запустить анализ в пользовательском интерфейсе или из командной строки Linux или Windows.

Чтобы запустить анализ с других сред, выполните эти шаги постустановки:

Продукты polyspace, чтобы рассмотреть результаты

Установка Polyspace Bug Finder или Polyspace Code Prover достаточна, чтобы рассмотреть результаты.

Можно рассмотреть Bug Finder и результаты Программы автоматического доказательства Кода только с рабочим столом Bug Finder. Например, если вы разгружаете анализ к серверу и только рассматриваете загруженные результаты анализа на вашем рабочем столе, вы требуете Bug Finder только.

В Eclipse или ИДАХ на основе Eclipse, если вы устанавливаете плагин Polyspace, вы видите результаты непосредственно в IDE.

Установите Polyspace с другими продуктами Mathworks

Чтобы установить Polyspace с другими Продуктами Mathworks, такими как MATLAB, запустите установщика MathWorks дважды.

  • На первом показе выберите лицензию, которая соответствует другим Продуктам Mathworks, таким как MATLAB, Simulink или Embedded Coder.

  • Во втором запуске выберите лицензию, которая соответствует Продуктам polyspace.

В этом рабочем процессе продукты, такие как MATLAB и Simulink установлены в различной корневой папке, чем Продукты polyspace. Можно соединить эти две установки и использовать скрипты MATLAB, чтобы запустить Polyspace. Смотрите Интегрируют Polyspace с MATLAB и Simulink.

Если вы устанавливаете десктопные решения Polyspace и серверные продукты, также необходимо запустить установщика дважды с отдельными лицензиями. Десктопные решения и серверные продукты установлены в отдельных корневых папках. Например, в Windows, корневые папки по умолчанию для установки R2021a:

  • Десктопные решения Polyspace: C:\Program Files\Polyspace\R2021a.

    Эта папка содержит исполняемые файлы, чтобы запустить анализ с продуктами, Polyspace Bug Finder и Polyspace Code Prover.

  • Серверные продукты Polyspace: C:\Program Files\Polyspace Server\R2021a.

    Эта папка содержит исполняемые файлы, чтобы запустить анализ с продуктами, Polyspace Bug Finder Server™ и Polyspace Code Prover Server.

Сконфигурируйте заимствование лицензии

Если ваш Продукт polyspace использует лицензию, которая требует менеджера лицензий, например, Коммерческой Параллельной лицензии, можно включить заимствование лицензии и одолжить лицензию.

Одолжите лицензию максимум на 720 часов (30 дней), чтобы продолжить использовать ваш Продукт polyspace даже после того, как вы отключите свою машину от сервера менеджера лицензий.

Лицензии, которые поддерживают заимствование, включают ключевое слово BORROW на INCREMENT линии для продуктов, например:

INCREMENT Polyspace_BF MLM 40 01-jan-000 5 BORROW=720 \
	AE3FC254020DE6A3C24A
Необходимо быть администратором, чтобы включить заимствование лицензии. Смотрите Включают Заимствование Лицензии.

Одолжите лицензию Polyspace

Примечание

Этот рабочий процесс применяется к R2019a и более поздним релизам. Для R2018b и более ранних релизов, смотрите, Одалживают Лицензии.

Чтобы одолжить лицензию, используйте lmutil двоичный файл, который доступен с установкой менеджера лицензий.

Двоичный файл находится в той же папке как lmgrd и MLM двоичные файлы, например, installFolder\win64\etc, где installFolder папка установки менеджера лицензий. Если вы не знаете, что местоположение этой папки связывается с вашим администратором лицензии Polyspace.

Одалживать лицензию:

  1. Скопируйте lmutil двоичный файл с машины сервера лицензий на машину, у которой вы хотите одолжить лицензию.

  2. Запустите следующую команду при помощи этого формата, чтобы задать одалживать дату окончания периода, и опционально, время окончания:

    lmutil lmborrow MLM dd-Mmm-YYYY hh:mm
    Например, чтобы одолжить лицензию до 20 января 2021 13:00, введите:
     lmutil lmborrow MLM 20-Jan-2021 13:00

  3. Запустите продукт, лицензию которого вы хотите одолжить. Например, используйте десктопное решение Polyspace Bug Finder, чтобы анализировать маленький исходный файл.

    Запустите эту команду, чтобы проверять одалживать состояние вашей лицензии:

    lmutil lmborrow -status

  4. Отключите свою машину от сети и продолжите использовать свой Продукт polyspace.

Так, чтобы вы не одалживали лицензии на другие продукты, после шага 3, запускали эту команду:

lmutil lmborrow -clear

Возвратите лицензию Polyspace

Возвратить вашу заимствованную лицензию перед концом одалживать периода:

  1. Соедините свою машину с сетью менеджера лицензий.

  2. Введите следующую команду при помощи этого формата, чтобы задать порт сервера лицензий и имя хоста и имя функции, лицензию которой вы возвращаете:

    lmutil lmborrow -return -c serverPort@serverHostname featureName
    Например, чтобы возвратить лицензию рабочего стола Polyspace Bug Finder (Polyspace_BF), введите:
    lmutil lmborrow -return -c 27000@licenseMgrHostName Polyspace_BF
    Свяжитесь со своим администратором лицензии Polyspace для порта сервера лицензий и имени хоста.

Обновите продукты polyspace

Чтобы установить новое обновление для десктопных решений Polyspace или серверных продуктов, закройте все рабочие сеансы Polyspace, затем запустите двоичный файл инсталлятора обновления. Двоичный файл является частью вашей исходной установки Polyspace. Каждое обновление включает все меры от предыдущих обновлений. Чтобы обновить десктопные решения Polyspace и серверные продукты, запустите установщика обновления дважды, однажды для каждого основного продукта Polyspace.

Примечание

Эта процедура обновления для R2019a и более поздних релизов только.

Установите обновление на машине, подключенной с Интернетом

  1. Откройте окно командной строки и перейдите к папке, которая соответствует вашей платформе.

    Windows

    polyspaceroot\bin\win64

    Linux

    polyspaceroot/bin/glnxa64

    macOSpolyspaceroot/bin/maci64

    polyspaceroot папка установки Polyspace, например, C:\Progam Files\Polyspace\R2019a.

  2. В командной строке введите команду, которая соответствует вашей платформе.

    Windows
    update_installer.exe
    Linux/macOS
    ./update_installer

    В качестве альтернативы можно открыться, папка инсталлятора обновления в файловом менеджере затем дважды кликают update_installer двоичный файл.

Чтобы завершить обновление, следуйте за подсказками в пользовательском интерфейсе.

Установите обновление на машине без Интернета

Чтобы установить обновление Polyspace на машине, которая не соединяется с Интернетом, загрузите пакет обновления на онлайновый компьютер. Затем запустите двоичный файл инсталлятора обновления на машине, которая не соединяется с Интернетом, и используйте -updatepackage опция. Можно использовать этот рабочий процесс, чтобы запустить установщика обновления без пользовательского интерфейса, например, установить обновление на машине сервера без отображения.

  1. Перейдите к https://www.mathworks.com/downloads/web_downloads/download_update_installers/R20XXy и загрузите пакет обновления, который соответствует вашей платформе к онлайновому компьютеру.

    R20XXy версия выпуска обновления, например, R2019a.

  2. Разархивируйте пакет обновления к местоположению, которое доступно от машины, где вы хотите установить обновление, например, сетевой диск.

  3. На машине, где вы хотите установить обновление, откройте окно командной строки и перейдите к папке, которая соответствует вашей платформе.

    Windows

    polyspaceroot\bin\win64

    Linux

    polyspaceroot/bin/glnxa64

    macOSpolyspaceroot/bin/maci64

    polyspaceroot папка установки Polyspace, например, C:\Progam Files\Polyspace\R2019a.

  4. В командной строке введите команду, которая соответствует вашей платформе.

    Windows
    update_installer.exe -updatepackage package_folder
    Linux/macOS
    ./update_installer -updatepackage package_folder

    package_folder полный путь к папке, где вы разархивировали пакет обновления. Инсталлятор обновления запускается тихо и не выводит сообщений.

Проверяйте журнал инсталлятора обновления и версию обновления

Чтобы видеть состояние установки, если вы запускаете установщика обновления тихо, или проверять ошибки в процессе обновления установки, открывают файл журнала инсталлятора, который хранится в вашей платформе временная папка.

Windows

\%TEMP %\mathworks_yourusernameжурнал

Linux/macOS

/tmp/mathworks_yourusernameжурнал

Чтобы проверять версию обновления Polyspace, которое установлено, перейдите к папке установки Polyspace и откройте VersionInfo.xml. Версия обновления перечислена в <description/> пометьте, например:

...
  <release>R2019a</release>
  <description>Update 4</description>
...

Если никакое обновление не установлено, <description/> тег пуст.

Похожие темы