В этом разделе описывается добавление сведений о проверке в результаты Polyspace в пользовательском интерфейсе десктопных продуктов Polyspace. Для аналогичного рабочего процесса в веб-интерфейсе Доступ смотрите Результаты адреса в Polyspace Access Through Bug Fixes или Обоснования (Polyspace Bug Finder Access).
Как только вы понимаете первопричину Polyspace® находя, можно исправить код. В противном случае добавьте информацию о проверке в результаты Polyspace, чтобы исправить код позже или обосновать результат. Можно использовать эту информацию для отслеживания прогресса проверки.
Если вы добавляете информацию о рассмотрении в файл результатов, они переносятся к результатам следующего анализа на том же проекте. Если вы добавляете к коду ту же информацию, что и комментарии (аннотация), они переносятся на любой последующий анализ кода, будь то в том же проекте или нет. Можно также скрыть результаты с помощью аннотаций кода.
Можно добавить информацию на Results List или Result Details панели. Выберите результат, затем установите Severity и Status поля и, опционально, введите примечания с дополнительными пояснениями. Состояние указывает ваш ответ на результат Polyspace. Если вы не планируете исправлять код в ответ на результат, присвойте один из следующих статусов:
Justified
No Action Planned
Not a Defect
Можно создать собственные статусы для присвоения. Чтобы создать новый статус, перейдите в Tools > Preferences и выберите вкладку Review Statuses.
Основываясь на статусе, Polyspace считает, что вы уделили должный фактор и обосновали этот результат (сохранили код несмотря на результат).
Если вы вводите комментарии или аннотации к коду в определенном синтаксисе, программное обеспечение может считать их и заполнять поля Severity, Status и Comment в следующем анализе кода.
Можно либо ввести аннотацию непосредственно, либо скопировать ее из интерфейса пользователя. Для копирования аннотаций в пользовательском интерфейсе щелкните правой кнопкой мыши результат и выберите Add Pre-Justification To Clipboard. Откройте исходный код в редакторе и вставьте в ту же линию, что и результат. Если вы следуете этому рабочему процессу, Polyspace принимает, что вы установили статус No Action Planned. Программа скрывает результат из всех мест (кроме отчетов, необходимых для сертификации). Исключение составляют проверки во время выполнения Code Prover, критически важные для безопасности, которые скрыты из списка результатов, но не являются исходным кодом.
Чтобы скрыть скрытые результаты, в меню Showing очистите рамку Hide results justified in code.
Если необходимо явным образом задать статус, сначала заполните поле Status для результата, а затем скопируйте в код. Вставьте в линию, содержащую результат.
Если требуется непосредственно ввести аннотацию, смотрите синтаксис аннотации в разделе Аннотации кода и Скрыть известные или приемлемые результаты.
