Можно принять решение запустить Polyspace, когда Вы Кодируете на каждом, сохраняют в IDE Visual Studio, или по желанию. Анализ работает на файле, который в настоящее время активен в IDE (файл должен быть частью проекта Visual Studio, который может быть частью большего решения для Visual Studio). После анализа вы видите ошибки и кодирование стандартных нарушений как маркеры исходного кода или в отдельном списке.
Чтобы подтвердить, что ваша установка Visual Studio имеет Polyspace как Вас Расширение кода, проверяйте список установленных расширений.
В Visual Studio 2019 выберите Extensions> Manage Extensions.
В Visual Studio 2017 выберите Tools> Extensions and Updates.
Можно также подтвердить, что расширение запускается как ожидалось на панели Output. Выберите View> Output и затем от выпадающего списка, выберите Polyspace. Если расширение запускается без ошибок, вы видите сообщение, такое как:
11/25/2020 3:59:37 PM.005: Please wait while Polyspace Connector is starting on port '9091'... 11/25/2020 3:59:41 PM.229: Polyspace Connector has started successfully.
Коннектор Polyspace является внутренним сервером, который обрабатывает связь между Polyspace как Вы механизм Анализа кода и расширением Visual Studio. Если порт по умолчанию не доступен, расширение постепенно увеличивает номер порта и пытается запустить Коннектор Polyspace на следующем порте. Если вы используете несколько экземпляров Visual Studio, можно запустить Polyspace, когда Вы Кодируете на всех экземплярах. Коннектор Polyspace в каждом экземпляре использует различный порт.
По умолчанию Polyspace, когда Вы Кодируете, сконфигурирован, чтобы работать на анализе, сохраняют. Результаты анализа появляются в течение нескольких секунд, но в случае ошибки, можно проверять прогресс анализа панели Output.
После анализа результаты появляются как маркеры исходного кода (линии ниже лексем исходного кода). Вы также рассматриваете ошибочные местоположения как красные круги в полосе прокрутки слева.
Отключить анализ сохранения:
Выберите Tools> Options.
На узле Polyspace, в разделе Analysis launch mode, выбирают Manually.
Если результаты не появляются, смотрите Поиск и устранение неисправностей Не пройдено Анализ или Неожиданные Результаты в Polyspace, когда Вы Кодируете.
Можно также явным образом запустить анализ Polyspace. Чтобы запустить анализ, щелкните правой кнопкой по исходному файлу по Visual Studio Solution Explorer или щелкните правой кнопкой по самому содержимому исходного файла и выберите Run Polyspace analysis.
После анализа результаты появляются в двух формах:
Как маркеры исходного кода (с линией ниже лексем исходного кода).
Можно навести на лексеме исходного кода, чтобы видеть больше деталей о результате.
В списке на панели Polyspace Results List.
Чтобы открыть панель, выберите View> Other Windows> Polyspace Results List.
Список результатов показывает результаты только для файла, который в настоящее время активен в IDE. Например, если вы переключаетесь на другой файл, список результатов показывает дефекты, найденные в новом файле, который активен.
Если вы выбираете результат в этом списке, вы видите более подробную информацию результата на панели Polyspace Result Details.
Если вы решаете не зафиксировать результат, можно добавить аннотации кода в результат избежать другого анализа. Если аннотации следуют за определенным синтаксисом, последующий Polyspace, когда Вы Кодируете запуски, может считать эти аннотации и подавить соответствующие результаты.
Чтобы добавить аннотацию кода, кликните по лексеме исходного кода, содержащей результат. Кликните по значку лампочки, который появляется, и выберите Polyspace Annotate, находящий result_name. Аннотация вводится в ту же линию как результат.
Если вы импортируете информацию об анализе из базового запуска, аннотация кода включает любое состояние, серьезность или комментарий, присвоенный тому результату в базовом запуске. Если импортированное состояние установлено в To investigate, To fix, или Other, аннотация не подавляет результат.
Смотрите также:
Вы видите больше информации о типе результата путем посещения контекстно-зависимой страницы справки для результата.
Чтобы открыть контекстно-зависимую справку для результата, откройте сначала панель Polyspace Result Details для результата. Затем кликните по значку вопросительного знака рядом с деталями результата.
Чтобы перейти непосредственно к разделу Fix контекстно-зависимой справки для результата, кликните по значку ключа рядом с деталями результата.
Можно также открыть полную доступную для поиска документацию для Polyspace как Вы Расширение кода в вашем системном браузере. Чтобы открыть документацию, выберите Help> Open Polyspace Product Help.
По умолчанию, Polyspace, когда Вы Кодируете проверки на дефекты, которые, вероятно, будут представлять большую часть интереса для разработчиков. Можно расширить набор средств проверки и выполнить другую настройку через Polyspace как Вы настройки Расширения кода в Visual Studio. Чтобы открыть настройки, выберите Tools> Options и задайте соответствующие настройки на узле Polyspace.
Например, вы можете хотеть:
Включите или отключите определенные средства проверки.
Смотрите конфигурируют средства проверки для Polyspace, когда вы кодируете в Visual Studio.
Смотрите только новые результаты.
Смотрите базовый Polyspace, когда вы кодируете результаты в Visual Studio.
Для полного списка настроек смотрите, Конфигурируют Polyspace как Вас Расширение кода в Visual Studio.
