Utilización de gprof/gcov: cobertura de ramas (y II)
Continuando con la temática del post anterior, vamos a ver en este caso, como chequear la cobertura lógica en bloques de código con condiciones de acceso más o menos complejas.
Supongamos el siguiente fichero de código main.c:
En este caso, el script de compilación y ejecución será compexec.sh:
Nótese como la herramienta gcov ha sido ejecutada con las opciones -b y -c. Según “man gcov”:
- -b
–branch-probabilities
Write branch frequencies to the output file, and write branch summary info to the standard output. This option allows you to see how often each branch in your program was taken. Unconditional branches will not be shown, unless the -u option is given. - -c
–branch-counts
Write branch frequencies as the number of branches taken, rather than the percentage of branches taken.
Es decir, pedimos a la herramienta que devuelva información sobre ejecución de las “ramas lógicas”, dando como resultado el fichero main.c.gcov:
Aquí podemos ver información, aunque un tanto críptica, sobre la ejecución de dos bloques if-else. Como puede verse, cada uno de ellos presenta cuatro ramas, numeradas de “branch 0″ a “branch 3″. Veamos a continuación la explicación de estos datos:
Supongamos la condición:
if (a || b) {
x;
} else {
y;
}
Esta condición (o combinación de condiciones) da lugar a 4 ramas, que se corresponden con las posibles combinaciones de valores booleanos de las dos variables:
a b
—-
0 0
0 1
1 0
1 1
Podemos reescribir esta condición como:
if (a == false) {
// Branch 0
if (b == false) {
// Branch 2
y;
} else {
// Branch 3;
x;
}
} else {
// Branch 1
x;
}
Supongamos ahora la condición:
if (a && b) {
x;
} else {
y;
}
Como antes, esta condición (o combinación de condiciones) da lugar a 4 ramas, que se corresponden con las posibles combinaciones de valores booleanos de las dos variables:
a b
—-
1 1
1 0
0 1
0 0
Podemos reescribir esta condición como:
if (a == true) {
// Branch 0
if (b == true) {
// Branch 2
x;
} else {
// Branch 3;
y;
}
} else {
// Branch 1
y;
}
En cualquiera de los casos anteriores, la herramienta gcov (con las opciones -bc) nos devuelve el número de veces que cada una de las ramas nombradas más arriba ha sido ejecutada.
Si se omite la opción -c, los resultados son porcentajes, de manera que la suma de las ejecuciones de todas las ramas deberá ser el 100 %.
Además, se puede deducir que, en cualquiera de los casos:
1.- (nº de ejecuciones de rama 0) + (nº ejecuciones rama 1) = (nº ejecuciones
del if
2.- (nº ejec rama 2) + (nº ejec rama 3) = (nº ejec rama 1)
En conclusión, podemos deducir qué líneas de código y ramas lógicas han sido ejecutadas y añadir/modificar los test cases necesarios para alcanzar la cobertura deseada.
[Código completo y resultados.]
Relacionados: