JSWEB 2009: Los casos de prueba en la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL

Abstract

Los lenguajes para la composición de servicios web, como el estándar OASIS WS-BPEL 2.0, abren la posibilidad de programar servicios web a gran escala, facilitando su desarrollo. Es por lo tanto de especial importancia disponer de técnicas para probar dichas composiciones. En trabajos anteriores hemos demostrado la viabilidad de la generación dinámica de invariantes (una técnica usada con éxito en la prueba de lenguajes de programación clásicos) para composiciones de servicios web con WS-BPEL. Estos invariantes se generan a partir de información recopilada durante la ejecución de la composición en un motor real bajo un determinado conjunto de casos de prueba. Por ello, la calidad y utilidad de los invariantes está condicionada por el conjunto de casos de prueba usado para obtenerlos. En este artículo analizamos la evolución de los invariantes de dos composiciones a medida que el conjunto de casos de prueba usado para inferirlos crece.

BibTeX entry

@InProceedings{JSWEB2009,
  author    = {Alejandro {{\'A}lvarez-Ayll{\'o}n} and Antonio {Garc\'\i{}a-Dom\'\i{}nguez} and Manuel {Palomo-Duarte} and Inmaculada {Medina-Bulo}},
  title     = {Los casos de prueba en la generación dinámica de invariantes en composiciones de servicios web con {WS-BPEL}},
  booktitle = {Actas de las {V} Jornadas Científico-Técnicas en Servicios Web y {SOA}},
  editor    = {C{\'e}sar J. Acu{\~n}a and Valeria de Castro and A. Ruiz-Cort{\'e}s and D. Pascual},
  year      = 2009,
  address   = {Madrid, Spain},
  month     = sep,
  isbn      = {987-84-692-6832-2},
  publisher = {SISTEDES},
  pages     = {139-152},
}

takuan.pdf (94.1 KB) Manuel Palomo Duarte, 04/24/2014 09:56 PM