Анализ Polyspace ® можно выполнить полностью в среде IDE Eclipse.
Для просмотра только информации, связанной с анализом Polyspace, переключитесь на ракурс Polyspace в среде IDE Eclipse. Выберите меню «Окно» > «Открыть перспективу» > «Прочее». В диалоговом окне «Открыть перспективу» выберите «Полиспейс».
Установка подключаемого модуля Polyspace Desktop для Eclipse
Установите подключаемый модуль Polyspace для проверки кода в среде IDE Eclipse.
Выполнить анализ пространства в проектах затмения
Запуск Polyspace для исходных файлов в проекте Eclipse с использованием настольных продуктов Polyspace.
Задание параметров компилятора Polyspace через проект Eclipse
Настройте анализ Polyspace из цепочки инструментов компиляции или команды build в Eclipse.