Modelos y algoritmos para la generación de objetivos de prueba

Description

Una tarea vital en el desarrollo del software es probar la correcta implementación de los requisitos funcionales. Los casos de uso se utilizan con mucha frecuencia para definir la funcionalidad de un sistema software en las etapas tempranas de su desarrollo. Este trabajo expone la falta de automatización en las propuestas existentes para la generación de casos de prueba y presenta una nueva propuesta para obtener de manera sistemática objetivos de prueba a partir de los casos de uso del propio sistema.

Additional details