JISBD 2009: Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL

Abstract

La realización de pruebas de caja blanca de composiciones de servicios web con el estándar OASIS WS-BPEL 2.0 presenta un reto para las técnicas clásicas de prueba de software, debido a la inclusión de instrucciones específicas para manejar concurrencia, compensación de fallos, etc. Takuan es una herramienta que hemos desarrollado para la generación automática de invariantes de composiciones WS-BPEL a partir de trazas de ejecución reales. En este artículo presentamos sus posibilidades.

BibTeX entry

@inproceedings{DBLP:conf/jisbd/Palomo-DuarteGAM09,
  author    = {Manuel {Palomo-Duarte} and
               Antonio Garc\'{\i}a and
               Alejandro {\'A}lvarez and
               Inmaculada {Medina-Bulo}},
  title     = {Takuan: generaci{\'o}n din{\'a}mica de invariantes
               en composiciones de servicios web con WS-BPEL},
  booktitle = {JISBD},
  year      = {2009},
  pages     = {367-370},
  crossref  = {DBLP:conf/jisbd/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/jisbd/2009,
  editor    = {Antonio Vallecillo and
               Goiuria Sagardui},
  title     = {XIV Jornadas de Ingenier\'{\i}a del Software y Bases de
               Datos (JISBD 2009), San Sebasti{\'a}n, Spain, September
               8-11, 2009},
  booktitle = {JISBD},
  year      = {2009},
  isbn      = {978-84-692-4211-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

jisbd.pdf (173 KB) Manuel Palomo Duarte, 04/24/2014 09:58 PM