Базовый Polyspace, когда вы кодируете результаты в Eclipse

Эта тема описывает, как сконфигурировать Polyspace, когда Вы Кодируете плагин в Eclipse™. Для десктопных решений Polyspace, таких как Polyspace Bug Finder, смотрите Анализ Bug Finder На основе Проектов Eclipse.

Для более эффективного устранения ошибки вы можете базовая линия результаты Polyspace как Вы Анализ кода предыдущими результатами. Когда вы базовая линия результаты, вы сравниваете их с результатами предыдущего запуска и фокусируетесь на новых результатах только или на нерассмотренных результатах только. Вы базовый Polyspace, когда Вы Кодируете результаты с помощью предыдущих результатов Polyspace Bug Finder Server, что вы загружаете с Polyspace доступ.

Примечание

Чтобы продолжить использовать самую актуальную базовую информацию, убедитесь, что вы периодически запускаете команду, чтобы загрузить результаты Polyspace® Доступ. Смотрите шаг 3: загрузите базовую линию.

Results that appear in Polyspace Access act as baseline for a Polyspace as You Code analysis.

На что похожи результаты Baselined

Если вы базовый Polyspace, когда Вы Кодируете результаты с помощью результатов Polyspace Bug Finder Server, что вы загрузили с Polyspace доступ, вы видите следующие преимущества:

  • Результаты, которые имеют выровненный по ширине Status на Polyspace доступ (No Action Planned, Justified или Not a Defect) больше не показывают.

  • Результаты, которые имеют невыровненный по ширине Status на Polyspace доступ, переносят всю информацию об анализе на панель Polyspace Results List в Eclipse. Если результат рассмотрен в Polyspace доступ и отмечен как таковой, одно из следующего верно:

    • Status отличается от Unreviewed.

    • Severity отличается от Unset.

    • Comment не является пробелом.

  • Если вы задаете Polyspace, когда Вы Кодируете сменную установку Show only new findings compared to the results baseline, вы видите только результаты, которые являются новыми в текущем запуске. Тем путем можно только фокусироваться на результатах, которые явным образом произошли из-за изменений, которые вы внесли начиная с последнего Сервера Polyspace запущенный.

Шаги определения исходного состояния

Чтобы использовать результаты Polyspace Bug Finder Server в качестве базовой линии для Polyspace как Вы Анализ кода, выполните шаги ниже. Если базовая линия загружается, если вы принимаете решение указать на базовую линию, каждый последующий запуск, сохраняют ли на файле или по требованию, использует базовую линию.

Шаг 1: идентифицируйте проект использовать в качестве базовой линии

Во-первых, идентифицируйте проект в Polyspace доступ к этому, вы хотите использовать в качестве базовой линии. Проект должен содержать результаты анализа Polyspace Bug Finder Server файлов, которые вы будете анализировать в Polyspace, когда Вы Кодируете.

Скопируйте путь к проекту для использования в настройках Расширения кода Visual Studio. Скопировать этот путь:

  1. Откройте Polyspace доступ к веб-интерфейсу в веб-браузере.

  2. На панели Project Explorer щелкните правой кнопкой по проекту и выберите Copy Project Path to Clipboard.

Right-click option to copy project path

Шаг 2: обратитесь к проекту от Polyspace, в то время как вы кодируете

Затем обратитесь к проекту Access Polyspace от Polyspace, когда Вы Кодируете сменные настройки в Eclipse.

  1. Выберите Polyspace> Preferences. Укажите следующую информацию:

    • Polyspace Access URL: URL сервера, который размещает Polyspace доступ. Например, https://my-access-url:9443/.

    • Show only new findings compared to the results baseline: Выберите эту опцию, чтобы подавить результаты, которые уже присутствуют в проекте в Polyspace доступ.

    Polyspace as You Code extension settings for getting baseline

  2. Выберите Polyspace> Configure Project. Укажите следующую информацию:

    • Use baseline from Polyspace Access: Выберите эту опцию, чтобы использовать проект на Polyspace доступ как базовая линия.

    • Project path: путь к проекту в Polyspace доступ к этому вы хотите использовать в качестве базовой линии. Вы ранее скопировали этот путь с Polyspace доступ к веб-интерфейсу.

Шаг 3: загрузите базовую линию

Явным образом загрузите Polyspace доступ к результату использовать в качестве базовой линии.

  1. В первый раз вы конфигурируете сменные настройки, нажимаете Download baseline from Polyspace Access, чтобы также загрузить базовую линию.

    Чтобы загрузить обновленную базовую линию позже, выберите Polyspace> Download Results Baseline. Этот пункт меню доступен, только если вы конфигурируете дополнительные настройки, чтобы использовать базовую линию.

  2. Введите имя пользователя и пароль, который вы используете, чтобы войти в систему Polyspace доступ. Базовая загрузка начинается.

Чтобы следовать за прогрессом загрузки, закройте настройки проекта и выберите Window> Show View> Console. Ожидайте всплывающего окна:

The baseline was successfully downloaded.

После загрузки последующие запуски используют базовую линию. Чтобы отключить базовое использование, отключите сменную установку Use baseline from Polyspace Access.

Похожие темы