Вместо того, чтобы оценить все результаты анализа Code Prover, можно сначала задать набор критериев, что анализируемый проект должен соответствовать и сравнить результаты Code Prover с теми критериями. Цели Качества программного обеспечения или SQOs являются набором порогов, с которыми можно сравнить результаты верификации. Можно разработать процесс рассмотрения на основе Целей Качества программного обеспечения. В вашем процессе рассмотрения вы рассматриваете только те результаты, которые вызывают ваш проект привести определенный уровень SQO к сбою.
Можно использовать предопределенный уровень SQO или задать собственный SQOs.
Следующее является качественными порогами, заданными каждым, предопределил SQO.
Для получения информации об объяснениях позади этих уровней смотрите Цели Качества программного обеспечения для Исходного кода.
Можно сравнить результаты верификации с SQOs любой в Polyspace® Доступ к веб-интерфейсу или пользовательскому интерфейсу рабочего стола Polyspace.
В Polyspace доступ к веб-интерфейсу можно сначала определить, не удается ли проекту достигнуть определенного Качественного порога Цели путем рассмотрения карты Quality Objectives на инструментальной панели Project Overview.
Карта показывает процент результатов, что вы уже зафиксировали или выровняли по ширине для того, чтобы достигнуть порога. Кликните по количеству остающихся результатов, чтобы открыть те результаты в Results List. Для более подробного представления качества вашего кода против всех качественных порогов целей откройте инструментальную панель Quality Objectives. Для получения дополнительной информации смотрите Качественную Инструментальную панель Целей в Polyspace доступ к веб-интерфейсу.
Вы можете также сгенерированные отчеты, которые показывают состояние PASS или FAIL с помощью шаблонов SoftwareQualityObjectives_Summary и SoftwareQualityObjectives. Смотрите Bug Finder and Code Prover report (-report-template).
В пользовательском интерфейсе Polyspace можно использовать меню на панели инструментов Results List, чтобы отобразить только те результаты, которые необходимо зафиксировать или выровнять по ширине, чтобы достигнуть определенной Цели Качества программного обеспечения.
Чтобы активировать опции SQO в этом меню, выберите Tools> Preferences. На вкладке Review Scope выберите Include Quality Objectives Scope.
Примечание
Вы не можете использовать меню в пользовательском интерфейсе, чтобы подавить красные или серые проверки. Поэтому вы не можете непосредственно сравнить свой проект с предопределенными уровнями 1, 2 и 3 SQO в пользовательском интерфейсе Polyspace. Однако в Polyspace доступ к веб-интерфейсу, можно выдержать сравнение проект против всех предопределил уровни SQO.
Настроить SQOs:
В Polyspace доступ к веб-интерфейсу смотрите, Настраивают Цели Качества программного обеспечения.
В пользовательском интерфейсе рабочего стола Polyspace осциллографы анализа используются, чтобы реализовать SQOs. Смотрите, как создать ваши собственные осциллографы анализа в одной из этих тем:
