An Example

Tomemos, por ejemplo, el cdigo fuente siguiente:?

1 2 3 4 5 6 7 8 9 10

Read a // Executable Read b // Executable IF a > b THEN // Executable Print "a > b" // Executable IF a > 10 THEN // Executable Print "a > 10" // Executable ENDIF ELSE Print "a =< b" // Executable ENDIF

El cdigo lee dos nmeros en variables (a y b). A continuacin, se imprime un mensaje que indica que el nmero es el ms grande. Si el nmero en la variable a es mayor que el nmero en la variable b a continuacin, el nmero de una se compara con el nmero 10. Cdigo ejecutable se indica en los comentarios. Los ELSE y ENDIF son considerados como parte de las anteriores declaraciones IF. Podemos representar el cdigo en un diagrama de flujo. Cada caja en el diagrama de flujo representa una declaracin individual.

Para la prueba de declaracin, tenemos que disear una serie de pruebas que se ejecutarn tantas declaraciones que se especifican en el plan de pruebas. Si tenemos que poner a prueba todas las declaraciones luego tenemos que ejercer cada caja cuadrada y cada decisin en el diagrama de flujo.

Test 1
En primer lugar, vamos a ejecutar el cdigo con los valores: 30 y 20. Esperamos que la produccin se vea como: a>b a > 10 Con estos datos de entrada que ejecutamos las siguientes declaraciones:
1. Read a 2. Read b 3. IF a > b THEN 4. Print "a > b" // 5. IF a > 10 THEN 6. Print "a > 10" // a = 30 // a = 30, b = 20 // True "a > b" // True // "a > 10"

Esta prueba se ha ejecutado todas las sentencias ejecutables, excepto la instruccin PRINT en la lnea 9. Esto ha ejercido 6 de los estados 7 ejecutables del programa, que es 6/7 o la cobertura de sentencias 86%.

Test 2
Para ejecutar la sentencia final, vamos a ejecutar el cdigo con los valores: 20 y 30. Esperamos que la produccin se vea como: a <= b Con estos datos de entrada que ejecutamos las siguientes declaraciones:
1. Read a 2. Read b 3. IF a > b THEN 9. Print "a =< b" // // // // "a a = 30 a = 30, b = 20 False > b"

Mediante la realizacin de ambos dos pruebas (ensayos 1 y 2) podemos ejecutar todas las sentencias del cdigo, alcanzar una cobertura del 100% declaracin.