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

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

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

Уровень SQO 1

Код, удовлетворяющий требованиям SQO уровня 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 МИСРА: 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 МИСРА: 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 2

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

Уровень SQO 3

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

Уровень SQO 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 5

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

Метрика	Пороговое значение
Количество необоснованных нарушений следующих правил C:2004 МИСРА: 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 МИСРА: 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 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 можно использовать меню на панели инструментов «Список результатов» для отображения только тех результатов, которые необходимо исправить или обосновать для достижения определенной цели качества программного обеспечения.

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

Примечание

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

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

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

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

Документация по программе проверки кода Polyspace

Поддержка