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

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

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

Уровень 1 SQO

Код, который удовлетворяет требованиям Уровня 1 SQO, должен иметь метрики сложности кода ниже заданных порогов и обнулить невыровненные нарушения определенных внешних правил стандарта кодирования (например, 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
Количество невыровненных нарушений следующих правил MISRA 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
Количество невыровненных нарушений следующих правил MISRA 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
Количество невыровненных нарушений следующих правил C++ MISRA: 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

Уровень 2 SQO

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

Уровень 3 SQO

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

Уровень 4 SQO

Метрика	Пороговое значение
Процент выровненных по ширине оранжевых проверок, вычисленных как количество зеленых и выровненных по ширине оранжевых проверок, разделенных на общее количество зеленых и оранжевых проверок.	`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

Уровень 5 SQO

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

Метрика	Пороговое значение
Количество невыровненных нарушений следующих правил MISRA 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
Количество невыровненных нарушений следующих правил MISRA 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
Количество невыровненных нарушений следующих правил C++ MISRA: 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

Уровень 6 SQO

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

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

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

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

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

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

Примечание

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

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

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

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

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

Поддержка