Polyspace® проверяет код C/C + + на ошибки, ошибки времени выполнения, стандартные нарушения кодирования и другие проблемы с помощью статического анализа. С помощью десктопных продуктов, Polyspace Bug Finder™ и Polyspace Code Prover™, можно выполнить проверки на отдельных рабочих столах перед отправкой кода.
Обзор всех продуктов Polyspace см. в разделе Продукты Polyspace для анализа кода и верификации.
Используя десктопные продукты Polyspace, отдельные разработчики могут проверять свой код на наличие ошибок и ошибок времени выполнения во время разработки.
Для единых стандартов в проекте или команде все разработчики в проекте или команде могут использовать предопределенный набор проверок. Разработчики могут квалифицировать свой код для отправки на основе этих предопределенных проверок. После отправки кода в общий репозиторий более обширный анализ после отправки может выполняться на сервере с помощью серверных продуктов Polyspace.
Рабочий процесс состоит из следующих шагов:
Выполнение анализа Polyspace:
Во время разработки отдельные разработчики начинают анализ из своих IDE с помощью скриптов или из пользовательского интерфейса десктопных продуктов.
Для кода, сгенерированного из:
Simulink® модели, можно начать анализ непосредственно с Simulink после генерации кода.
MATLAB® код, можно начать анализ непосредственно в MATLAB Coder App после генерации кода.
Чтобы сэкономить вычислительную степень на рабочем столе разработчика, можно разгрузить анализ на сервер. После анализа результаты загружаются на рабочий стол для просмотра.
Просмотр результатов Polyspace:
После анализа разработчики просматривают результаты (ошибки, ошибки времени выполнения, стандартные нарушения кодирования и так далее) в пользовательском интерфейсе настольного продукта.
При использовании Eclipse™ или IDE на основе Eclipse разработчики могут просмотреть результаты непосредственно в IDE.
Эти шаги описывают рабочий процесс перед отправкой кода. После отправки кода инструмент автоматизации сборки может запустить анализ Polyspace на сервере. Инструмент может также загрузить результаты анализа в веб-браузер для совместного рассмотрения разработчиками или инженерами по качеству. См. раздел Установка сервера Polyspace и продуктов доступа (Polyspace Code Prover Server).
Для этого рабочего процесса необходимо установить следующие продукты на отдельные рабочие столы.
Установите Polyspace Bug Finder или Polyspace Code Prover, чтобы запустить анализ.
Монтаж. Запуск MathWorks® установщик. Выберите лицензию для десктопных продуктов Polyspace. Можно получить программу установки и лицензию, купив продукт или запросив пробную версию. Подробные инструкции см. в разделе Установка и лицензирование.
Чтобы установить продукты в командной строке неинтеративно или бесшумно, смотрите раздел Установка неинтерактивно.
Вам требуется Polyspace Bug Finder для установки Polyspace Code Prover.
Папка установки. Папка установки по умолчанию используется на основе операционной системы и версии релиза. Во время установки можно при необходимости изменить эту папку по умолчанию.
Например, здесь представлена папка установки по умолчанию для R2021a release.
| Операционная система | Папка установки по умолчанию |
|---|---|
| Windows® | C:\Program Files\Polyspace\R2021a |
| Linux® (большинство распределений) | /usr/local/Polyspace/R2021a |
| Mac | /Applications/Polyspace/R2021a |
Шаги после установки. После установки десктопного продукта Polyspace можно открыть пользовательский интерфейс Polyspace или запустить исполняемые файлы командной строки. Начать анализ можно в пользовательском интерфейсе или из командной строки Windows или Linux.
Чтобы начать анализ из других окружений, выполните следующие шаги после установки:
Чтобы запустить Polyspace из Eclipse или IDE на основе Eclipse, установите плагин Polyspace. См. раздел «Установка плагина рабочего стола Polyspace для Eclipse».
Чтобы запустить Polyspace со скриптами MATLAB, установите MATLAB. Затем выполните разовую настройку, чтобы связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».
Чтобы запустить Polyspace из Simulink, установите MATLAB, Simulink и Embedded Coder®. Затем выполните разовую настройку, чтобы связать установки Polyspace и Simulink. См. «Интеграция Polyspace с MATLAB и Simulink».
Чтобы запустить Polyspace из приложения MATLAB Coder, установите MATLAB и Embedded Coder. Затем выполните разовую настройку, чтобы связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».
Чтобы разгрузить анализ на сервер, установите Polyspace Bug Finder только на рабочий стол. На стороне сервера установите серверные продукты Polyspace и MATLAB Parallel Server™, чтобы обработать задания анализа с нескольких рабочих столов. Для отправки анализа Polyspace с рабочих столов на удаленный сервер см. раздел Установка продуктов.
Для просмотра результатов достаточно установки Polyspace Bug Finder или Polyspace Code Prover.
Вы можете просмотреть результаты Bug Finder и Code Prover только с рабочего стола Bug Finder. Например, если вы разгружаете анализ на сервер и просматриваете только загруженные результаты анализа на рабочем столе, вам требуется только Bug Finder.
В Eclipse или IDE на основе Eclipse, если установить плагин Polyspace, результаты можно увидеть непосредственно в IDE.
Чтобы установить 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 использует лицензию, для которой требуется менеджер лицензий, например лицензию Commercial Concurrent, можно включить заимствование лицензий и заимствовать лицензию.
Одолжите лицензию на срок до 720 часов (30 дней), чтобы продолжить использование продукта Polyspace даже после отключения компьютера от сервера менеджера лицензий.
Лицензии, поддерживающие заимствование, включают ключевое слово BORROW на INCREMENT линии для продуктов, например:
INCREMENT Polyspace_BF MLM 40 01-jan-000 5 BORROW=720 \
AE3FC254020DE6A3C24AПримечание
Этот рабочий процесс применяется к R2019a и более поздним релизам. Для получения R2018b и более ранних релизов см. раздел «Заимствование лицензий».
Чтобы заимствовать лицензию, используйте lmutil двоичный код, доступный при установке диспетчера лицензий.
Двоичный файл находится в той же папке, что и lmgrd и MLM двоичные файлы, для образца installFolder\ win64\etcinstallFolder является папкой установки диспетчера лицензий. Если вы не знаете местоположение этой папки, обратитесь к администратору лицензии Polyspace.
Чтобы заимствовать лицензию:
Скопируйте lmutil двоичный файл с сервера лицензий на компьютер, с которого требуется заимствовать лицензию.
Выполните следующую команду при помощи этого формата, чтобы задать дату окончания периода заимствования и, опционально, время окончания:
lmutil lmborrow MLM dd-Mmm-YYYY hh:mm lmutil lmborrow MLM 20-Jan-2021 13:00Запустите продукт, лицензию которого вы хотите заимствовать. Например, используйте настольный продукт Polyspace Bug Finder для анализа небольшого исходного файла.
Выполните эту команду, чтобы проверить статус заимствования вашей лицензии:
lmutil lmborrow -statusОтсоедините компьютер от сети и продолжите использовать продукт Polyspace.
Чтобы вы не заимствовали лицензии для других продуктов, после шага 3 запустите эту команду:
lmutil lmborrow -clearЧтобы вернуть заемную лицензию до окончания периода заимствования:
Подключите компьютер к сети менеджера лицензий.
Введите следующую команду с помощью этого формата, чтобы указать порт сервера лицензий и имя хоста, а также имя функции, лицензия которой вы возвращаете:
lmutil lmborrow -return -c serverPort@serverHostname featureNamelmutil lmborrow -return -c 27000@licenseMgrHostName Polyspace_BF
Чтобы установить последнее обновление для рабочего стола Polyspace или серверных продуктов, закройте все текущие сеансы Polyspace, а затем запустите двоичный файл программы установки обновлений. Двоичный файл является частью вашей оригинальной установки Polyspace. Каждое обновление включает все исправления из предыдущих обновлений. Чтобы обновить десктопные и серверные продукты Polyspace, запустите инсталлятор обновлений дважды, один раз для каждого базового продукта Polyspace.
Примечание
Эта процедура обновления предназначена только для R2019a и более поздних релизов.
Откройте окно командной строки и перейдите к папке, которая соответствует вашей платформе.
| Windows |
|
| Linux |
|
| macOS | polyspaceroot/bin/maci64 |
polyspaceroot является установочной папкой Polyspace, например C:\Progam Files\Polyspace\R2019a.
В командной строке введите команду, которая соответствует вашей платформе.
| Windows |
update_installer.exe |
| Linux/macOS |
./update_installer |
Также можно открыть папку update installer в обозревателе файлов, а затем дважды кликнуть update_installer двоичный.
Чтобы завершить обновление, следуйте инструкциям в пользовательском интерфейсе.
Чтобы установить обновление Polyspace на компьютере, не подключенном к Интернету, загрузите пакет обновления на онлайн-компьютер. Затем запустите двоичный файл программы установки обновлений на машине, которая не подключена к Интернету, и используйте -updatepackage опция. Можно использовать этот рабочий процесс для запуска программы установки обновлений без пользовательского интерфейса, например, для установки обновления на серверной машине без отображения.
Перейдите в https://www.mathworks.com/downloads/web_downloads/download_update_installers/<reservedrangesplaceholder0 >
R20XXy - релиз версия обновления для образца R2019a.
Разархивируйте пакет обновления в расположение, доступное с компьютера, на котором вы хотите установить обновление, например, сетевой диск.
На машине, где вы хотите установить обновление, откройте окно командной строки и перейдите к папке, которая соответствует вашей платформе.
| Windows |
|
| Linux |
|
| macOS | polyspaceroot/bin/maci64 |
polyspaceroot является установочной папкой Polyspace, например C:\Progam Files\Polyspace\R2019a.
В командной строке введите команду, которая соответствует вашей платформе.
| Windows |
update_installer.exe -updatepackage package_folder |
| Linux/macOS |
./update_installer -updatepackage package_folder |
package_folder - полный путь к папке, в которой вы разархивировали пакет обновления. Инсталлятор обновлений запускается бесшумно и не выводит никаких сообщений.
Чтобы увидеть состояние установки, если вы запускаете программу установки обновлений без ошибок или чтобы проверить ошибки в процессе обновления установки, откройте файл журнала программы установки, который хранится во временной папке платформы.
| Windows |
|
| Linux/macOS |
|
Чтобы проверить версию установленного обновления Polyspace, перейдите в папку установки Polyspace и откройте VersionInfo.xml. Версия обновления перечислена внутри <description/> тег, для примера:
... <release>R2019a</release> <description>Update 4</description> ... |
Если обновление не установлено, <description/> тег пуст.