Verificación y Validación de Software EJ18 2

Verificación y Validación de Software CFG M.C Said Zamora

Optimización del código. •

Mejora el tiempo de ejecución.

•

Reduce el tamaño del programa.

•

Debe proveer los mismos resultados que el código original.

Eliminación de código muerto •

(1) x = y + 1;

•

(2) (2) y = 2 * z;

•

(3) (3) x=y+ x=y+z; z;

•

(4) (4) z = 1;

•

(5) z = x;

Variable terminal •

x = y + 1;

•

y = 2 * z;

•

if (t) x = y+z;

•

5z = 1;

•

z = x;

Flujo de control •

Información requerida: •

Variables Variables terminales

•

Información no es explicita

•

Se computa estadísticamente

•

Se caracterizan las ejecuciones dinámicas

•

Considerar ramas tomadas en el flujo de control

Grafica de Flujo de Control •

Representa gráficamente gráficamente el flujo de información en el programa.

•

Utiliza nodos como nodos básicos bás icos de programación.

•

Utiliza aristas de conexión.

Actividad •

Identificar:

•

Nodos

•

Aristas

•

Rutas

•

Rutas terminales.

•

Entradas y salidas de cada nodo

Realizar el CFG •

while (c) { x=y+1; y = 2 * z; if (d) (d) x = y+z; y+z; z = 1; } z = x;

Verificación y Validación de Software CFG M.C Said Zamora