Selección de Datos de Prueba de Software Usando Información de Flujo de Datos

Este artículo define una familia de criterios de selección de datos de prueba de programas derivados de técnicas de análisis de flujo de datos similares a las utilizadas en la optimización de compiladores. Se argumenta que los criterios de selección de rutas utilizados actualmente, que solo examinan el flujo de control de un programa, son inadecuados. Nuestro procedimiento asocia con cada punto en un programa en el que se define una variable, aquellos puntos en los que se utiliza el valor. Se definen y comparan varios criterios de selección de datos de prueba, que difieren en el tipo y número de estas asociaciones.