Verificación y Validación de Software

Transcripción

1 Verificación y Validación de Ingeniería en Sistemas de Información Departamento de Ciencias e Ingeniería de la Computación 2015

2 VyVS 2016 / DCIC / UNS

3 Tablas de Decisiones Decision Tables Aplicable a situaciones de transacciones, donde puede aplicar reglas de negocios. ENTEROS f( x : Entero )

4 Condiciones Tarjeta Real? Y Y Y Y Y Y Y Y N N N N N N N N Tarjeta Activa? Y Y Y Y N N N N Y Y Y Y N N N N Dentro de los límites? Y Y N N Y Y N N Y Y N N Y Y N N En Mercosur? Y N Y N Y N Y N Y N Y N Y N Y N Acciones Aprobar Compra? Y N N N N N N N N N N N N N N N Llamar al cliente? N Y Y Y N Y Y Y N N N N N N N N Llamar al vendedor? N N N N Y Y Y Y Y Y Y Y Y Y Y Y

5 Grafos Causa-Efecto Cause-Effect Graphs Real Aprobar Activa Vendedor Límite Mercosur Cliente

6 Casos de Uso (Uses Cases)

7 Diagrama de Transiciones de Estados State Transition Diagrams

8 Diagrama de Transiciones de Estados State Transition Diagrams Los criterios de cubrimiento se definen a partir de cómo visitamos los estados y las transiciones (o sea, cómo recorremos el grafo). Criterio 1: Suficientes test como para cubrir cada estado y transición en el diagrama de transiciones. Criterio 2: Suficientes test como para cubrir cada fila en la tabla de transición. Criterio 3: Por lo menos un test cubre cada secuencia de transiciones de longitud N o menos (N-1 switch coverage)

9 Diagrama de Transiciones de Estados State Transition Diagrams 0-switch A1 A2 A9 B10 B8 B3 C14 C11 C4 D13 D12 D5 1-switch A1A1 A1A2 A1A9 A9B10 A9B8 A9B3 B10C14 B10C11 B10C4 B9A1 B8A2 B8A9 C14C14 C14C11 C14C4 C11D13 C11D12 C11D5 D13D13 D13D12 D13D5 D12F6 D12F7 F6 F7 F7A1 F7A2 F7A9 A1A1A2 A9B8A1A9B8A2 A9B10C14C14C4 A9B10C11S12D13D5 A9B10C11D12F7A1A9B10C11S12F7A9

10 Tabla de Transición de Estados (State Transition Tables) Browsing Selecting Logging Purchasing Confirmed Left X Click link Add to cart Continue shopping Login[bad] Login[good] Purchase[bad] Purchase[good] Abandon Resume shopping Go elsewhere

11 Pairwise Testing Pairwise Testing

12 Arreglo Ortogonal Orthogonal Array

13 Testing de Caja Negra Black box Testing

14 Árboles de Clasificación Classification Trees

15 Árboles de Clasificación Classification Trees An initial value and a length define a range of values. Determine if a given value is within the defined range or not. Only integer numbers are to be considered

16 Árboles de Clasificación Classification Trees

17 Árboles de Clasificación Classification Trees

18 Árboles de Clasificación Classification Trees

19 Árboles de Clasificación Classification Trees Los casos de test se generan combinando las hojas del árbol

20 Árboles de Clasificación Classification Trees Los casos de test se generan combinando las hojas del árbol

21 Testing de Árboles de Clasificación (Classification Trees) Testeo de factores que tienen dependencia y testeo más profundo de ciertas combinaciones sobre otras.

22 Árboles de Clasificación Classification Trees

23 Árboles de Clasificación Classification Trees

24 Árboles de Clasificación Classification Trees

25 Árboles de Clasificación Classification Trees

26

27 Testing Dinámico Dynamic Testing El Testing Dinámico se puede dividir en cuatro categorías, con varias zonas grises en el medio. Caja Negra Caja Blanca Basado en Experiencia También llamada Basada en Especificación. El testing se hace en base al comportamiento del sistema, sin tomar en cuenta los detalles de implementación para generar los casos de test. Basado en Defectos Análisis Dinámico

28 Testing de Caja Blanca White box Testing

29 Testing Dinámico Dynamic Testing El Testing Dinámico se puede dividir en cuatro categorías, con varias zonas grises en el medio. Caja Negra Caja Blanca Los casos de test se diseñan en base a cómo el sistema fue construido. El código es una documentación fundamental para este tipo de test. Basado en Experiencia Basado en Defectos Análisis Dinámico

