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