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

После генерации и просмотра метрик от ваших результатов анализа, можно рассмотреть результаты более подробно.

Чтобы фокусировать ваш анализ, вы можете:

Задайте качественные цели, которых вы или разработчики в вашей организации должны достигнуть.
Примените качественные цели к своим результатам анализа.
Рассмотрите только те результаты, которым не удается достигнуть тех целей.

Примените предопределенные цели к метрикам

По умолчанию цели качества программного обеспечения выключены. Применять качественные цели:

В интерфейсе Polyspace^® Metrics откройте метрическую страницу для проекта.
Из списка Quality Objectives в верхнем левом углу выберите ON.
Появляется новая группа столбцов Software Quality Objectives.
- Столбец Overall Status показывает последний используемый качественный уровень цели, чтобы сгенерировать состояние PASS или FAIL для ваших результатов.
- Столбец Level показывает качественный уровень цели.
  Чтобы изменить ваш качественный уровень цели, в этом столбце, выбирают ячейку. Из выпадающего списка выберите уровень качества. Для получения дополнительной информации смотрите Качественные Уровни Цели Средства поиска Ошибки.
Для файлов с Overall Status FAIL, чтобы видеть, что вызывает отказ, просматривают записи в других столбцах Software Quality Objectives. Провальные уровни отмечены красные.
Если значок появляется рядом с состоянием, это означает, что Polyspace не имеет достаточной информации, чтобы вычислить состояние. Например, если вы задаете BF-QO-1, определенные правила кодирования должны быть анализом. Но, если вы не проверяете правила кодирования во время анализа, Polyspace не может определить, удовлетворяет ли ваш проект целям правила кодирования, заданным в BF-QO-1.
Чтобы исследовать провальные качественные цели, выберите записи отмеченный красный для получения дополнительной информации.
На Code Metrics, Coding Rules или вкладке Bug-Finder,
1. Выберите красные записи столбца, чтобы загрузить результаты.
2. Рассмотрите нарушения и зафиксируйте или выровняйте по ширине результаты.
  Смотрите результаты Polyspace адреса через исправления ошибок или выравнивания.
3. Загрузите свои новые выравнивания на Метрическую веб-инструментальную панель Polyspace.
После вашего анализа, в интерфейсе Polyspace Metrics, нажатие кнопки, чтобы просмотреть обновленные метрики.
Если вы изменяете свой код, чтобы обновить метрики, повторно выполнить ваш анализ и загрузить результаты на Метрический репозиторий Polyspace. Если вы имеете выравнивания в своих предыдущих результатах, импортируете их к новым результатам прежде, чем загрузить на репозиторий.

Качественные уровни цели средства поиска ошибки

Качественные Цели Средства поиска Ошибки или BF-QOs являются набором порогов, с которыми можно сравнить результаты анализа Средства поиска Ошибки. Эти цели адаптируются от Целей Качества программного обеспечения Polyspace Code Prover™ (Polyspace Code Prover). Можно разработать процесс рассмотрения на основе Качественных Целей.

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

Уровень 1 BF-QO

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

Уровень 2 и 3 BF-QO

Метрика	Пороговое значение
Количество высоких дефектов удара	0

Уровень 4 BF-QO

Метрика	Пороговое значение
Количество средних дефектов удара	0

Уровень 5 BF-QO

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

Уровень 6 BF-QO

Метрика	Пороговое значение
Количество низких дефектов удара	0

Исчерпывающий BF-QO

Метрика	Пороговое значение
Количество невыровненного MISRA C и C++ MISRA, кодирующего нарушения правила	0
Количество невыровненных дефектов	0

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

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

Сохраните следующее содержимое в XML-файле. Назовите файл Custom-SQO-Definitions.xml.

<?xml version="1.0" encoding="UTF-8"?>
<MetricsDefinitions>
   
    <SQO ID="Custom-BF-QO-Level" ApplicableProduct="Bug Finder" ApplicableProject="My_Project">
        <comf>20</comf>
        <path>80</path>
        <goto>0</goto>
        <vg>10</vg>
        <calling>5</calling>
        <calls>7</calls>
        <param>5</param>
        <stmt>50</stmt>
        <level>4</level>
        <return>1</return>
        <vocf>4</vocf>
        <ap_cg_cycle>0</ap_cg_cycle>
        <ap_cg_direct_cycle>0</ap_cg_direct_cycle>
        <Num_Unjustified_Violations>Custom_MISRA_Rules_Set</Num_Unjustified_Violations>
        <Num_Unjustified_BF_Checks>Custom_BF_Checks_Set</Num_Unjustified_BF_Checks>
    </SQO>

    <CodingRulesSet ID="Custom_MISRA_Rules_Set">
        <Rule Name="MISRA_C_5_2">0</Rule>
        <Rule Name="MISRA_C_17_6">0</Rule>
    </CodingRulesSet>

    <BugFinderChecksSet ID="Custom_BF_Checks_Set">
        <Check Name="UNREACHABLE">0</Check>
        <Check Name="USELESS_IF">0</Check>
    </BugFinderChecksSet>

</MetricsDefinitions>

