Polyspace® проверяет код C/C++ на ошибки, ошибки времени выполнения, кодируя стандартные нарушения и другие проблемы с помощью статического анализа. С десктопными решениями (Polyspace Bug Finder™ и Polyspace Code Prover™), можно выполнить проверки на отдельных рабочих столах до представления кода.
Для обзора всех Продуктов polyspace смотрите Продукты polyspace для Анализа кода и Верификации.
Используя десктопные решения Polyspace, отдельные разработчики могут проверять свой код на ошибки и ошибки времени выполнения во время разработки.
Для универсальных стандартов через проект или команду, все разработчики в проекте или команде могут использовать предопределенный набор проверок. Разработчики могут квалифицировать свой код к представлению на основе этих предопределенных проверок. После представления кода к общему репозиторию более обширный анализ постпредставления может работать на сервере с помощью серверных продуктов Polyspace.
Рабочий процесс состоит из двух шагов:
Рабочий анализ Polyspace:
Во время разработки отдельные разработчики запускают анализ со своих IDE-s, с помощью скриптов или с пользовательского интерфейса десктопных решений.
Для кода, сгенерированного от:
Модели Simulink®, анализ может быть запущен непосредственно с Simulink после генерации кода.
Код MATLAB®, анализ может быть запущен непосредственно в Приложении MATLAB Coder после генерации кода.
Чтобы сохранить вычислительную мощность на рабочем столе разработчика, анализ может также быть разгружен к серверу и результатам, загруженным на рабочий стол для анализа.
Рассмотрение результатов Polyspace:
После анализа разработчики рассматривают результаты (ошибки, ошибки времени выполнения, кодируя стандартные нарушения, и так далее) в пользовательском интерфейсе десктопных решений.
При использовании Eclipse™ или основанного на Eclipse IDE, разработчики могут рассмотреть результаты непосредственно в IDE.
Обратите внимание на то, что эти шаги описывают рабочий процесс до представления кода. После представления кода инструмент автоматизации сборки может запустить анализ Polyspace сервера. Результаты анализа могут быть загружены на веб-браузер для совместного анализа разработчиками или инженерами по качеству. Смотрите Сервер Polyspace Установки и доступ к продуктам (Polyspace Bug Finder Server).
Для этого рабочего процесса необходимо установить следующий отдельные рабочие столы.
Установите Polyspace Bug Finder и/или Polyspace Code Prover, чтобы запустить анализ.
Установка. Запустите установщика MathWorks®. Выберите лицензию на десктопные решения Polyspace. Можно получить инсталлятор и лицензию путем покупки продукта или запроса испытания. Для подробных инструкций смотрите Установку, Лицензирование и Активацию.
Обратите внимание на то, что вы требуете, чтобы Polyspace Bug Finder установил Polyspace Code Prover.
После того, как вы установите десктопное решение Polyspace, можно открыть пользовательский интерфейс Polyspace или запустить исполняемые файлы командной строки. Можно запустить анализ в пользовательском интерфейсе или из командной строки Linux® или Windows®. Чтобы запустить анализ с других сред, необходимо выполнить дополнительные шаги:
Чтобы запустить Polyspace от Eclipse или основанного на Eclipse IDE, установите плагин 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 Coder и Embedded Coder (и его необходимые как условие продукты). Затем выполните одноразовую настройку, чтобы соединить ваш Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.
Чтобы разгрузить анализ к серверу, установите Polyspace Bug Finder только на вашем рабочем столе. На серверной стороне установите серверные продукты Polyspace и MATLAB Parallel Server™, чтобы обработать аналитические задания с нескольких рабочих столов. Смотрите продукты Установки для Представления Анализа Polyspace с Рабочих столов на Удаленный сервер.
Установка Polyspace Bug Finder и/или Polyspace Code Prover достаточна, чтобы рассмотреть результаты.
Можно рассмотреть и результаты Программы автоматического доказательства Средства поиска и Кода Ошибки только с лицензией рабочего стола Средства поиска Ошибки. Например, если вы разгружаете анализ к серверу и только рассматриваете загруженные результаты анализа на вашем рабочем столе, вы требуете только лицензии Средства поиска Ошибки.
В Eclipse или основанных на Eclipse ИДАХ, если вы устанавливаете плагин Polyspace, вы видите результаты непосредственно в IDE.
Если вы устанавливаете Polyspace с другими Продуктами Mathworks, такими как MATLAB, необходимо запустить установщика MathWorks дважды.
На первом показе выберите лицензию, которая соответствует другим Продуктам Mathworks, таким как MATLAB, Simulink Coder или Embedded Coder.
Во втором выполнении выберите лицензию, которая соответствует Продуктам polyspace.
В этом рабочем процессе продукты, такие как MATLAB и Simulink установлены в различной корневой папке от Продуктов polyspace. Однако можно соединить эти две установки и использовать скрипты MATLAB, чтобы запустить Polyspace. Смотрите Интегрируют Polyspace с MATLAB и Simulink.
Если вы устанавливаете и десктопные решения Polyspace и серверные продукты, также необходимо запустить установщика дважды с отдельными лицензиями. Десктопные решения и серверные продукты установлены в отдельных корневых папках. Например, в Windows, корневые папки по умолчанию для установки R2019a:
Десктопные решения Polyspace: C:\Program Files\Polyspace\R2019a
.
Эта папка содержит исполняемые файлы, чтобы запустить анализ с продуктами, Polyspace Bug Finder и/или Polyspace Code Prover.
Серверные продукты Polyspace: C:\Program Files\Polyspace Server\R2019a
.
Эта папка содержит исполняемые файлы, чтобы запустить анализ с продуктами, Polyspace Bug Finder Server™ и/или Polyspace Code Prover Server.