{"product_id":"refinamiento-a-java-de-casos-de-prueba-abstractos-von-pablo-damian-coca","title":"Refinamiento a JAVA de casos de prueba abstractos","description":"\u003cp\u003eEl 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783659026881\"\u003e\u003ch3\u003eGenerados por Fastest, un sistema de testing automatizado\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783659026881","offer_id":39467170201693,"sku":"9783659026881","price":55.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/4ced0da7-1af6-4a3a-94ad-c6363c813dd4.jpg?v=1773120787","url":"https:\/\/shop.autorenwelt.de\/products\/refinamiento-a-java-de-casos-de-prueba-abstractos-von-pablo-damian-coca","provider":"Autorenwelt Shop","version":"1.0","type":"link"}