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