Clases de Equivalencia Una clase de equivalencia representa un conjunto de estados vlidos o no vlidos para condiciones de entrada.

Tpicamente, una condicin de entrada es un valor numrico especfico, un rango de valores, un conjunto de valores relacionados o una condicin lgica. Si un conjunto de objetos puede unirse por medio de relaciones simtricas, transitivas y reflexivas, entonces existe una clase de equivalencia. Las clases de equivalencia se pueden definir de acuerdo con las siguientes directrices: 1. Si una condicin de entrada especifica un rango, se define una clase de equivalencia vlida y dos no vlidas. 2. Si una condicin de entrada requiere un valor especfico, se define una clase de equivalencia vlida y dos no vlidas. 3. Si una condicin de entrada especifica un miembro de un conjunto, se define una clase de equivalencia vlida y una no vlida. 4. Si una condicin de entrada es lgica, se define una clase de equivalencia vlida y una no vlida.

Particin Equivalente La particin equivalente es un mtodo de prueba de caja negra que divide el campo de entra de un programa en clases de datos de los que se pueden derivar casos de prueba. Un caso de prueba ideal descubre de forma inmediata una clase de errores (por ejemplo proceso incorrecto de todos los datos de carcter) que, de otro modo requeriran la ejecucin de muchos casos antes de detectar el error genrico. La particin equivalente se dirige a la definicin de casos de prueba que descubran clases de errores, reduciendo as el nmero total de casos de prueba que hay que desarrollar. En el diseo de casos de prueba para particin equivalente se procede en dos pasos: 1. Se identifican las clases de equivalencia. Las clases de equivalencia son identificadas tomando cada condicin de entrada (generalmente una oracin o una frase en la especificacin) y repartindola en dos o ms grupos.

Es de notar que dos tipos de clases de equivalencia estn identificados: las clases de equivalencia vlidas representan entradas vlidas al programa, y las clases de equivalencia no vlidas que representan el resto de los estados posibles de la condicin (es decir, valores errneos de la entrada).

2. Se define los casos de prueba. El segundo paso es el uso de las clases de equivalencia para identificar los casos de prueba. El proceso es como sigue: se asigna un nmero nico a cada clase de equivalencia. Hasta que todas las clases de equivalencia vlidas han sido cubiertas por los casos de prueba, se escribe un nuevo caso de prueba que cubra la clase de equivalencia vlida. Y por ltimo hasta que los casos de prueba hayan cubierto todas las clases de equivalencia invlidas, se escribe un caso de la prueba que cubra una, y solamente una, de las clases de equivalencia invlidas descubiertas. Ejercicio de Prueba de Caja Negra Clases de Equivalencia Considere una aplicacin bancaria, donde el usuario puede conectarse al banco por internet y realizar una serie de operaciones bancarias. Una vez accedido al banco con las consiguientes medidas de seguridad (clave de acceso y dems), la informacin de entrada del procedimiento que gestiona las operaciones concretas a realizar por el usuario requiere las siguientes entradas: Cdigo del banco: En blanco o nmero de tres dgitos. En este caso, el primero de los dgitos tiene que ser mayor que 1. Cdigo de sucursal: Un nmero de cuatro dgitos. El primero de ellos mayor de 0. Nmero de cuenta: Nmero de cinco dgitos. Clave personal: Valor alfanumrico de cinco posiciones. Orden: En este valor se introducir segn la orden que se desee realizar. Puede estar en blanco o se una de las dos cadenas siguientes: o o Talonario Movimientos

En el primer caso el usuario recibir un talonario de cheques, mientras que en el segundo recibir los movimientos del mes en curso. Si este cdigo est en blanco, el usuario recibir los dos documentos.

Clases de Equivalencia

Condicin de Entrada
Cdigo banco

Tipo

Clase Equivalencia Vlida

Clase Equivalencia no Vlida

3. Un valor no numrico 4. Cdigo banco<100 5. Cdigo banco>999

Lgica (puede estar o no) Si est es Rango

1. En blanco 2. 100<=Cdigo banco<=999

Cdigo sucursal

Rango

6. 1000<=Cdigo sucursal<=9999

7. Cdigo sucursal<1000 8. Cdigo sucursal>=9999

N cuenta

Valor

9. Cualquier nmero de 5 dgitos

10. Nmero de menos de cinco dgitos 11. Nmero de menos de cuatro dgitos

Clave

Valor

12. Cualquier cadena de caracteres alfanumricos de 5 posiciones

13. Cadena de menos de cinco posiciones 14. Cadena de ms de cinco posiciones

Orden

Conjunto, con comportamiento distinto

15. 16. Talonario 17. Movimientos

18. Cadena distinta de blanco y de las vlidas 19. Talonarios 20. Movimiento

Casos de Prueba Para generar los casos de prueba, consideremos la tcnica de Anlisis de Valores Lmite. Esta tcnica conduce a que determinadas clases de equivalencia se genere ms de un caso de prueba. Este es el caso por ejemplo, de la clase de equivalencia 2 y 6 que representan un rango de valores y para los que la tcnica de Anlisis de Valores Lmite indica que se generen dos casos de prueba con el lmite inferior y el superior del rango respectivamente (para identificar estos casos de prueba se ha aadido el sufijo a y b a las clases de equivalencia correspondiente).

Casos de Prueba N Ca so
1

Clase de Equivalencia
1, 6a, 9a, 12a, 15 2a, 6b, 9b, 12b, 16 2b, 6, 9, 12, 17

Banco

Sucursal

Cuenta

Clave

Orden

Resultado

1000

00000

00000

Talonario Movimientos Talonario Talonario Talonario Talonario Talonario

Todos los movimientos y talonario Envo de talonario

100

9999

99999

zzzzz

999

1001

12345

Hyu56

Envo de movimientos

3, 6, 9, 12, 15

30A

1989

12347

Kuh98

Cdigo banco errneo

4, 6, 9, 12, 15

99

1989

12347

Kuf98

Cdigo banco errneo

5, 6, 9, 12, 15

1000

1989

12347

Abc80

Cdigo banco errneo

1, 7, 9, 12, 15

999

12347

Def85

Cdigo sucursal errneo

1, 8, 9, 12, 16

10000

12345

Hyu56

Cdigo sucursal errneo

1, 6, 10, 12, 16

2345

9999

Jkgy5

Nmero cuenta errneo

10

1, 6, 11, 12, 16

7863

100000

Jkgy5

Nmero cuenta errneo

11

1, 6, 9, 13, 16

6754

89765

Jut8

Clave errnea

12

1, 6, 9, 14, 16

9998

89765

Jut890

Clave errnea

13

1, 6, 9, 12, 18

8765

89765

Gar78

988 Talonarios Movimiento

Orden errnea

14

1, 6, 9, 12, 19

7654

89765

Gar78

Orden errnea

15

1, 6, 9, 12, 20

8769

89765

Gar78

Orden errnea