После того, как вы рассмотрели результаты анализа, можно снова использовать комментарии анализа для последующих исследований. Если вы добавляете комментарии в свой файл результатов, они переносят на следующий анализ того же проекта. Если вы добавляете, что комментарии к вашему коду (аннотируют), они переносят на любой последующий анализ кода, ли в том же проекте или нет. Можно также скрыть результаты с помощью аннотаций кода. Для получения дополнительной информации о комментарии смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии.
Эта тема показывает, как импортировать комментарии от одного файла результата до другого. Импорт комментариев уже избавляет вас от рассмотрения выровненных по ширине результатов. Например, после того, как вы импортируете комментарии на панели Results List (пользовательский интерфейс десктопных решений), отмечание
пропусков значка выровняло по ширине результаты. Используя этот значок, можно просмотреть нерассмотренные результаты. Можно также отфильтровать выровненные по ширине проверки от отображения.
По умолчанию, в пользовательском интерфейсе Polyspace® (только десктопные решения), комментарии импортируются автоматически из нового анализа модуля проекта. Можно отключить это поведение по умолчанию.
Выберите Tools> Preferences, который открывает диалоговое окно Polyspace Preferences.
Выберите вкладку Project and Results Folder.
Под Import Comments очистите Automatically import comments from last verification.
Нажмите OK.
Если вы загружаете результаты на Polyspace доступ к веб-интерфейсу, комментарии от последнего выполнения того же проекта применяются к текущему выполнению. Вы не можете отключить автоматический импорт комментария.
Если при запуске анализ в командной строке (и не загружайте результаты на Polyspace доступ к веб-интерфейсу), необходимо явным образом импортировать комментарии из другого набора результатов. Смотрите Командную строку.
Можно импортировать комментарии непосредственно от другого результата Polyspace до текущего результата.
Если результат найден и в анализе Программы автоматического доказательства Средства поиска и в Кода Ошибки, можно прокомментировать Средство поиска Ошибки, заканчиваются и импортируют комментарий к Программе автоматического доказательства Кода. Например, большинство средств проверки правила кодирования характерно для Программы автоматического доказательства Средства поиска и Кода Ошибки. Можно добавить комментарии в кодирование нарушений правила в Средстве поиска Ошибки и импортировать комментарии к тем же нарушениям в Программе автоматического доказательства Кода.
Импортировать комментарии из другого набора результатов:
Откройте текущие результаты анализа.
Выберите Tools> Import Comments.
Перейдите к папке, содержащей ваши предыдущие результаты.
Выберите другой файл результатов (с дополнительным .psbf или .pscp) и затем нажмите Open.
Комментарии анализа от предыдущих результатов импортируются в текущие результаты.
Используйте опцию -import-comments во время анализа, чтобы импортировать комментарии из предыдущей верификации.
Чтобы импортировать комментарии из нескольких результатов, используйте команду polyspace-comments-import.
Можно непосредственно импортировать информацию об анализе из другого набора результатов в текущие результаты. Однако возможно, что часть вашей информации об анализе не импортируется в последующий анализ потому что:
Вы изменили свой исходный код так, чтобы строка с предыдущим результатом не была точно идентична строке в текущем выполнении.
Инструмент импорта комментария составляет дополнительный код, который просто переключает существующую строку. Например, инструмент распознает, что строка 10 в Запущенном 1 и строке 12 в Запущенных 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, результат и рассмотрите информацию, не импортируются.
Вы изменили свой исходный код так, чтобы результирующий цвет Программы автоматического доказательства Кода изменился.
Вы ввели новую информацию об анализе для того же результата.
В пользовательском интерфейсе Polyspace (только десктопные решения), Отчет Проверок и Комментариев Импорта подсвечивает различия между двумя результатами анализа. Когда вы импортируете комментарии из предыдущего анализа, вы видите этот отчет. Если вы закрыли отчет после импорта, чтобы рассмотреть отчет снова:
Выберите Window> Show/Hide View> Import Comments Report.
Отчет Проверок и Комментариев Импорта открывается, подсвечивая различия в двух результатах.
Рассмотрите различия между двумя результатами.
Ваша информация об анализе может отличаться между двумя результатами из-за следующих причин:
В Программе автоматического доказательства Кода, если изменения цвета проверки, Polyspace импортирует поле Comment, но не поле Status. Кроме того, Polyspace импортирует поля Severity и Justified в зависимости от цветного изменения.
| Цветное изменение | Серьезность | Выровненный по ширине |
|---|---|---|
| Оранжевый или красный к зеленому | Не импортированный | Импортированный |
| Серый к зеленому | Не импортированный | Импортированный, если Severity был установлен в High, Medium или Low. |
| Красный к оранжевому или наоборот | Импортированный | Импортированный |
| Зеленый к красному/оранжевому/серому | Не импортированный | Не импортированный |
Если результат больше не появляется в коде, Polyspace подсвечивает только изменение в Отчете Проверок и Комментариев Импорта. Это не импортирует комментарии анализа из предыдущего результата.
Если вы уже ввели различные комментарии анализа для той же проверки, Polyspace подсвечивает только изменение в Отчете Проверок и Комментариев Импорта. Это не импортирует комментарии анализа из предыдущего результата.