30 Testing de Caja Blanca White box Testing

31 Testing de Caja Blanca Formalismos

32 Testing de Caja Blanca Formalismos Un programa P es considerado una función del conjunto de datos D, dominio de la función, en el conjunto de datos R, el codominio. (P: D -> R )

33 Testing de Caja Blanca Formalismos Sí (P: D -> R ) entonces P(d) = r, ejecución de P con d. ok(p, d), si P(d) es correcto, satisface lo especificado. ok(p), si P es correcto para cada elemento d del dominio D. Ssi for all d en D, ok(p,d).

34 Testing de Caja Blanca Formalismos Un test T para un programa con dominio D, es un subconjunto del dominio D. Un elemento t de un test T es un dato de test. La ejecución de un test T consiste en la ejecución de P para todos los datos de test t contenidos en T

35 Testing del Flujo de Control Control-Flow Testing

36 Testing del Flujo de Control Control-Flow Testing El flujo de control de un programa, es la estructura que determina los caminos que se pueden tomar a lo largo del código. Los if, while, repeat, case, forman parte de la estructura de control.

37 Testing del Flujo de Control Control-Flow Testing Para este tipo de testing vamos a usar como modelo un grafo de control. Como criterio de cubrimiento vamos a tener múltiples opciones.

38 Testing del Flujo de Control Control-Flow Testing Para este tipo de testing vamos a usar como modelo un grafo de control. Como criterio de cubrimiento vamos a tener múltiples opciones. Ejecutar todo el código parecería ser el mejor cubrimiento, pero...

39 Testing del Flujo de Control Control-Flow Testing Qué es todo?

40 Criterios de Cubrimiento Criterio de Comandos Criterio de Decisiones Criterio de Condiciones y Decisiones Criterio de Condiciones Múltiples Criterio de Bucles Criterio de Caminos

41 Testing del Flujo de Control Control-Flow Testing Importante: Un cubrimiento del 100% no es equivalente a un testing completo. Un cubrimiento del 100% significa completitud con respecto a cierta estrategia.

42 Grafo de Flujo de Control Control-Flow Graph

43 Grafo de Flujo de Control Control-Flow Graph El Grafo de Flujo de Control es el modelo/representación que nos va a facilitar realizar/evaluar los diferentes cubrimiento.

44 Grafo de Flujo de Control Control-Flow Graph B1 B2 Dos sentencias de código en secuencia

45 Grafo de Flujo de Control Control-Flow Graph int x = 23; x++; f( x );

46 Grafo de Flujo de Control Control-Flow Graph int x = 23; x++; f( x ); Como, en este ejemplo, no se modifica el flujo de control vamos a considerarlo un único nodo.

47 Grafo de Flujo de Control Control-Flow Graph B2 B1 IF B1 THEN { B2; } B4 B4 IF-THEN

48 Grafo de Flujo de Control Control-Flow Graph B2 B1 B3 IF B1 THEN { B2; } ELSE { B3; } B4 B4 IF-THEN-ELSE

49 Grafo de Flujo de Control Control-Flow Graph B2 B1 B3 WHILE B1 { B2; } B3; CICLO

50 Grafo de Flujo de Control Control-Flow Graph PROGRAM VAR x,y:real BEGIN Read(x); Read(y); IF (x!= 0) THEN x = x + 10; y = y / 10; Write(x); Write(y); END

51 Grafo de Flujo de Control Control-Flow Graph Read(x) Read(y) 1 PROGRAM VAR x,y:real BEGIN Read(x); not( x!= 0 ) 2 x!= 0 Read(y); IF (x!= 0) THEN x = x + 10; y = y / x 4 3 x = x + 10 y = y / 10; Write(x); Write(y); END Write(x) Write(y) 5

52 Criterios de Cubrimiento Criterio de Comandos Read(x) Read(y) 1 2 not( x!= 0 ) x!= 0 3 x = x + 10 y = y / x 4 Write(x) Write(y) 5

53 Criterios de Cubrimiento Criterio de Comandos Read(x) Read(y) 1 Un test T satisface este criterio ssi cada comando (sentencia) ejecutable del programa es ejecutado al 2 menos una vez. Visito todos los nodos. not( x!= 0 ) x!= 0 3 x = x + 10 y = y / x 4 Write(x) Write(y) 5

