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

Este trabajo complementa y amplia nuestros trabajos anteriores sobre generacion de pruebas a partir de casos de uso presentando un proceso que, de manera sistematica y automatica, permite generar objetivos de prueba a partir de casos de uso especificados en un lenguaje no formal. Este proceso aplica el metodo de categoria-particion y el patron Use Case Test Pattern, el cual usa variables operacionales. Ademas se presenta los algoritmos necesarios para la automatizacion del proceso propuesto, acompanados de un caso practico.