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

В интерфейсе Polyspace Metrics откройте метрическую страницу для проекта.

Из списка Quality Objectives в верхнем левом углу выберите ON.

Появляется новая группа столбцов Software Quality Objectives.

Для файлов с Overall Status FAIL, чтобы видеть, что вызывает отказ, просматривают записи в других столбцах Software Quality Objectives. Провальные уровни отмечены красные.

Если значок появляется рядом с состоянием, это означает, что Polyspace не имеет достаточной информации, чтобы вычислить состояние. Например, если вы задаете BF-QO-1, определенные правила кодирования должны быть анализом. Но, если вы не проверяете правила кодирования во время анализа, Polyspace не может определить, удовлетворяет ли ваш проект целям правила кодирования, заданным в BF-QO-1.

Чтобы исследовать провальные качественные цели, выберите записи отмеченный красный для получения дополнительной информации.

На Code Metrics, Coding Rules или вкладке Bug-Finder,

После вашего анализа, в интерфейсе Polyspace Metrics, нажатие кнопки, чтобы просмотреть обновленные метрики.

Если вы изменяете свой код, чтобы обновить метрики, повторно выполнить ваш анализ и загрузить результаты на Метрический репозиторий Polyspace. Если вы имеете выравнивания в своих предыдущих результатах, импортируете их к новым результатам прежде, чем загрузить на репозиторий.

Сохраните следующее содержимое в 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>

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

Сохраните этот XML-файл в папке, где удаленные аналитические данные хранятся, например, C:\Users\JohnDoe\AppData\Roaming\Polyspace_RLDatas.

Если вы хотите изменить местоположение папки, выберите Metrics> Metrics and Remote Server Settings.

Сделать уровень качества Custom-BF-QO-Level применимый к определенному проекту, замените значение ApplicableProject припишите с названием проекта.

Если вы хотите качественные цели примениться ко всем проектам, используйте ApplicableProject="".

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

Для определения правил кодирования начните имя правила с соответствующей строки, сопровождаемой номером правила. Использование вместо десятичной точки в номере правила. Чтобы задать директивы, начните задавать направляющий номер с D_, например, MISRA_C3_D4_6, для MISRA C: 2 012 директив 4.6.

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

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

После того, как вы сделаете свои модификации в интерфейсе 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>