Reconocedor de buclesEspecifique, disee e implemente: Una
herramienta automtica que reconozca los bucles y los
clasifique.Enva tu archivo a travs de este medio.Un conjunto
instruccionesque se ejecutan de forma repetida hasta que se cumple
una determinada condicin, denominada condicin de salida.Los bucles
son la piedra angular de la inmensa mayora de los algoritmos
implementados en software, por lo que tenemos que prestarles una
atencin especial a la hora de realizar la prueba del software.La
prueba de bucles es una tcnica de prueba de caja blanca que se
centra en la validez de las construcciones de los bucles.
Se pueden definir cuatro tipos de bucles diferentes:
Bucles simples
Bucles concatenados
Bucles anidados
Bucles no estructurados
BUCLES SIMPLES: Debe aplicarse el siguiente conjunto de pruebas,
con n que representa el nmero mximo de pasos permitidos por el
bucle:
Pasar por alto totalmente el bucle.
Pasar una sola vez por el bucle.
Pasar dos veces por el bucle.
Pasar N veces por el bucle, con N=n.
Pasar n+1, n veces por el bucle.
BUCLES ANIDADOS:Si extendisemos el conjunto de pruebas de los
bucles simples a los bucles anidados, el nmero de pruebas crecera
geomtricamente, por lo que Beizer sugiere el siguiente conjunto de
pruebas para bucles anidados:
Comenzar por el bucle ms interior, estableciendo o configurando
los dems bucles con sus valores mnimos.
Llevar a cabo las pruebas de bucles simples para el bucle ms
interior, mientras se mantienen los parmetros de iteracin de los
bucles externos en sus valores mnimos. Aadir otras pruebas para
valores fuera de rango o excluidos.
Progresar hacia fuera, llevando a cabo pruebas para el siguiente
bucle, pero manteniendo todos los bucles externos en sus valores
mnimos y los dems bucles anidados en sus valores tpicos.
Continuar hasta que se hayan probado todos los bucles.
BUCLES CONCATENADOS: Los bucles concatenados se pueden probar
mediante el enfoque definido para los bucles simples, siempre y
cuando cada uno de los bucles sea independiente del resto. Sin
embargo, cuando los bucles no son independientes, se recomienda
utilizar el enfoque aplicado para los bucles anidados.
BUCLES NO ESTRUCTURADOS: Esta clase de bucles debe ser rediseada
para que se ajusten a las construcciones de la programacin
estructurada.
En el siguiente ejemplo observamos los bucles.
While(a) {
if (a) {
break;
}
} SHAPE \* MERGEFORMAT
SHAPE \* MERGEFORMAT
