Polyspace® Metrics является веб-инструментальной панелью, которая генерирует метрики качества кода от ваших результатов верификации. Используя эту инструментальную панель, вы можете:
Предоставьте вашему управлению общий обзор своего качества кода.
Сравните свое качество кода с предопределенными стандартами.
Установите процесс, где вы рассматриваете подробно только те результаты, которым не удается соответствовать стандартам.
Отследите улучшения или регрессию в качестве кода в зависимости от времени.
Для каждого проекта или выполнения, можно просмотреть метрики качества кода, распространенные по четырем вкладкам, в проекте, файле и функциональном уровне.
Вкладка Summary предоставляет общий обзор результатов верификации.
Вкладка Code Metrics предоставляет подробную информацию метрик сложности кода в ваших результатах.
Смотрите метрики кода.
Вкладка Coding rules предоставляет подробную информацию нарушений правила кодирования в ваших результатах.
Вкладка Run-Time Checks предоставляет подробную информацию проверок на этапе выполнения в ваших результатах.
Смотрите проверки на этапе выполнения.
Если вы включаете Цели Качества программного обеспечения, каждая вкладка также задает, как ваш проект или выполнение выдерживают сравнение с теми целями. Смотрите Сравнивают Метрики С Целями Качества программного обеспечения.
Вкладка Summary обобщает результаты верификации для проекта или выполнения.
Чтобы видеть результаты, встроенные в ваш исходный код, загрузите результаты Метрик Polyspace на пользовательский интерфейс. Для получения дополнительной информации смотрите Метрики Анализа для Конкретного Проекта или Выполнения.
ColumnName | Описание | |
---|---|---|
Verification Status | Уровень верификации завершается. Смотрите Verification level (-to) . | |
Code Metrics | Files | Количество файлов в проекте. |
Lines of code | Количество строк кода, сломанных файлом. | |
Coding Rules | Confirmed Defects | Количество кодирования управляет нарушениями, которым вы присваиваете Severity Смотрите результаты Polyspace адреса через исправления ошибок или комментарии. |
Violations | Общее количество кодирования нарушений правила. | |
Run-Time Errors | Confirmed Defects | Количество проверок на этапе выполнения, которым вы присваиваете Severity Смотрите результаты Polyspace адреса через исправления ошибок или комментарии. |
Run-Time Reliability | Мера вашего качества кода, выраженного как процент. Процент вычисляется как количество зеленых и других выровненных по ширине проверок, разделенных на общее количество проверок. Чтобы выровнять по ширине проверку, в пользовательском интерфейсе Polyspace, необходимо присвоить соответствующий Status. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. | |
Software Quality Objectives | Overall Status | Состояние PASS или FAIL на основе того, удовлетворяет ли ваш код цели качества программного обеспечения, которые вы задали. Для получения дополнительной информации смотрите, Сравнивают Метрики С Целями Качества программного обеспечения. |
Level | Цели качества программного обеспечения, которые вы задаете. Можно или использовать предопределенный набор целей или задать собственные цели. См.:
| |
Review Progress | Мера вашего успеха анализа, выраженного как процент. Процент вычисляется как количество рассмотренных незеленых проверок и кодирующий нарушения правила, разделенные на общее количество незеленых проверок и нарушений правила. Чтобы рассмотреть проверку, в пользовательском интерфейсе Polyspace, необходимо присвоить Status. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. | |
Justified Code Metrics | Процент метрических пороговых нарушений кода, которые вы выровняли по ширине. Чтобы выровнять по ширине пороговое нарушение, в пользовательском интерфейсе Polyspace, необходимо присвоить соответствующий Status. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. | |
Justified Coding Rules | Процент кодирования управляет нарушениями, которые вы выровняли по ширине. Чтобы выровнять по ширине нарушение правила, в пользовательском интерфейсе Polyspace, необходимо присвоить соответствующий Status. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. | |
Justified Run-Time Errors | Процент проверок на этапе выполнения, которые вы выровняли по ширине. Чтобы выровнять по ширине проверку, в пользовательском интерфейсе Polyspace, необходимо присвоить соответствующий Status. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. |
Вкладка Code Metrics перечисляет метрики сложности кода для вашего проекта или выполнения.
Некоторые метрики вычисляются на уровне проекта, в то время как другие вычисляются в файле или функциональном уровне. Для метрик, вычисленных на функциональном уровне, запись, отображенная для файла, является или агрегатом или максимумом по функциям в файле.
Для получения дополнительной информации смотрите Метрики Кода.
Вкладка Coding Rules перечисляет нарушения правила кодирования в вашем проекте или выполнение. Для получения дополнительной информации о правилах кодирования см. Стандарты Кодирования.
Можно сгруппировать информацию в столбцах Files или Coding Rules.
ColumnName | Описание | |
---|---|---|
Coding Rules | Confirmed Defects | Количество кодирования управляет нарушениями, которым вы присваиваете Severity Смотрите результаты Polyspace адреса через исправления ошибок или комментарии. |
Justified | Количество кодирования управляет нарушениями, которые вы выровняли по ширине. Чтобы выровнять по ширине нарушение правила, в пользовательском интерфейсе Polyspace, присваивают соответствующий Status. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. | |
Violations | Общее количество кодирования нарушений правила. | |
Software Quality Objectives | Quality Status | Состояние PASS или FAIL на основе того, удовлетворяет ли ваш код цели качества программного обеспечения, которые вы задали. Смотрите сравнивают метрики с целями качества программного обеспечения. |
Level | Цели качества программного обеспечения, которые вы задаете. Можно или использовать предопределенный набор целей или задать собственные цели. См.:
| |
Review Progress | Мера вашего успеха анализа, выраженного как процент. Процент вычисляется как количество рассмотренных нарушений правила кодирования, разделенных на общее количество нарушений. Чтобы отметить проверку, как рассмотрено, в пользовательском интерфейсе Polyspace, присваивают Status проверке. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. |
Вкладка Run-Time Checks перечисляет проверки на этапе выполнения в вашем проекте или выполнение. Для получения дополнительной информации о проверках смотрите Проверки на этапе выполнения.
Можно сгруппировать информацию в столбцах Files или Run-Time Categories.
ColumnName | Описание | |
---|---|---|
Confirmed Defects | Количество проверок на этапе выполнения, которым вы присваиваете Severity Смотрите результаты Polyspace адреса через исправления ошибок или комментарии. | |
Run-Time Selectivity | Процент, вычисленный как количество неоранжевых проверок, разделенных на общее количество проверок. | |
Green Code | Checks | Количество зеленых проверок. Смотрите, что программа автоматического доказательства кода заканчивается и цвета исходного кода. |
Systematic Run-Time Errors (Red Checks) | Justified | Процент красных проверок, которые вы выровняли по ширине. Чтобы выровнять по ширине проверку, в пользовательском интерфейсе Polyspace, присваивают соответствующий Status. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. |
Checks | Количество красных проверок. Смотрите, что программа автоматического доказательства кода заканчивается и цвета исходного кода. | |
Unreachable Branches (Gray Checks) | Justified | Процент серых проверок, которые вы выровняли по ширине. Чтобы выровнять по ширине проверку, в пользовательском интерфейсе Polyspace, присваивают соответствующий Status. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. |
Checks | Количество серых проверок. Смотрите, что программа автоматического доказательства кода заканчивается и цвета исходного кода. | |
Other Run-Time Errors (Orange Checks) | Justified | Процент оранжевых проверок, которые вы выровняли по ширине. Чтобы выровнять по ширине проверку, в пользовательском интерфейсе Polyspace, присваивают соответствующий Status. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. |
Checks | Количество оранжевых проверок. Смотрите, что программа автоматического доказательства кода заканчивается и цвета исходного кода. | |
Path-Related Issues | Количество оранжевых проверок, которые указывают на ошибку времени выполнения только на определенных путях к выполнению. Смотрите критические оранжевые проверки. | |
Bounded-Input Issues | Количество оранжевых проверок, которые указывают на ошибку времени выполнения только для определенных входных параметров. Вы задали внешние ограничения на входные параметры. Смотрите критические оранжевые проверки. | |
Unbounded-Input Issues | Количество оранжевых проверок, которые указывают на ошибку времени выполнения только для определенных входных параметров. Вы не задали внешних ограничений на входные параметры. Смотрите критические оранжевые проверки. | |
Non-terminating constructs | Justified | Процент незавершения создает, который вы выровняли по ширине. Чтобы выровнять по ширине проверку, в пользовательском интерфейсе Polyspace, присваивают соответствующий Status. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. |
Checks | Количество незавершения построений, таких как | |
Software Quality Objectives | Quality Status | Состояние PASS или FAIL на основе того, удовлетворяет ли ваш код цели качества программного обеспечения, которые вы задали. Смотрите сравнивают метрики с целями качества программного обеспечения. |
Level | Цели качества программного обеспечения, которые вы задаете. Можно или использовать предопределенный набор целей или задать собственные цели. См.:
| |
Review Progress | Мера вашего успеха анализа, выраженного как процент. Процент вычисляется как количество рассмотренных проверок, разделенных на общее количество проверок. Чтобы отметить проверку, как рассмотрено, в пользовательском интерфейсе Polyspace, присваивают Status проверке. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии. |