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