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 Адреса Через Исправления ошибок или Выравнивания. | |