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

Этот график столбца отображения:

Кликните по графику столбца, чтобы открыть окно Unreachable functions.

Это окно содержит:

Низкое покрытие может указать на раннюю красную проверку или недостающий вызов функции. Рассмотрите следующий код:

void coverage_eg(void)
{ 
  int x;

  x = 1 / x;
  x = x + 1;
  propagate();
}

Когда программное обеспечение отображает только один из пяти проверок операции на код, процент элементарных покрытых операций является 1/5 или 20%. Программное обеспечение не учитывает проверки в недостижимом функциональном propagate(). Для получения дополнительной информации видьте Основания для Кода Непроверенного.

Эта круговая диаграмма отображает количество проверок каждого цвета. Для описания цветов проверки смотрите Цвета Результата и Исходного кода Программы автоматического доказательства Кода.

Используя эту круговую диаграмму, можно получить оценку:

Оранжевый источник является переменной или функцией, которая приводит к оранжевой проверке. Этот график столбца отображает пять оранжевых источников, влияющих на большую часть количества проверок.

Оранжевый источник может вызвать несколько оранжевых регистраций Программы автоматического доказательства Кода. Когда вы кликаете по оранжевому источнику в этом графике, панель Results List показывает только оранжевые проверки, прибывающие из этого источника.

Например, в этом коде, неизвестное значение input может вызвать переполнение и деление на нуль. Переменная input является оранжевым источником, который вызывает две оранжевых проверки.

void func (int input) {
int val1;
double val2;
val1 = input++;
val2 = 1.0/input;
}

Каждый столбец представляет оранжевый источник. Столбцы располагаются в порядке количества затронутых проверок. Высота столбца указывает на количество проверок, затронутых соответствующим оранжевым источником. Установите свой курсор на столбец, чтобы открыть подсказку, показывающую исходное имя и количество проверок, затронутых источником.

Используя этот график, вы можете:

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