Используйте пользовательский интерфейс рабочего стола Polyspace, чтобы сконфигурировать и запустить анализ. Узнать, как, чтобы создать или обновить проект, какие файлы сгенерированы анализом Polyspace, и как организовать и настроить интерфейс.
Добавьте исходные файлы для анализа в пользовательском интерфейсе рабочего стола Polyspace
Добавьте исходные файлы с помощью команды сборки или вручную.
Запустите анализ в пользовательском интерфейсе рабочего стола Polyspace
Запустите анализ Polyspace своего рабочего стола в пользовательском интерфейсе Polyspace.
Создайте проекты Polyspace из сборки Visual Studio
Задайте исходные файлы и некоторые опции анализа путем трассировки Visual Studio® сборка.
Создайте проект в пользовательском интерфейсе рабочего стола Polyspace Используя шаблон конфигурации
Создайте проект Polyspace с помощью предопределенной настройки, экспортируйте настройку для совместного использования и повторного использования.
Обновите проект в пользовательском интерфейсе рабочего стола Polyspace
Обновите список источников, измените пути к папкам, заявка на изменение включает, и добавьте файлы в существующий проект.
Содержимое проекта Polyspace и папок результатов
Узнайте о различных файлах, сгенерированных от верификации Polyspace.
Устройство хранения данных временных файлов во время анализа Polyspace
Изучите, где Polyspace хранит временные файлы во время анализа.
Организуйте размещение пользовательского интерфейса рабочего стола Polyspace
Реорганизуйте расположение окон, сохраните свою организацию и переключитесь на сохраненное размещение в один клик.
Настройте пользовательский интерфейс рабочего стола Polyspace
Настройте поведение по умолчанию пользовательского интерфейса Polyspace, например, места хранения проекта по умолчанию или размер шрифта.