54 Criterios de Cubrimiento Criterio de Comandos Read(x) Read(y) 1 Un test T satisface este criterio ssi cada comando (sentencia) ejecutable del programa es ejecutado al menos una vez. not( x!= 0 ) 2 x!= 0 El camino [1, 2, 3, 4, 5] visita todos los nodos del grafo. Si pudiese encontrar un par (x, y) (o más pares) tal que al usarlos como inputs se ejecutase dicho camino, entonces podríamos decir que el test T = {(x,y)} satisface el Criterio de Comandos. y = y / x 4 3 x = x + 10 Write(x) Write(y) 5

55 Criterios de Cubrimiento Criterio de Comandos Read(x) Read(y) 1 Un test T satisface este criterio ssi cada comando (sentencia) ejecutable del programa es ejecutado al menos una vez. not( x!= 0 ) 2 x!= 0 El camino [1, 2, 3, 4, 5] visita todos los nodos del grafo. Si pudiese encontrar un par (x, y) (o más pares) tal que al usarlos como inputs se ejecutase dicho camino, entonces podríamos decir que el test T = {(x,y)} satisface el Criterio de Comandos. y = y / x 4 3 x = x + 10 T CC = {(x=20, y=30)} Write(x) Write(y) 5

56 Criterios de Cubrimiento Criterio de Comandos Read(x) Read(y) 1 Un test T satisface este criterio ssi cada comando (sentencia) ejecutable del programa es ejecutado al menos una vez. not( x!= 0 ) 2 x!= 0 El camino [1, 2, 3, 4, 5] visita todos los nodos del grafo. Si pudiese encontrar un par (x, y) (o más pares) tal que al usarlos como inputs se ejecutase dicho camino, entonces podríamos decir que el test T = {(x,y)} satisface el Criterio de Comandos. y = y / x 4 3 x = x + 10 T CC = {(x=20, y=30)} Puedo llegar a necesitar más pares... Write(x) Write(y) 5

57 Criterios de Cubrimiento Criterio de Comandos Read(x) Read(y) 1 Un test T satisface este criterio ssi cada comando (sentencia) ejecutable del programa es ejecutado al menos una vez. not( x!= 0 ) 2 x!= 0 Con T CC = {(x=20, y=30)} cubro todas las líneas ejecutables del programa. Es un buen test? Si el test da bien, me puedo quedar tranquilo de que no hay errores? y = y / x 4 3 x = x + 10 Write(x) Write(y) 5

58 Criterios de Cubrimiento Criterio de Decisiones Read(x) Read(y) 1 Un test T satisface este criterio ssi cada arco del grafo de flujo de control es visitado al menos una vez. 2 Visito todos los arcos. not( x!= 0 ) x!= 0 3 x = x + 10 y = y / x 4 Write(x) Write(y) 5

59 Criterios de Cubrimiento Criterio de Decisiones Read(x) Read(y) 1 Un test T satisface este criterio ssi cada arco del grafo de flujo de control es visitado al menos una vez. 2 El camino [1, 2, 3, 4, 5] no visita todos los arcos del grafo. Por lo que T CC = {(x=20, y=30)} no satisface el Criterio de Decisiones. not( x!= 0 ) y = y / x 4 x!= 0 3 x = x + 10 Write(x) Write(y) 5

60 Criterios de Cubrimiento Criterio de Decisiones Read(x) Read(y) 1 Un test T satisface este criterio ssi cada arco del grafo de flujo de control es visitado al menos una vez. 2 El camino [1, 2, 3, 4, 5] no visita todos los arcos del grafo. Por lo que T CC = {(x=20, y=30)} no satisface el Criterio de Decisiones. El conjunto de caminos ([1, 2, 3, 4, 5], [1, 2, 4, 5]) sí visita todos los arcos. Si puedo encontrar (x 1, y 1 ) y (x 2, y 2 ) que recorren dichos caminos entonces podría decir que T = {(x 1,y 1 ), (x 2,y 2 )} satisface el Criterio de Decisiones. not( x!= 0 ) y = y / x Write(x) Write(y) 4 5 x!= 0 3 x = x + 10

61 Criterios de Cubrimiento Criterio de Decisiones Read(x) Read(y) 1 Un test T satisface este criterio ssi cada arco del grafo de flujo de control es visitado al menos una vez. 2 El conjunto de caminos ([1, 2, 3, 4, 5], [1, 2, 4, 5]) sí visita todos los arcos. Si puedo encontrar (x 1, y 1 ) y (x 2, y 2 ) que recorren dichos caminos entonces podría decir que T = {(x 1,y 1 ), (x 2,y 2 )} satisface el Criterio de Decisiones. not( x!= 0 ) y = y / x 4 x!= 0 3 x = x + 10 T CD = {(x=20, y=30), (x=0, y=30)} Write(x) Write(y) 5

