Sobre la Prueba de Elementos Requeridos

En este artículo introducimos dos clases de estrategias de prueba de programas que consisten en especificar un conjunto de elementos requeridos para el programa y luego cubrir esos elementos con entradas de prueba apropiadas. En general, un elemento requerido tiene un componente estructural y un componente funcional y está cubierto por un caso de prueba si el caso de prueba provoca que las características especificadas en el componente estructural se ejecuten bajo las condiciones especificadas en el componente funcional. Se utiliza el análisis de flujo de datos para especificar el componente estructural y las interacciones de flujo de datos se utilizan como base para desarrollar el componente funcional. Las estrategias se ilustran con ejemplos y se presentan algunas evaluaciones experimentales de su efectividad.