PUERTA | PUERTA CS 2010 | Pregunta 44

El siguiente programa se probará para la cobertura de sentencias:

begin
  if (a== b) {S1; exit;}
  else if (c== d) {S2;]
       else {S3; exit;}
  S4;
end 

Los casos de prueba T1, T2, T3 y T4 que se dan a continuación se expresan en términos de las propiedades satisfechas por los valores de las variables a, b, c y d. No se dan los valores exactos.

T1 : a, b, c y d son todos iguales
T2 : a, b, c y d son todos distintos
T3 : a = b y c != d
T4 : a != b y c = d
¿Cuál de los conjuntos de pruebas dados a continuación asegura la cobertura de las declaraciones S1, S2, S3 y S4?
(A) T1, T2, T3
(B) T2, T4
(C) T3, T4
(D) T1, T2, T4

Respuesta: (D)
Explicación:

T1 checks S1 

T2 checks S3

T4 checks S2 and S4

Cuestionario de esta pregunta