Polyspace® проверки код C/C++ для ошибок, ошибок времени выполнения, кодируя стандартные нарушения и другие проблемы при помощи статического анализа.
С серверными продуктами, Polyspace Bug Finder™ Server™ и Сервером Polyspace Code Prover™, можно выполнить эти проверки на непрерывных серверах интеграции после представления кода. Можно также разгрузить анализ с локальной машины на более мощную локальную машину сервера или в облаке.
Установите сервер Polyspace и доступ к продуктам
Установите Polyspace Bug Finder Server или Polyspace Code Prover Server и продукты, требуемые инициировать анализ Polyspace.
Установите серверные продукты Polyspace в командной строке
Установите Серверные продукты Polyspace в командной строке без взаимодействия с пользователем (установка без диалогов).
Установите продукты для представления анализа Polyspace с рабочих столов на удаленный сервер
Сконфигурируйте связь клиента сервера так, чтобы клиенты могли разгрузить анализ Polyspace к удаленному серверу и загрузить результаты после анализа.
Разгрузите анализ Polyspace с непрерывного сервера интеграции на другой сервер
Отправьте анализ в выделенный сервер, загрузите результаты после анализа и затем загрузите на Polyspace доступ для анализа.
Обновите Polyspace Bug Finder и Polyspace Code Prover (рабочий стол или установка сервера).
Разгрузите анализ Polyspace с клиентской машины на Сервер Polyspace, установленный на "облачной" инфраструктуре AWS.
Разгрузите анализ Polyspace с клиентской машины на Сервер Polyspace, установленный на "облачной" инфраструктуре Azure.