62 Criterios de Cubrimiento Criterio de Condiciones y Decisiones Un test T satisface este criterio ssi cada condición simple (atómica) que aparece en cada decisión del programa es evaluada al menos una vez a TRUE y al menos una vez a FALSE para diferentes datos de test. Una condición es simple (atómica) cuando no presenta operadores lógicos como AND, OR y NOT. Puede tener sí operadores relacionales como >, >=, <, <= e =.

63 Criterios de Cubrimiento Criterio de Condiciones y Decisiones Un test T satisface este criterio ssi cada condición simple (atómica) que aparece en cada decisión del programa es evaluada al menos una vez a TRUE y al menos una vez a FALSE para diferentes datos de test. boolean boolean cond1; cond2; if( cond1 AND cond2 ) THEN { }

64 Criterios de Cubrimiento Criterio de Condiciones y Decisiones Un test T satisface este criterio ssi cada condición simple (atómica) que aparece en cada decisión del programa es evaluada al menos una vez a TRUE y al menos una vez a FALSE para diferentes datos de test. boolean boolean if( cond1 AND cond2 ) THEN { Condiciones Simples cond1; cond2; Condición cond1 cond2 cond1 AND cond2 }

65 Criterios de Cubrimiento Criterio de Condiciones y Decisiones Un test T satisface este criterio ssi cada condición simple (atómica) que aparece en cada decisión del programa es evaluada al menos una vez a TRUE y al menos una vez a FALSE para diferentes datos de test. boolean boolean if( cond1 AND cond2 ) THEN { } Condiciones Simples cond1; cond2; Condición cond1 cond2 cond1 AND cond2 TRUE TRUE TRUE FALSE FALSE FALSE

66 Criterios de Cubrimiento Criterio de Condiciones Múltiples Un test T satisface este criterio ssi cada condición simple (atómica) que aparece en cada decisión del programa es evaluada a TRUE y a FALSE en todas las combinaciones de la tabla de verdad, para diferentes datos de test.

67 Criterios de Cubrimiento Criterio de Condiciones Múltiples Un test T satisface este criterio ssi cada condición simple (atómica) que aparece en cada decisión del programa es evaluada a TRUE y a FALSE en todas las combinaciones de la tabla de verdad, para diferentes datos de test. boolean boolean if( cond1 AND cond2 ) THEN { } Condiciones Simples cond1; cond2; Condición cond1 cond2 cond1 AND cond2 TRUE TRUE TRUE FALSE FALSE FALSE TRUE FALSE FALSE FALSE TRUE FALSE

68 Criterios de Cubrimiento PROGRAM VAR x,y:real BEGIN Read(x); Read(y); IF (x == 0 OR y > 0 ) THEN y = y / x; ELSE x = y + 2 / x; Write(x); Write(y); END

69 Criterios de Cubrimiento PROGRAM VAR x,y:real Read(x) Read(y) 1 BEGIN Read(x); 2 Read(y); IF (x == 0 OR y > 0 ) x == 0 OR y > 0 x!= 0 AND y <= 0 THEN y = y / x; y = y / x 3 4 x = y + 2 / x ELSE x = y + 2 / x; Write(x); Write(y); Write(x) Write(y) 5 END

70 Criterios de Cubrimiento Criterio de Condiciones y Decisiones x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) 1 2 x == 0 OR y > 0 x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x Write(x) Write(y) 5

71 Criterios de Cubrimiento Criterio de Condiciones y Decisiones x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) 1 2 x == 0 OR y > 0 x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x Write(x) Write(y) 5

72 Criterios de Cubrimiento Criterio de Condiciones y Decisiones x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) 1 TRUE FALSE TRUE FALSE 2 x == 0 OR y > 0 x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x Write(x) Write(y) 5

73 Criterios de Cubrimiento Criterio de Condiciones y Decisiones x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) TRUE TRUE 1 0 FALSE FALSE x == 0 OR y > 0 2 x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x Write(x) Write(y) 5

74 Criterios de Cubrimiento Criterio de Condiciones y Decisiones x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) TRUE TRUE TRUE 1 0 FALSE FALSE FALSE x == 0 OR y > 0 2 x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x Write(x) Write(y) 5

