Refinamiento a JAVA de casos de prueba abstractos » książka
Refinamiento a JAVA de casos de prueba abstractos
ISBN-13: 9783659026881 / Hiszpański / Miękka / 2014 / 156 str.
El testing funcional basado en especificaciones es el proceso de testear en forma estructurada un software a partir de su especificacion. Este proceso comunmente se divide en varias fases, las cuales pueden ser automatizadas casi en su totalidad. Una fase critica, 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 especificacion a casos de pruebas concretos escritos en el lenguaje en el que el sistema fue implementado. Una de las tecnicas mas utilizadas para esta tarea es la de concretizacion. En este trabajo se desarrolla TCRL v2.0, un lenguaje que permite reducir la brecha semantica de los casos de prueba abstractos escritos en un lenguaje de especificacion (por ejemplo Z) a casos de prueba concretos escritos en algun lenguaje de implementacion (por ejemplo JAVA o C). Ademas, se desarrolla el parser y el interprete para TCRL v2.0 y un prototipo de un sistema de refinamiento de casos de pruebas abstractos escritos en el lenguaje de especificacion Z a casos de pruebas concretos para el lenguaje de programacion JAVA."
El testing funcional basado en especificaciones es el proceso de testear en forma estructurada un software a partir de su especificación. Este proceso comúnmente se divide en varias fases, las cuales pueden ser automatizadas casi en su totalidad. Una fase crítica, 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 especificación a casos de pruebas concretos escritos en el lenguaje en el que el sistema fue implementado. Una de las técnicas más utilizadas para esta tarea es la de concretización. En este trabajo se desarrolla TCRL v2.0, un lenguaje que permite reducir la brecha semántica de los casos de prueba abstractos escritos en un lenguaje de especificación (por ejemplo Z) a casos de prueba concretos escritos en algún lenguaje de implementación (por ejemplo JAVA o C). Además, se desarrolla el parser y el intérprete para TCRL v2.0 y un prototipo de un sistema de refinamiento de casos de pruebas abstractos escritos en el lenguaje de especificación Z a casos de pruebas concretos para el lenguaje de programación JAVA.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
