Prueba De La Estructura De Control

Las pruebas son de gran importancia en la garanta de la calidad del software

Prueba de Condicin
Prueba de Flujo de Datos
Prueba de Bucles

Prueba de condicin

Es Mtodo de diseo de casos de prueba que ejercita las condiciones lgicas

contenidas en el mdulo de un programa. Esta prueba asegura en que cada condicin
del programa no contenga errores.

La expresin relacional adquiere tiene la forma: E1<operador relacional>E2; donde E1

y E2 son expresiones aritmticas y < operador relacional > puede ser<,<=,=,>,>=,

Una condicin compuesta est formada por dos o ms condiciones simples,

operadores lgicos o parntesis. Los operadores lgicos permitidos en una condicin
compuesta incluye OR(|), AND(&), NOT.

Errores De Una Condicin

Error en operador lgico

Error en variable lgica
Error en parntesis lgico
Error en operador relacional
Error en expresin aritmtica

Prueba de flujo de datos

Selecciona caminos de prueba de un programa de acuerdo con la ubicacin de las

definiciones y los usos de las variables del programa.

Las estrategias de prueba de flujo de datos son tiles para seleccionar caminos de
prueba de un programa que contenga sentencias if o bucles anidados.

Prueba De Bucles

Tcnica de prueba de caja blanca que se centra en la validez de las construcciones de

bucles.

Simples,
Concatenados,
Anidados,
No estructurados
Bucles Simples

Pruebas para Bucles simples (n es el nmero mximo de iteraciones permitidos por el

bucle)

Pasar por alto totalmente el bucle

Pasar una sola vez por el bucle
Pasar dos veces por el bucle
Hacer m pasos por el bucle con m < n
Hacer n-1, n y n + 1 pasos por el bucle

Bucles Anidados

Pruebas para Bucles Anidados

Comenzar en el bucle ms interior estableciendo los dems bucles en sus valores

mnimos
Realizar las pruebas de bucle simple para el ms interior manteniendo los dems
en sus valores mnimos
Avanzar hacia fuera confeccionando pruebas para el siguiente bucle manteniendo
todos los externos en los valores mnimos y los dems bucles anidados en sus
valores tpicos
Continuar el proceso hasta haber comprobado todos los bucles

Pruebas para Bucles concatenados

Siempre que los bucles concatenados sean independientes se puede aplicar lo relativo
a bucles simples/anidados. En caso de ser dependientes se evaluarn como bucles
anidados

Pruebas para Bucles no estructurados

Siempre que se usen los mecanismos que aporta la programacin estructurada, este
tipo de bucles no estarn presentes
Referencias

http://www.aptest.com/resources.html

http://www.softwareqatest.com/