75 Criterios de Cubrimiento Criterio de Condiciones y Decisiones x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) TRUE TRUE TRUE 1 0 FALSE FALSE FALSE x == 0 OR y > 0 2 x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x T CCD = {(x=1, y=0), (x=0, y=1)} Write(x) Write(y) 5

76 Criterios de Cubrimiento Criterio de Condiciones Múltiples Read(x) Read(y) 1 2 x == 0 OR y > 0 x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x Write(x) Write(y) 5

77 Criterios de Cubrimiento Criterio de Condiciones Múltiples x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) 1 2 x == 0 OR y > 0 x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x Write(x) Write(y) 5

78 Criterios de Cubrimiento Criterio de Condiciones Múltiples x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) 1 TRUE TRUE TRUE FALSE FALSE TRUE 2 FALSE FALSE x == 0 OR y > 0 x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x Write(x) Write(y) 5

79 Criterios de Cubrimiento Criterio de Condiciones Múltiples x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) x == 0 OR y > TRUE TRUE 0 0 TRUE FALSE 1 1 FALSE TRUE 1 0 FALSE FALSE x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x Write(x) Write(y) 5

80 Criterios de Cubrimiento Criterio de Condiciones Múltiples x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) x == 0 OR y > TRUE TRUE TRUE 0 0 TRUE FALSE TRUE 1 1 FALSE TRUE TRUE 1 0 FALSE FALSE FALSE x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x Write(x) Write(y) 5

81 Criterios de Cubrimiento Criterio de Condiciones Múltiples x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) x == 0 OR y > TRUE TRUE TRUE 0 0 TRUE FALSE TRUE 1 1 FALSE TRUE TRUE 1 0 FALSE FALSE FALSE x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x T CCM = {(x=1, y=0), (x=0, y=1), (x=1, y=1), (x=0, y=0)} Write(x) Write(y) 5

82 Criterios de Cubrimiento Criterio de Caminos Un test T satisface este criterio ssi todos los caminos desde el nodo inicial del grafo, al nodo final son atravesados.

83 Criterios de Cubrimiento Criterio de Caminos 1 2 Un test T satisface este criterio ssi todos los caminos desde el nodo inicial del grafo, al nodo final son atravesados

84 Criterios de Cubrimiento Criterio de Caminos 1 2 Un test T satisface este criterio ssi todos los caminos desde el nodo inicial del grafo, al nodo final son atravesados. 3 4 Todos los caminos: [1, 2, 3, 5, 6, 7, 5] [1, 2, 3, 5, 6, 8, 5] 5 6 [1, 2, 4, 5, 6, 7, 5] [1, 2, 4, 5, 6, 8, 5] 7 8 5

85 Criterios de Cubrimiento Criterio de Bucles Los bucles son casos especiales. Se deberían cubrir los siguientes casos, cuando sea posible. Ejecutar 0 veces el bucle, o el mínimo número de veces. Ejecutar el caso máximo posible de veces, si es determinable. Ejecutar un número promedio de veces, si es un valor calculable.

86 Criterios de Cubrimiento, sobre un Grafo de Flujo de Control Criterio de Comandos Criterio de Decisiones Criterio de Condiciones y Decisiones Criterio de Condiciones Múltiples Criterio de Bucles Criterio de Caminos

87 Evaluación y Ejecución Simbólica Symbolic Evaluation and Execution

88 Evaluación y Ejecución Simbólica Symbolic Evaluation and Execution La evaluación simbólica es un análisis; donde análisis se define como una inspección para entender las propiedades y capacidades del objeto en cuestión

89 Evaluación y Ejecución Simbólica Symbolic Evaluation and Execution Tomemos el siguiente código read(a); read(b); x=a+b; write(x)

90 Evaluación y Ejecución Simbólica Symbolic Evaluation and Execution Tomemos el siguiente código read(a); read(b); x=a+b; write(x) La ventaja del razonamiento sobre el cálculo computacional es que el primero es más general.

91 Evaluación y Ejecución Simbólica Symbolic Evaluation and Execution Tomemos el siguiente código read(a); read(b); x=a+1; y = x*b write(y)

92 Evaluación y Ejecución Simbólica Symbolic Evaluation and Execution Tomemos el siguiente código read(a); read(b); x=a+1; y = x*b write(y) El resultado siempre es (a + 1) *b.

93 Evaluación y Ejecución Simbólica Symbolic Evaluation and Execution Tomemos el siguiente código read(a); read(b); x=a+1; y = x+b+2 write(y) El resultado siempre es (a + b +3).

