Для создания проекта Polyspace ® можно проследить построение Visual Studio ®.
В интерфейсе Polyspace выберите «Файл» > «Новый проект».
В окне Проект - Свойства в разделе Конфигурация проекта выберите команду Создать из построения и нажмите кнопку Далее.
В поле Укажите команду, используемую для создания исходных файлов, введите полный путь к исполняемому файлу Visual Studio. Например, "C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.exe".
В поле Укажите рабочий каталог для выполнения команды build введите папку, к которой имеется доступ для записи, например: C:\temp\Polyspace. Щелкните.
Это действие открывает среду Visual Studio.
В среде Visual Studio создайте и создайте проект Visual Studio.
Если у вас уже есть проект Visual Studio, откройте существующий проект и создайте чистое решение. Например, чтобы создать чистое решение в Visual Studio 2012, выберите BUILD > Rebuild Solution.
После создания проекта закройте Visual Studio.
Polyspace отслеживает построение Visual Studio и создает проект Polyspace.
Проект Polyspace содержит исходные файлы из сборки Visual Studio и соответствующие параметры Target & Compiler.
При обновлении проекта Visual Studio для обновления соответствующего проекта Polyspace в Диспетчере проектов щелкните правой кнопкой мыши на имени проекта и выберите «Обновить проект».