Actividades y Ejercicios

COMPROBACION DE SOFTWARE1ra. UNIDAD

Reconocedor de bucles

Especifique, 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.

1 INGENIERIA DE SISTEMAS E INFORMATICA

Edwin Antonio

Alumno : Castro Rosado,

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.

2 INGENIERIA DE SISTEMAS E INFORMATICA

Edwin Antonio

Alumno : Castro Rosado,

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;
}
}

3 INGENIERIA DE SISTEMAS E INFORMATICA

Edwin Antonio

Alumno : Castro Rosado,