Чтобы создать проект Polyspace®, можно проследить Визуальную сборку Studio®.
В интерфейсе Polyspace выберите File> New 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.
