После просмотра результатов анализа можно повторно использовать информацию из обзора для последующих анализов. Если вы задаете статус результата или серьезность или добавляете заметки в файл результатов, они переносятся к результатам следующего анализа на том же проекте. Если вы добавляете к коду ту же информацию, что и комментарии (аннотация), они переносятся на любой последующий анализ кода, будь то в том же проекте или нет. Можно также скрыть результаты с помощью аннотаций кода. Для получения дополнительной информации о комментариях смотрите Адрес Polyspace Результаты через исправления ошибок или обоснования.
В этом разделе показано, как импортировать информацию о проверке из одного файла результатов в другой. Импорт сведений о проверке избавляет вас от просмотра уже обоснованных результатов. Например, после импорта информации, на панели Results List (пользовательский интерфейс продуктов для настольных ПК), щелчок
значка пропускает обоснованные результаты. Используя этот значок, можно просмотреть невиденные результаты. Можно также фильтровать выровненные проверки из отображения.
По умолчанию в Polyspace® пользовательский интерфейс (только для продуктов), информация о проверке импортируется автоматически из последнего анализа на модуле проекта. Можно отключить это поведение по умолчанию.
Выберите Tools > Preferences, который открывает диалоговое окно Настройки.
Выберите вкладку Project and Results Folder.
Под Import Comments очистите Automatically import comments from last verification.
Нажмите OK.
Если вы загружаете результаты в веб-интерфейс Polyspace Access, просматривайте информацию о последнем запуске того же проекта, применяемую к текущему запуску. Вы не можете отключить автоматический импорт.
Если вы запускаете анализ в командной строке (и не загружаете результаты в веб-интерфейс Polyspace Access), необходимо явным образом импортировать из другого набора результатов. См. Командная строка.
Можно импортировать рецензируемую информацию непосредственно из другого результата Polyspace в текущий результат.
Если результат обнаружен как в анализе Bug Finder, так и в анализе Code Prover, можно добавить рецензируемую информацию к результату Bug Finder и импортировать в результат Code Prover. Например, большинство шашек правил кодирования являются общими для Bug Finder и Code Prover. Можно добавить рецензируемую информацию к нарушениям правил кодирования в Bug Finder и импортировать к тем же нарушениям в Code Prover.
Чтобы импортировать рецензируемую информацию из другого набора результатов:
Откройте текущие результаты анализа.
Выберите Tools > Import Comments.
Перейдите к папке, содержащей ваши предыдущие результаты.
Выберите другой файл результатов (с расширением .psbf или .pscp) и затем нажмите Open.
Информация проверки из предыдущих результатов импортируется в текущие результаты.
Используйте опцию -import-comments во время анализа для импорта комментариев из предыдущей верификации.
Чтобы импортировать рецензируемую информацию из нескольких результатов, используйте polyspace-comments-import команда.
Можно непосредственно импортировать информацию проверки из другого набора результатов в текущие результаты. Однако возможно, что часть информации о рассмотрении не импортируется в последующий анализ, поскольку:
Вы изменили свой исходный код так, чтобы линия с предыдущим результатом не был точно идентичная линии в текущем запуске.
Инструмент импорта комментариев учитывает дополнительный код, который просто сдвигает существующую линию. Например, инструмент распознает, что линия 10 в Run 1 и линия 12 в Run 2 имеют один и тот же оператора. Если деление на нуль происходит в линии 10 в Прогоне 1, и вы не исправили проблему в Прогоне 2, результат вместе со связанной информацией проверки импортируется в строку 12 в Прогоне 2.
Запуск 1:
10 baseLine = min/numRecipients; 11 12
Запуск 2:
10 /* Calculate a baseline per recipient 11 based on minimum available resources */ 12 baseLine = min/numRecipients;
Однако, если вы измените само содержимое линии, например, измените numRecipient на numReceiverрезультаты и сведения о проверке не импортируются.
Вы изменили свой исходный код, так что цвет результата Code Prover изменился.
Введена новая информация проверки для того же результата.
Если содержимое линии не меняется и показывает тот же результат, что и в предыдущем анализе, информация о проверке импортируется. В маловероятных сценариях вы можете получить тот же результат на той же линии, несмотря на изменение предыдущих линий, которые приводят к результату. Информация проверки из предыдущего анализа импортируется в новый результат. Если вы обосновали предыдущий результат со статусом Not a defectВероятно, вы хотите продолжить это обоснование с новым результатом. Например, если вы ранее приняли переполнение, потому что вы учли поведение обхода после переполнения, вы, вероятно, примите переполнение независимо от причины. В нескольких случаях можно хотеть пересмотреть результат снова и, возможно, не знать, что результат заслуживает другого обзора. Чтобы избежать этой ситуации:
При обосновании нелокальных результатов, связанных с предыдущими событиями, используйте тщательное суждение.
Что касается важнейших компонентов, проводите периодические оценки обоснованных результатов, чтобы увидеть, применяются ли все еще обоснования. Такие оценки полезны специально для проверок во время выполнения Code Prover.
В пользовательском интерфейсе Polyspace (только для настольных продуктов) в отчете «Проверки импорта и комментарии» выделяются различия между двумя результатами анализа. При импорте информации проверки из предыдущего анализа можно просмотреть этот отчет. Если отчет был закрыт после импорта, чтобы просмотреть отчет снова:
Выберите Window > Show/Hide View > Import Comments Report.
Откроется отчет «Проверки импорта и комментарии», в котором будут выделены различия в двух результатах.
Проверьте различия между двумя результатами.
Информация о рассмотрении может отличаться между двумя результатами по следующим причинам:
В Code Prover, если цвет проверки изменяется, Polyspace импортирует поле Comment, но не Status поле. В сложение Polyspace импортирует Severity и Justified поля в зависимости от изменения цвета.
| Изменение цвета | Серьезность | Оправданный |
|---|---|---|
| Оранжевый или от красного до зеленого | Не импортировано | Импортированный |
| От серого до зеленого | Не импортировано | Импортировано, если для Severity задано значение High, Medium или Low. |
| От красного до оранжевого или наоборот | Импортированный | Импортированный |
| От зеленого до красного/оранжевого/серого | Не импортировано | Не импортировано |
Если результат больше не отображается в коде, Polyspace подсвечивает только изменение в отчете «Проверки импорта и комментарии». Он не импортирует информацию проверки из предыдущего результата.
Если для одной и той же проверки уже введены другие сведения о проверке, Polyspace подсвечивает только изменение в отчете «Проверки импорта и комментарии». Он не импортирует информацию проверки из предыдущего результата.
