Цели качества программного обеспечения

Цели качества программного обеспечения или SQO являются набором порогов, с которыми можно сравнить результаты верификации. Вы можете разработать процесс проверки на основе Целей качества программного обеспечения. В процессе проверки учитываются только те результаты, которые приводят к ошибке вашего проекта на определенном уровне SQO.

Можно использовать предопределенный уровень SQO или определить собственные SQO. Ниже приведены пороги качества, заданные каждым предопределенным SQO.

SQO Уровень 1

Код, который удовлетворяет требованиям SQO Level 1, должен иметь метрики сложности кода ниже заданных порогов и нули неоправданных нарушений некоторых внешних стандартных правил кодирования (для образца, MISRA C^®: 2012 или MISRA^® правила C++).

Метрика	Пороговое значение
Плотность комментариев файла	20 (нижний предел)
Количество путей через функцию	80
Количество `goto` операторы	0
Цикломатическая сложность	10
Количество функций вызова	5
Количество вызовов	7
Количество параметров на функцию	5
Количество инструкций на функцию	50
Количество уровней вызовов в функции	4
Количество `return` операторы в функции	1
Языковые возможности, показатель стоимости обслуживания или изменения функций. Рассчитывается следующим образом: (N1+N2) / (n1+n2) `n1` - Количество различных операторов `N1` - Общее количество операторов `n2` - Количество различных операндов `N2` - Общее количество операндов	4
Количество рекурсий	0
Количество прямых рекурсий	0
Число необоснованных нарушений следующих правил C:2004 MISRA: 5.2 8.11, 8.12 11.2, 11.3 12.12 13.3, 13.4, 13.5 14.4, 14.7 16.1, 16.2, 16.7 17.3, 17.4, 17.5, 17.6 18.4 20.4	0
Число необоснованных нарушений следующих правил C:2012 MISRA: 8,8, 8,11 и 8,13 11.1, 11.2, 11.4, 11.5, 11.6 и 11.7 14.1 и 14.2 15.1, 15.2, 15.3 и 15.5 17.1 и 17.2 18,3, 18,4, 18,5 и 18,6 19.2 21.3	0
Количество необоснованных нарушений следующих правил MISRA C++: 2-10-2 3-1-3, 3-3-2, 3-9-3 5-0-15, 5-0-18, 5-0-19, 5-2-8, 5-2-9 6-2-2, 6-5-1, 6-5-2, 6-5-3, 6-5-4, 6-6-1, 6-6-2, 6-6-4, 6-6-5 7-5-1, 7-5-2, 7-5-4 8-4-1 9-5-1 10-1-2, 10-1-3, 10-3-1, 10-3-2, 10-3-3 15-0-3, 15-1-3, 15-3-3, 15-3-5, 15-3-6, 15-3-7, 15-4-1, 15-5-1, 15-5-2 18-4-1	0

SQO Level 2

Метрика	Пороговое значение
Количество необоснованных красных проверок	0
Количество необоснованных `Non-terminating call` и `Non-terminating loop` проверки	0

SQO Level 3

Метрика	Пороговое значение
Количество необоснованных серых `Unreachable code` проверки	0

SQO Level 4

Метрика	Пороговое значение
Процент обоснованных оранжевых проверок, рассчитанный как количество зеленых и обоснованных оранжевых проверок, разделенных на общее количество зеленых и оранжевых проверок.	`Invalid C++ specific operations`: 50
`Correctness condition`: 60
`Division by zero`: 80
`Uncaught exception`: 50
`Function not returning value`: 80
`Illegally dereferenced pointer`: 60
`Return value not initialized`: 80
`Non-initialized local variable`: 80
`Non-initialized pointer`: 60
`Non-initialized variable`: 60
`Null this-pointer calling method`: 50
`Incorrect object oriented programming`: 50
`Out of bounds array index`: 80
`Overflow`: 60
`Invalid shift operations`: 80
`User assertion`: 60

SQO Level 5

В сложение ко всем требованиям SQO Level 4 код, удовлетворяющий требованиям SQO Level 5, также должен иметь нуль неоправданные нарушения дополнительных правил от внешних стандартов кодирования и более высокий процент обоснованных оранжевых проверок.

