Refinamiento a JAVA de casos de prueba abstractos

El testing funcional basado en especificaciones es el proceso de testear en forma estructurada un software a partir de su especificacin. Este proceso comnmente se divide en varias fases, las cuales pueden ser automatizadas casi en su totalidad. Una fase crtica, es la de ejecutar los casos de prueba abstractos generados en fases anteriores en el proceso de testing. Para esto, antes es necesario refinar los casos de prueba abstractos escritos en el lenguaje de especificacin a casos de pruebas concretos escritos en el lenguaje en el que el sistema fue implementado. Una de las tcnicas ms utilizadas para esta tarea es la de concretizacin. En este trabajo se desarrolla TCRL v2.0, un lenguaje que permite reducir la brecha semntica de los casos de prueba abstractos escritos en un lenguaje de especificacin (por ejemplo Z) a casos de prueba concretos escritos en algn lenguaje de implementacin (por ejemplo JAVA o C). Adems, se desarrolla el parser y el intrprete para TCRL v2.0 y un prototipo de un sistema de refinamiento de casos de pruebas abstractos escritos en el lenguaje de especificacin Z a casos de pruebas concretos para el lenguaje de programacin JAVA.