94 Evaluación y Ejecución Simbólica Symbolic Evaluation and Execution El razonamiento, al ser más general, me permite evaluar propiedades que el cálculo computación no lo permite.

95 Evaluación y Ejecución Simbólica Symbolic Evaluation and Execution Tomemos el siguiente código precondición: {true} read(a); x=a*a; x=x+1 write(x) postcondición: {output > 0}

96 Evaluación y Ejecución Simbólica Symbolic Evaluation and Execution Tomemos el siguiente código precondición: {true} read(a); x=a*a; x=x+1 write(x) postcondición: {output > 0} El análisis permite determinar que el resultado siempre es (a 2 + 1)

97 RESUMEN

98 RESUMEN Testing Dinámico Dynamic Testing El Testing Dinámico se puede dividir en cuatro categorías, con varias zonas grises en el medio. Caja Negra Caja Blanca Basado en Experiencia También llamada Basada en Especificación. El testing se hace en base al comportamiento del sistema, sin tomar en cuenta los detalles de implementación para generar los casos de test. Basado en Defectos Análisis Dinámico

99 RESUMEN Testing Dinámico Dynamic Testing El Testing Dinámico se puede dividir en cuatro categorías, con varias zonas grises en el medio. Caja Negra Caja Blanca Los casos de test se diseñan en base a cómo el sistema fue construido. El código es una documentación fundamental para este tipo de test. Basado en Experiencia Basado en Defectos Análisis Dinámico

100 RESUMEN Testing del Flujo de Control Control-Flow Testing Para este tipo de testing vamos a usar como modelo un grafo de control. Como criterio de cubrimiento vamos a tener múltiples opciones. Ejecutar todo el código parecería ser el mejor cubrimiento, pero...

101 RESUMEN Criterios de Cubrimiento Criterio de Comandos Criterio de Decisiones Criterio de Condiciones y Decisiones Criterio de Condiciones Múltiples Criterio de Bucles Criterio de Caminos

102 RESUMEN Grafo de Flujo de Control Control-Flow Graph El Grafo de Flujo de Control es el modelo/representación que nos va a facilitar realizar/evaluar los diferentes cubrimiento.

103 RESUMEN Grafo de Flujo de Control Control-Flow Graph Read(x) Read(y) 1 PROGRAM VAR x,y:real BEGIN Read(x); not( x!= 0 ) 2 x!= 0 Read(y); IF (x!= 0) THEN x = x + 10; y = y / x 4 3 x = x + 10 y = y / 10; Write(x); Write(y); END Write(x) Write(y) 5

104 RESUMEN Criterios de Cubrimiento Criterio de Decisiones Read(x) Read(y) 1 Un test T satisface este criterio ssi cada arco del grafo de flujo de control es visitado al menos una vez. 2 El camino [1, 2, 3, 4, 5] no visita todos los arcos del grafo. Por lo que T CC = {(x=20, y=30)} no satisface el Criterio de Decisiones. El conjunto de caminos ([1, 2, 3, 4, 5], [1, 2, 4, 5]) sí visita todos los arcos. Si puedo encontrar (x 1, y 1 ) y (x 2, y 2 ) que recorren dichos caminos entonces podría decir que T = {(x 1,y 1 ), (x 2,y 2 )} satisface el Criterio de Decisiones. not( x!= 0 ) y = y / x Write(x) Write(y) 4 5 x!= 0 3 x = x + 10

105 RESUMEN Criterios de Cubrimiento Criterio de Condiciones Múltiples x y x == 0 y > 0 x == 0 OR y > 0 Read(x) Read(y) x == 0 OR y > TRUE TRUE TRUE 0 0 TRUE FALSE TRUE 1 1 FALSE TRUE TRUE 1 0 FALSE FALSE FALSE x!= 0 AND y <= 0 y = y / x 3 4 x = y + 2 / x T CCM = {(x=1, y=0), (x=0, y=1), (x=1, y=1), (x=0, y=0)} Write(x) Write(y) 5

106 RESUMEN Evaluación y Ejecución Simbólica Symbolic Evaluation and Execution Tomemos el siguiente código read(a); read(b); x=a+b; write(x) La ventaja del razonamiento sobre el cálculo computacional es que el primero es más general.

107 Verificación y Validación de Ingeniería en Sistemas de Información Departamento de Ciencias e Ingeniería de la Computación 2015

108 Criterios de Cubrimiento Criterio de Comandos