Flujo de Datos

Representacin abstracta de una secuencia de posibles cambios de estado de

los datos.

Permite:

Observar como los datos son accedidos y modificados por el cdigo.

Identificar referencias indefinidas y variables nunca usadas.

Qu son las pruebas de flujo de datos?

Familia de estrategias basada en seleccionar caminos a travs del flujo de

control del programa para explorar secuencias de eventos relacionados con el
estado de los objetos de datos.

Pruebas de caja blanca

Para qu sirven las pruebas de control de flujo?

Elegir la suficiente cantidad de rutas para asegurar que:

Todas las variables son inicializadas antes de usarse.

Todas las variables van a ser usadas al menos una vez.

Se abarquen las rutas a travs de las cuales las variables son definidas y
usadas.

Anomalas en el flujo de datos

Patrones de uso de datos que pueden llevar a un error.

Normalmente son analizados en pares.

Patrn: Secuencia de estados para una variable.

Anomalas en el Flujo de Datos

Notacin

U - Indefinida

D - Definida pero no referenciada

R - Definida y referenciada

d definida

Est declarada o inicializada.

Est asignada a un nuevo valor.
Es recibida como parmetro.
u usada

Su valor es extrado (definicin).

Aparece sobre una asignacin (c-use).
Aparece sobre un predicado - sentencia condicional - (p-
use).

k destruida

Es liberada (implcita o explcitamente).

Es destruida al final de un mbito (scope).
Est indefinida.

~ - no existe la variable (r)

Cmo hacer una prueba de control de flujo ?

Escribir el diagrama de flujo de datos del programa a probar.

Definir los criterios de pruebas (anomalas que se intentan buscar).

Identificar rutas dentro del diagrama de flujo que satisfagan los criterios.
Para cada ruta seleccionada, buscar los posibles valores de entrada para las
variables que estn en los vrtices de la ruta.

Aplicar las pruebas y verificar los estados de las variables

Cmo construir el diagrama de flujo de datos?

La secuencia de definiciones y c-uses construyen los vrtices del grafo.

Un p-use es asociado a una o varias aristas.

El nodo de entrada tiene una definicin por cada parmetro y por cada variable
no local usada en el programa.

El nodo de salida tiene una indefinicin de cada variable local.

Tipos de ruta posibles

Ruta Simple

Todos los nodos son distintos, excepto el primero y el ltimo.

Ruta libre de ciclos

Todos los nodos son distintos.

Ruta Completa

Inicia en el nodo de entrada y termina en el nodo de salida.

Du-path

Se considera du-path si:

El nodo final tiene un c-use que usa la misma variable del nodo inicial.

La arista final tiene un p-use con la misma variable del nodo inicial.

Definition-Clear

Si dentro de la ruta la variable en cuestin no se redefine.