Метрика	Пороговое значение
Число необоснованных нарушений следующих правил C:2004 MISRA: 6.3 8.7 9.2, 9.3 10.3, 10.5 11.1, 11.5 12.1, 12.2, 12.5, 12.6, 12.9, 12.10 13.1, 13.2, 13.6 14.8, 14.10 15.3 16.3, 16.8, 16.9 19.4, 19.9, 19.10, 19.11, 19.12 20.3	0
Число необоснованных нарушений следующих правил C:2012 MISRA: 11.8 12.1 и 12.3 13.2 и 13.4 14.4 15.6 и 15.7 16.4 и 16.5 17.4 20,4, 20,6, 20,7, 20,9 и 20,11	0
Количество необоснованных нарушений следующих правил MISRA C++: 3-4-1, 3-9-2 4-5-1 5-0-1, 5-0-2, 5-0-7, 5-0-8, 5-0-9, 5-0-10, 5-0-13, 5-2-1, 5-2-2, 5-2-7, 5-2-11, 5-3-3, 5-2-5, 5-2-6, 5-3-2, 5-18-1 6-2-1, 6-3-1, 6-4-2, 6-4-6, 6-5-3 8-4-3, 8-4-4, 8-5-2, 8-5-3 11-0-1 12-1-1, 12-8-2 16-0-5, 16-0-6, 16-0-7, 16-2-2, 16-3-1	0
Процент обоснованных оранжевых проверок, рассчитанный как количество зеленых и обоснованных оранжевых проверок, разделенных на общее количество зеленых и оранжевых проверок.	`Invalid C++ specific operations`: 70
	`Correctness condition`: 80
	`Division by zero`: 90
	`Uncaught exception`: 70
	`Function not returning value`: 90
	`Illegally dereferenced pointer`: 70
	`Return value not initialized`: 90
	`Non-initialized local variable`: 90
	`Non-initialized pointer`: 70
	`Non-initialized variable`: 70
	`Null this-pointer calling method`: 70
	`Incorrect object oriented programming`: 70
	`Out of bounds array index`: 90
	`Overflow`: 80
	`Invalid shift operations`: 90
	`User assertion`: 80

SQO Level 6

Метрика	Пороговое значение
Процент обоснованных оранжевых проверок, рассчитанный как количество зеленых и обоснованных оранжевых проверок, разделенных на общее количество зеленых и оранжевых проверок.	`Invalid C++ specific operations`: 90
`Correctness condition`: 100
`Division by zero`: 100
`Uncaught exception`: 90
`Function not returning value`: 100
`Illegally dereferenced pointer`: 80
`Return value not initialized`: 100
`Non-initialized local variable`: 100
`Non-initialized pointer`: 80
`Non-initialized variable`: 80
`Null this-pointer calling method`: 90
`Incorrect object oriented programming`: 90
`Out of bounds array index`: 100
`Overflow`: 100
`Invalid shift operations`: 100
`User assertion`: 100

SQO исчерпывающий

Метрика	Пороговое значение
Количество необоснованных нарушений правил кодирования MISRA C и MISRA C++	0
Количество необоснованных красных проверок	0
Количество необоснованных `Non-terminating call` и `Non-terminating loop` проверки	0
Количество необоснованных серых `Unreachable code` проверки	0
Процент обоснованных оранжевых проверок, рассчитанный как количество зеленых и обоснованных оранжевых проверок, разделенных на общее количество зеленых и оранжевых проверок.	100

Для получения информации о обоснованиях этих уровней смотрите Цели качества программного обеспечения для исходного кода.

Сравнение результатов верификации с целями качества программного обеспечения

Результаты верификации можно сравнить с SQO в Polyspace^® пользовательский интерфейс или веб-интерфейс Polyspace Metrics.

В пользовательском интерфейсе Polyspace можно использовать меню на панели инструментов Results List, чтобы отобразить только те результаты, которые необходимо исправить или обосновать, чтобы достичь определенной цели качества программного обеспечения.

Чтобы активировать опции SQO в этом меню, выберите Tools > Preferences. На вкладке Review Scope выберите Include Quality Objectives Scope.
В веб-интерфейсе Polyspace Metrics можно сначала определить, не удалось ли вашему проекту достичь определенной цели качества программного обеспечения. Веб-интерфейс генерирует Quality Status PASS или FAIL для вашего проекта. Если ваш проект имеет Quality Status FAIL, веб-интерфейс выделяет красным цветом те результаты, которые вы должны исправить или обосновать, чтобы достичь цели качества программного обеспечения. Можно принять решение загрузить эти результаты только в пользовательский интерфейс Polyspace и просмотреть их. Для получения дополнительной информации смотрите Сравнение метриков с целями качества программного обеспечения.
Можно также сгенерировать отчеты, которые показывают состояние PASS или FAIL с помощью шаблонов SoftwareQualityObjectives_Summary и SoftwareQualityObjectives. См. Bug Finder and Code Prover report (-report-template).

Примечание

Вы не можете использовать меню в пользовательском интерфейсе, чтобы подавить красные или серые проверки. Поэтому вы не можете непосредственно сравнить свой проект с предопределенными уровнями SQO 1, 2 и 3 в пользовательском интерфейсе Polyspace. Однако в веб-интерфейсе Polyspace Metrics можно сравнить проект со всеми предопределенными уровнями SQO.

Документация

Цели качества программного обеспечения

Сравнение результатов верификации с целями качества программного обеспечения

Документация Polyspace Code Prover

Поддержка