PRIS 2009: La cobertura de los casos de prueba en la generación dinámica de invariantes en composiciones WS-BPEL

Abstract

El lenguaje estándar OASIS WS-BPEL 2.0 permite programar servicios web a gran escala componiendo otros más simples. En trabajos anteriores hemos demostrado la viabilidad de la generación de invariantes potenciales (una técnica dinámica usada con éxito en lenguajes de programación clásicos) para composiciones de servicios web con WS-BPEL. Para ello construimos Takuan, un sistema que genera invariantes a partir de información recopilada al ejecutar una composición WS-BPEL en un motor real bajo un determinado conjunto de casos de prueba. Por lo tanto, la calidad y utilidad de los invariantes está condicionada por las características de dichos casos de prueba. En este artículo analizamos la relación entre la cobertura ofrecida por varios conjuntos de casos de prueba y los invariantes obtenidos.

BibTeX entry

@InProceedings{PRIS2009,
  author    = {Manuel {Palomo-Duarte} and Alejandro {{\'A}lvarez-Ayll{\'o}n} and Antonio {Garc\'\i{}a-Dom\'\i{}nguez} and Inmaculada {Medina-Bulo}},
  title     = {La cobertura de los casos de prueba en la generación dinámica de invariantes en composiciones {WS-BPEL}},
  booktitle = {Actas de Talleres de Ingeniería del Software y Bases de Datos},
  year      = 2009,
  address   = {San Sebastián, Spain},
  month     = sep,
  publisher = {SISTEDES},
  pages     = {1-7},
}

pris-09-palomo-cobertura.pdf (134 KB) Manuel Palomo Duarte, 04/24/2014 09:54 PM