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

Откройте интерфейс «Параметры Polyspace». Просмотрите метрики для проекта или прогона на вкладке Сводка.

Дополнительные сведения см. в разделе Просмотр показателей качества кода.

В списке «Цели качества» в левом верхнем углу выберите ON.

Для файлов с общим состоянием FAIL, чтобы увидеть причины сбоя, просмотрите записи в других столбцах «Цели качества программного обеспечения». Записи, вызывающие сбой, отмечены красным цветом.

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

Просмотрите дополнительные сведения о записях, отмеченных красным цветом на вкладке Сводка. Например, если запись в столбце Code Metrics over Threshold отмечена красным цветом, выберите ее. Значения показателей сложности кода можно просмотреть на вкладке «Показатели кода».

Просмотрите каждую метрику сложности кода, нарушение правил кодирования или ошибку во время выполнения, которая привела к сбою целей качества проекта. Исправьте код или оправдайте ошибки или нарушения.

Дополнительные сведения о процессе проверки см. в разделе Проверка метрик для конкретного проекта или выполнения.

После просмотра в интерфейсе «Метрики Polyspace» щелкните значок, чтобы просмотреть обновленные метрики. Проверьте, имеет ли ваш проект общий статус PASS из-за ваших обоснований.

При изменении кода для обновления показателей повторно запустите проверку и загрузите результаты в репозиторий показателей Polyspace. Если в предыдущих результатах имеются обоснования, импортируйте их в новые результаты перед загрузкой новых результатов в репозиторий. Для начала выберите «Сервис» > «Импорт комментариев».

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

<?xml version="1.0" encoding="UTF-8"?>
<MetricsDefinitions>
   
    <SQO ID="Custom-SQO-Level" ApplicableProduct="Code Prover" 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_Red>0</Num_Unjustified_Red>
        <Num_Unjustified_NT_Constructs>0</Num_Unjustified_NT_Constructs>
        <Num_Unjustified_Gray>0</Num_Unjustified_Gray>
        <Percentage_Proven_Or_Justified>Custom_Runtime_Checks_Set</Percentage_Proven_Or_Justified>
    </SQO>

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

    <RuntimeChecksSet ID="Custom_Runtime_Checks_Set">
        <Check Name="OBAI">80</Check>
        <Check Name="IDP">60</Check>
    </RuntimeChecksSet>

</MetricsDefinitions>

Этот файл можно использовать как для поиска ошибок, так и для проверки кода. Сведения о XML-элементах, относящихся к Bug Finder, см. в разделе Сравнение показателей с целями качества программного обеспечения.

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

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

Измените содержимое этого файла, чтобы указать имя проекта и собственные пороговые значения качества. Дополнительные сведения см. в разделе Элементы в файле пользовательских целей качества программного обеспечения.

После внесения изменений в интерфейсе «Метрики Polyspace» откройте метрики для проекта. В списке «Цели качества» в левом верхнем углу выберите ON.

На вкладке Сводка выберите запись в столбце Уровень. Для указанного имени проекта в раскрывающемся списке появится новая цель качества Custom-SQO-Level.

Выберите новую цель качества.

Программа сравнивает указанные пороговые значения с результатами и обновляет столбец Общее состояние с помощью команд PASS или FAIL.

Чтобы определить другой набор пользовательских целей качества, добавьте следующее содержимое в Custom-SQO-Definitions.xml файл:

<SQO ID="Custom-SQO-Level_2" ParentID="Custom-SQO-Level" ApplicableProduct="Code Prover" ApplicableProject="My_Project">
 ...
</SQO>