Generación automática de objetivos de prueba a partir de casos de uso mediante partición de categorías y variables operacionales

Abstract

Este trabajo complementa y amplia nuestros trabajos anteriores sobre generación de pruebas a partir de casos de uso presentando un proceso que, de manera sistemática y automática, permite generar objetivos de prueba a partir de casos de uso especificados en un lenguaje no formal. Este proceso aplica el método de categoría-partición y el patrón Use Case Test Pattern, el cual usa variables operacionales. Además se presenta los algoritmos necesarios para la automatización del proceso propuesto, acompañados de un caso práctico.