Примечание
В этом разделе описывается веб-интерфейс Polyspace Metrics.
Для упрощения совместной работы используйте Polyspace ® Code Prover™ Access™. В дополнение к более интуитивно понятной веб-панели управления, с помощью Polyspace Access можно:
Просмотр и обоснование результатов непосредственно из веб-браузера.
Интеграция инструмента отслеживания дефектов, такого как Jira, с веб-интерфейсом и создание билетов для отслеживания результатов Polyspace.
Обмен результатами анализа с помощью веб-ссылок.
Дополнительные сведения см. в документации по доступу к программе проверки кода Polyspace.
Polyspace Metrics - это веб-панель управления, которая генерирует метрики качества кода на основе результатов проверки. С помощью этой панели мониторинга можно выполнять следующие действия:
Предоставьте руководству общий обзор качества кода.
Сравните качество кода с предварительно определенными стандартами.
Создание процесса, в котором подробно рассматриваются только те результаты, которые не соответствуют стандартам.
Отслеживание улучшений или регрессии качества кода с течением времени.
Для каждого проекта или прогона можно просмотреть метрики качества кода на четырех вкладках на уровне проекта, файла и функции.
На вкладке Сводка представлен общий обзор результатов проверки.
На вкладке Метрики кода (Code Metrics) представлены подробные сведения о метриках сложности кода в результатах.
См. раздел Метрики кода.
На вкладке Правила кодирования представлены подробные сведения о нарушениях правил кодирования в результатах.
На вкладке Проверки времени выполнения представлены подробные сведения о проверках времени выполнения в результатах.
См. раздел Проверки времени выполнения.
При включении параметра «Цели качества программного обеспечения» на каждой вкладке также указывается, как проект или запуск сравниваются с этими целями. См. раздел Сравнение показателей с целями качества программного обеспечения.
На вкладке Сводка представлены результаты проверки для проекта или прогона.
Чтобы увидеть результаты, внедренные в исходный код, загрузите результаты из Polyspace Metrics в интерфейс пользователя. Дополнительные сведения см. в разделе Просмотр метрик для конкретного проекта или выполнения.
| Имя столбца | Описание | |
|---|---|---|
| Состояние проверки | Уровень проверки завершен. Посмотрите Verification level (-to). | |
| Метрики кода | Файлы | Количество файлов в проекте. |
| Строки кода | Количество строк кода с разбивкой по файлам. | |
| Правила кодирования | Подтвержденные дефекты | Количество нарушений правил кодирования, которым назначается степень серьезности См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. |
| Нарушения | Общее число нарушений правил кодирования. | |
| Ошибки времени выполнения | Подтвержденные дефекты | Количество проверок времени выполнения, которым назначается степень серьезности См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. |
| Надежность во время выполнения | Показатель качества кода, выраженный в процентах. Процент рассчитывается как количество зеленых и других обоснованных чеков, деленное на общее количество чеков. Для выравнивания проверки в интерфейсе пользователя Polyspace необходимо назначить соответствующий статус. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. | |
| Цели обеспечения качества программного обеспечения | Общее состояние | Состояние PASS или FAIL зависит от того, соответствует ли ваш код указанным целям качества программного обеспечения. Дополнительные сведения см. в разделе Сравнение показателей с целями качества программного обеспечения. |
| Уровень | Указанные цели качества программного обеспечения. Можно либо использовать предварительно определенный набор целей, либо указать собственные цели. См.:
| |
| Обзор хода выполнения | Показатель хода выполнения проверки, выраженный в процентах. Процент рассчитывается как количество рассмотренных нарушений правил, не связанных с зеленым цветом, и правил кодирования, деленное на общее число нарушений, не связанных с зеленым цветом, и нарушений правил. Для проверки проверки в интерфейсе пользователя Polyspace необходимо назначить статус. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. | |
| Оправданные метрики кода | Процент подтвержденных нарушений порога метрик кода. Чтобы обосновать нарушение порогового значения, в интерфейсе пользователя Polyspace необходимо назначить соответствующий статус. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. | |
| Оправданные правила кодирования | Процент подтвержденных нарушений правил кодирования. Чтобы обосновать нарушение правила, в интерфейсе пользователя Polyspace необходимо назначить соответствующий статус. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. | |
| Оправданные ошибки времени выполнения | Процент проверенных проверок времени выполнения. Для выравнивания проверки в интерфейсе пользователя Polyspace необходимо назначить соответствующий статус. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. | |
На вкладке «Метрики кода» перечислены метрики сложности кода для проекта или запуска.
Некоторые метрики рассчитываются на уровне проекта, в то время как другие рассчитываются на уровне файла или функции. Для метрик, рассчитанных на уровне функции, элемент, отображаемый для файла, является либо агрегатом, либо максимумом над функциями в файле.
Дополнительные сведения см. в разделе Метрики кода.
На вкладке «Правила кодирования» перечислены нарушения правил кодирования в проекте или прогоне. Дополнительные сведения о правилах кодирования см. в разделе Стандарты кодирования.
Информацию в столбцах можно сгруппировать по файлам или правилам кодирования.
| Имя столбца | Описание | |
|---|---|---|
| Правила кодирования | Подтвержденные дефекты | Количество нарушений правил кодирования, которым назначается степень серьезности См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. |
| Оправданный | Количество подтвержденных нарушений правил кодирования. Чтобы обосновать нарушение правила, в интерфейсе пользователя Polyspace назначьте соответствующее состояние. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. | |
| Нарушения | Общее число нарушений правил кодирования. | |
| Цели обеспечения качества программного обеспечения | Статус качества | Состояние PASS или FAIL зависит от того, соответствует ли ваш код указанным целям качества программного обеспечения. См. раздел Сравнение показателей с целями качества программного обеспечения. |
| Уровень | Указанные цели качества программного обеспечения. Можно либо использовать предопределенный набор целей, либо указать собственные цели. См.:
| |
| Обзор хода выполнения | Показатель хода выполнения проверки, выраженный в процентах. Процент рассчитывается как количество рассмотренных нарушений правил кодирования, деленное на общее количество нарушений. Чтобы пометить проверку как проверенную, в интерфейсе пользователя Polyspace назначьте чеку Статус (Status). См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. | |
На вкладке Проверки времени выполнения перечислены проверки времени выполнения в проекте или прогоне. Дополнительные сведения о проверках см. в разделе Проверки времени выполнения.
Информацию в столбцах можно сгруппировать по категориям «Файлы» или «Время выполнения».
| Имя столбца | Описание | |
|---|---|---|
| Подтвержденные дефекты | Количество проверок времени выполнения, которым назначается степень серьезности См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. | |
| Избирательность во время выполнения | Процент, вычисляемый как количество чеков без оранжевого цвета, деленное на общее количество чеков. | |
| Зеленый код | Проверки | Количество зеленых чеков. См. раздел Результат проверки кода и Цвета исходного кода. |
| Систематические ошибки времени выполнения (красные проверки) | Оправданный | Процент проверенных красных чеков. Для выравнивания проверки в интерфейсе пользователя Polyspace назначьте соответствующий статус. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. |
| Проверки | Количество красных чеков. См. раздел Результат проверки кода и Цвета исходного кода. | |
| Недостижимые ветви (серые проверки) | Оправданный | Процент проверенных серых чеков. Для выравнивания проверки в интерфейсе пользователя Polyspace назначьте соответствующий статус. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. |
| Проверки | Количество серых чеков. См. раздел Результат проверки кода и Цвета исходного кода. | |
| Другие ошибки времени выполнения (оранжевые проверки) | Оправданный | Процент оправданных чеков оранжевого цвета. Для выравнивания проверки в интерфейсе пользователя Polyspace назначьте соответствующий статус. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. |
| Проверки | Количество оранжевых чеков. См. раздел Результат проверки кода и Цвета исходного кода. | |
| Проблемы, связанные с путями | Количество проверок оранжевого цвета, которые указывают на ошибку времени выполнения только на определенных путях выполнения. См. раздел Критические проверки оранжевого цвета. | |
| Проблемы с ограниченным вводом | Количество проверок оранжевого цвета, которые указывают на ошибку времени выполнения только для определенных входов. На входах заданы внешние ограничения. См. раздел Критические проверки оранжевого цвета. | |
| Проблемы с неограниченным вводом | Количество проверок оранжевого цвета, которые указывают на ошибку времени выполнения только для определенных входов. Внешние ограничения для входных данных не указаны. См. раздел Критические проверки оранжевого цвета. | |
| Неразрушающие конструкции | Оправданный | Процент неокончательных конструкций, которые были оправданы. Для выравнивания проверки в интерфейсе пользователя Polyspace назначьте соответствующий статус. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. |
| Проверки | Количество неразрушающих конструкций, таких как | |
| Цели обеспечения качества программного обеспечения | Статус качества | Состояние PASS или FAIL зависит от того, соответствует ли ваш код указанным целям качества программного обеспечения. См. раздел Сравнение показателей с целями качества программного обеспечения. |
| Уровень | Указанные цели качества программного обеспечения. Можно либо использовать предварительно определенный набор целей, либо указать собственные цели. См.:
| |
| Обзор хода выполнения | Показатель хода выполнения проверки, выраженный в процентах. Процент рассчитывается как количество проверенных проверок, деленное на общее количество проверок. Чтобы пометить проверку как проверенную, в интерфейсе пользователя Polyspace назначьте чеку Статус (Status). См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований. | |