UCV- Ingeniera de Sistemas

04/03/2013

Contenido:
1. La prueba funcional. 2. Tcnicas de caja negra. 3. Casos de prueba.

Ingeniera de Software

UCV- Ingeniera de Sistemas

04/03/2013

1. La prueba funcional Es un proceso para encontrar discrepancias entre el programa y la especificacin funcional. La prueba funcional toma el punto de vista del usuario. Para realizar pruebas funcionales, la especificacin se analiza para derivar los casos de prueba. Las funciones son probadas ingresando las entradas y examinando las salidas. Permite verificar si no se obtienen resultados correctos, exactos y con el grado de precisin acordado. Permite encontrar funciones ausentes.

2. Tcnicas de caja negra

Tambin conocidas como pruebas de comportamiento. Las pruebas de caja negra se llevan a cabo sobre la interfaz del software, obviando el comportamiento interno y la estructura del programa.

Ingeniera de Software

UCV- Ingeniera de Sistemas

04/03/2013

2. Tcnicas de caja negra Tcnicas: Particin de equivalencias. Anlisis de valores lmite. Mtodos basados en grafos. Pruebas de comparacin. Anlisis causa-efecto. Estas tcnicas definen los criterios para confeccionar los Casos de Prueba.

2. Tcnicas de caja negra

2.1. Tcnica de Particin de Equivalencias

Es un mtodo que divide el campo de entrada de un programa en clases de datos de los que se pueden derivar casos de prueba. Se puede asumir que una prueba realizada con un valor representativo de cada clase es equivalente a una prueba realizada con cualquier otro valor de dicha clase. El diseo de casos de prueba segn esta tcnica consta de dos pasos: 1. Identificar las clases de equivalencia. 2. Identificar los casos de prueba.

Ingeniera de Software

UCV- Ingeniera de Sistemas

04/03/2013

2. Tcnicas de caja negra Clases de equivalencia Una clase de equivalencia representa un conjunto de estados vlidos y no vlidos para las condiciones de entrada de un programa. Las clases de equivalencia se identifican examinando cada condicin de entrada (normalmente una frase en la especificacin) y dividindola en dos o ms grupos. Se definen dos tipos de clases de equivalencia: 1. Las clases de equivalencia vlidas, que representan entradas vlidas al programa. 2. Las clases de equivalencia no vlidas, que representan valores de entrada errneos.

2. Tcnicas de caja negra

Ejemplos de clases de equivalencia:

CONDICIN CLASE VALIDA CLASE NO VALIDA 2: contador < 1. 3: contador > 99.

Si una condicin de entrada 1: especifica un rango de 1<=contador<=99. valores. Por ejemplo, si un contador puede ir de 1 a 99. Si una condicin de entrada 1: Identificador que especifica una situacin que comienza con letra. debe ocurrir. Por ejemplo, el primer carcter del identificador debe ser una letra. Si una condicin de entrada especifica un conjunto de valores de entrada. Por ejemplo, el tipo de un vehculo puede ser: autobs, camin, taxi, coche o moto. 1: 2: 3: 4: 5: Autobs. Camin. Taxi. Coche. Moto.

2: Identificador que no comienza con letra.

6: Bicicleta.

Ingeniera de Software

UCV- Ingeniera de Sistemas

04/03/2013

2. Tcnicas de caja negra 2.2. Tcnica de Anlisis de Valores Lmite: Las condiciones lmite son aquellas que se hayan en los mrgenes de la clase de equivalencia, tanto de entrada como de salida. El anlisis de valores lmite complementa la tcnica de particin de equivalencia de manera que: En lugar de seleccionar cualquier caso de prueba de las clases vlidas e invlidas, se eligen los casos de prueba en los extremos. En lugar de centrase slo en el dominio de entrada, los casos de prueba se disean tambin considerando el dominio de salida.

2. Tcnicas de caja negra

Las pautas para casos de prueba con valores lmite son:

Si una condicin de entrada especifica un rango de valores, se disearn casos de prueba para los dos lmites del rango, y otros dos casos para situaciones justo por debajo y por encima de los extremos. Si una condicin de entrada especifica un nmero de valores, se disean dos casos de prueba para los valores mnimo y mximo, adems de otros dos casos de prueba para valores justo por encima del mximo y justo por debajo del mnimo. Aplicar las reglas anteriores a los datos de salida. Si la entrada o salida de un programa es un conjunto ordenado, habr que prestar atencin a los elementos primero y ltimo del conjunto.

Ingeniera de Software

UCV- Ingeniera de Sistemas

04/03/2013

3. Casos de prueba Estructura de ejemplo para declarar casos de prueba:

CONDICIN Nro. Cuenta es una cadena de 8 nmeros. Clave es una cadena de de 5 nmeros. CLASE VALIDA 1: Cualquier cadena de ocho nmeros. 3: Cualquier cadena de cinco nmeros. CLASE NO VALIDA 2: Cadena de menos de ocho nmeros. 4: Cadena de menos de cinco nmeros. 5: Cadena de ms de cinco nmeros. 7: Retiro < 20 8: Retiro > 400 Resultado esperado Se retira el dinero. Se retira el dinero. El retiro es inferior a lo permitido.

Retiro esta entre 20 y 400 soles. Nro. Caso CP01 CP02 CP03 Clase de equivalencia 1, 3, 6a 1, 3, 6b 1, 3, 7

6: 20 <= Retiro <= 400

Entrada 1 N. Cuenta 12345678 12345678 12345678

Entrada 2 Clave 12345 12345 12345

Entrada 3 Retiro 20 400 10

Actividad en clase

Resolver el ejercicio propuesto.

Ingeniera de Software

UCV- Ingeniera de Sistemas

04/03/2013

Lain Jardiel Crdenas Escalante

laincardenas@gmail.com http://lainjardiel.blogspot.com https://www.facebook.com/groups/SoftwareFactory/

Ingeniera de Software