Как создать Polyspace® проект, вы можете проследить ваш Visual Studio® сборка.
В интерфейсе Polyspace выберите File > New Project.
В окне Project - свойства в разделе Project Configuration выберите Create from build command и нажмите Next.
В поле Specify command used for building your source files введите полный путь к исполняемому файлу Visual Studio. Для образца, "C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.exe".
В поле Specify working directory for running build command введите папку, к которой у вас есть доступ для записи, например 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, на Project Browser щелкните правой кнопкой мыши имя проекта и выберите Update Project.
