Ўзбекистон республикаси ахборот технологиялари ва коммуникацияларини ривожлантириш вазирлиги муҳаммад ал-хоразмий номидаги

COVERED
– участок полностью покрыт в понятиях типа, к которому он приписан; 
PARTIALLY covered
– участок частично покрыт. Применимо только к логическим 
выражениям и условиям и указывает на то, что выражение (условие) покрыто на какое-то 
одно из двух возможных значений; 
NOT covered
– участок не покрыт. Это означает, что данный участок не выполнялся в 
процессе работы скомпилированного программного кода. 
Ниже представлен типичный результат покрытия для функции: 
1.1 Function 
void Function_1(void) 
Function Summary (MCDC): 
3 true-false decisions 
0 0.0% covered 
2 66.7% partially covered
1 33.3% not covered 
5 conditions in the decisions
1 20.0% covered 
3 60.0% partially covered
1 20.0% not covered 
0 case branches 
2 coverage events 
2 100.0% covered 
0 0.0% not covered 
coverage line 266: function entry
COVERED 
decision line 267: if statement
if ((A == B) && (... 

---

129 
T F 
1: *ttt *fxx ((A == ...)&& COVERED
2: *ttt tfx ((C...)&& PARTIALLY covered
3: *ttt ttf ((D == 0) PARTIALLY covered
decision line 271: if statement
if (E <= 0) 
T F 
1: t *f (E <= 0) PARTIALLY covered
decision line 276: if statement
if (D == 0) 
T F 
1: t f (D...) NOT covered
coverage line 291: function end
} 
COVERED 
Следует обратить внимание на то, каким образом происходит разбор логических 
выражений. Предположим, что у нас имеется выражение вида: 
if ((A==B) && (C > 0) && (D == 0)) 
и пусть результат покрытия для него такой, как приведен выше (decision line 267: if 
statement). Для этого выражения строится таблица, где в каждой строке помещается 
информация для каждого из логических условий, входящих в это логическое выражение. 
Нумерация логических условий начинается с 1, в нашем случае их 3. 
В первом столбце указывается комбинация значений логических условий (с участием 
рассматриваемого условия), которую необходимо выставить, чтобы логическое выражение 
приняло значение True. В данном случае, так как все условия соединены логическим 
оператором «И» (&&), то такой комбинацией может быть только TTT. Если указанная 
комбинация была сформирована в процессе тестирования программы, то она помечается 
символом (*). 
Во втором столбце указывается комбинация значений логических условий (с участием 
рассматриваемого условия), которую необходимо выставить, чтобы логическое выражение 
приняло значение False. В данном случае достаточно, чтобы хотя бы одно условие приняло 
значение False, при этом значения всех последующих условий не учитываются (это 
отображается символом X). 
Третий столбец – это вырезка текста логического условия, позволяющая легче 
ориентироваться в коде при анализе покрытия. 
Из получившейся таблицы видно, что второе и третье логическое условие в процессе 
выполнения не принимали значения False. Определение причины этого и является задачей 
анализа структурного покрытия. 
После того, как в рамках данного модуля будут рассмотрены все функции, 
рассматривается следующий модуль, и так далее. Как видно, структура отчетного файла, 
получаемого в результате работы CodeTEST, достаточно проста и имеет вложенную 
структуру. 
Отчеты о покрытиях, создаваемые Microsoft Visual Studio Team Edition будут 
рассмотрены на семинарских занятиях.