Можно использовать этот файл и в результатах Программы автоматического доказательства Средства поиска и в Кода Ошибки. Для получения информации об элементах XML, характерных для Программы автоматического доказательства Кода, смотрите, Сравнивают Метрики С Целями Качества программного обеспечения (Polyspace Code Prover).

Сохраните этот XML-файл в папке, где удаленные аналитические данные хранятся, например, C:\Users\JohnDoe\AppData\Roaming\Polyspace_RLDatas.
Если вы хотите изменить местоположение папки, выберите Metrics> Metrics and Remote Server Settings.
Сделать уровень качества Custom-BF-QO-Level применимый к определенному проекту, замените значение ApplicableProject припишите с названием проекта.
Если вы хотите качественные цели примениться ко всем проектам, используйте ApplicableProject="".

Измените файл, чтобы задать ваши пороги.

Для определения правил кодирования начните имя правила с соответствующей строки, сопровождаемой номером правила. Использование вместо десятичной точки в номере правила.

Правило	Строка	Управляйте числами
MISRA C: 2004	`MISRA_C_`	MISRA C:2004 и правила кодирования AGC AC MISRA
MISRA C: 2012	`MISRA_C3_`	Директивы MISRA C:2012 и правила
MISRA C++	`MISRA_Cpp_`	MISRA C ++:2008 правил
JSF^® C ++	`JSF_Cpp_`	JSF правила кодирования C++
Пользовательские правила кодирования	`Custom_`	Пользовательские правила кодирования

Для определения дефектов используйте дефектный акроним. Смотрите Краткие названия Средств проверки Дефекта Средства поиска Ошибки.

Для определения метрик кода используйте метрический акроним кода. Смотрите Краткие названия Метрик сложности кода.

После того, как вы сделаете свои модификации в интерфейсе Polyspace Metrics, откройте метрики для своего проекта. Из списка Quality Objectives в верхнем левом углу выберите ON.
На вкладке Summary выберите запись в столбце Level. Для названия проекта, которое вы задали, ваша новая качественная цель, Custom-BF-QO-Level появляется в выпадающем списке.
Выберите свою новую качественную цель.
Программное обеспечение сравнивает пороги, которые вы задали против своих результатов и обновляете столбец Overall Status с PASS или FAIL.
Чтобы задать другой набор пользовательских качественных целей, добавьте следующее содержимое в Custom-BF-QO-Definitions.xml файл:
```
<SQO ID="Custom-BF-QO-Level_2" ParentID="Custom-BF-QO-Level" ApplicableProduct="Bug Finder" ApplicableProject="My_Project">
 ...
</SQO>
```
- ID представляет имя нового набора.
  У вас не может быть тех же значений ID и ApplicableProject для двух различных наборов качественных целей. Например, если вы используете ID="Custom-BF-QO-Level" для двух различных пользовательских наборов и ApplicableProject любой My_Project или "" для обоих наборов вы видите следующую ошибку:
```
The SQO level 'Custom-BF-QO-Level' is multiply defined.
```
- ParentID задает другой уровень, от которого текущий уровень наследовал свои качественные цели. В предыдущем примере, уровень Custom-BF-QO-Level_2 наследовал его качественные цели от уровня Custom-BF-QO-Level.
  Если вы не хотите наследовать качественные цели от другого уровня, не используйте этот атрибут.
- ... представляет дополнительные качественные пороги, что вы задаете для уровня Custom-BF-QO-Level_2.
  Качественные пороги, которые вы задаете, заменяют пороги что Custom-BF-QO-Level_2 наследовался Custom-BF-QO-Level. Например, если вы задаете <goto>1</goto>, эта цель заменяет пороговую спецификацию <goto>0</goto> из Custom-BF-QO-Level.

Элементы в пользовательских качественных файлах цели

Метрики HIS
Метрики Non-HIS

Следующие таблицы приводят элементы XML, которые могут быть добавлены к пользовательскому файлу BF-QO. Содержимое каждого элемента задает порог, с которым программное обеспечение сравнивает результаты анализа. Для каждого элемента таблица приводит метрику, к которой применяется порог. Здесь, HIS относится к Hersteller Initiative Software.

Метрики HIS

Элемент	Метрика
`comf`	`Comment Density`
`path`	`Number of Paths`
`goto`	`Number of Goto Statements`
`vg`	`Cyclomatic Complexity`
`calling`	`Number of Calling Functions`
`calls`	`Number of Called Functions`
`param`	`Number of Function Parameters`
`stmt`	`Number of Instructions`
`level`	`Number of Call Levels`
`return`	`Number of Return Statements`
`vocf`	`Language Scope`
`ap_cg_cycle`	`Number of Recursions`
`ap_cg_direct_cycle`	`Number of Direct Recursions`
`Num_Unjustified_Violations`	Количество невыровненных нарушений кодирования правил, заданных записями под элементом `CodingRulesSet`
`Num_Unjustified_BF_Checks`	Количество невыровненных дефектов типов, заданных записями под элементом `BugFinderChecksSet`

Метрики Non-HIS

Элемент	Описание метрики
`fco`	`Estimated Function Coupling`
`flin`	`Number of Lines Within Body`
`fxln`	`Number of Executable Lines`
`ncalls`	`Number of Call Occurrences`

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