После того, как вы рассмотрели результаты анализа, можно снова использовать информацию от анализа для последующих исследований. Если вы задаете состояние результата или серьезность или добавляете примечания в вашем файле результатов, они переносят на результаты следующего анализа того же проекта. Если вы добавляете ту же информацию, как комментарии к вашему коду (аннотируют), они переносят на любой последующий анализ кода, ли в том же проекте или нет. Можно также скрыть результаты с помощью аннотаций кода. Для получения дополнительной информации о комментарии смотрите Результаты 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, результат и информация об анализе не импортируются.
Вы изменили свой исходный код так, чтобы результирующий цвет Программы автоматического доказательства Кода изменился.
Вы ввели новую информацию об анализе для того же результата.
Если содержимое линии не изменяет и показывает тот же результат предыдущим анализом, информация об анализе импортируется. В маловероятных сценариях вы можете получить тот же результат на той же линии несмотря на изменение предыдущих линий, которые приводят к результату. Ваша информация об анализе от предыдущего анализа затем импортируется в новый результат. Если вы выровняли по ширине предыдущий результат с состоянием, таким как Not a defect, вероятно, что вы хотите продолжить это выравнивание новым результатом. Например, если бы вы приняли переполнение ранее, потому что вы объяснили всеобъемлющее поведение после переполнения, вы, вероятно, приняли бы переполнение вообще причина. В нескольких случаях вы можете хотеть рассмотреть результат снова и не можете иметь в виду, что результат заслуживает другой анализ. Избегать этой ситуации:
При выравнивании по ширине нелокальных результатов, которые связаны с предыдущими событиями, используйте тщательное решение.
Для критических компонентов проведите периодические оценки выровненных по ширине результатов видеть, применяются ли выравнивания все еще. Такие оценки полезны особенно для проверок на этапе выполнения Программы автоматического доказательства Кода.
В пользовательском интерфейсе Polyspace (только десктопные решения), Отчет Проверок и Комментариев Импорта подсвечивает различия между двумя результатами анализа. Когда вы импортируете информацию об анализе из предыдущего анализа, вы видите этот отчет. Если вы закрыли отчет после импорта, чтобы рассмотреть отчет снова:
Выберите Window> Show/Hide View> Import Comments Report.
Отчет Проверок и Комментариев Импорта открывается, подсвечивая различия в двух результатах.
Рассмотрите различия между двумя результатами.
Ваша информация об анализе может отличаться между двумя результатами из-за следующих причин:
В Программе автоматического доказательства Кода, если изменения цвета проверки, Polyspace импортирует поле Comment, но не поле Status. Кроме того, Polyspace импортирует поля Severity и Justified в зависимости от цветного изменения.
| Цветное изменение | Серьезность | Выровненный по ширине |
|---|---|---|
| Оранжевый или красный к зеленому | Не импортированный | Импортированный |
| Серый к зеленому | Не импортированный | Импортированный, если Severity был установлен в High, Medium или Low. |
| Красный к оранжевому или наоборот | Импортированный | Импортированный |
| Зеленый к красному/оранжевому/серому | Не импортированный | Не импортированный |
Если результат больше не появляется в коде, Polyspace подсвечивает только изменение в Отчете Проверок и Комментариев Импорта. Это не импортирует информацию об анализе из предыдущего результата.
Если вы уже ввели различную информацию об анализе для той же проверки, Polyspace подсвечивает только изменение в Отчете Проверок и Комментариев Импорта. Это не импортирует информацию об анализе из предыдущего результата.
