Jornadas Predoctorales ESI: Metodología para la prueba de caja blanca en WS-BPEL basada en mutaciones y generación dinámica de invariantes

Abstract

La generación dinámica de invariantes es una técnica de prueba de caja blanca de software utilizada con éxito en lenguajes estructurados y orientados a objetos. WS-BPEL es el lenguaje estandarizado por OASIS para la composición de servicios web. Takuan es una herramienta que hemos desarrollado en un trabajo previo y que permite generar dinámicamente invariantes de composiciones de servicios web en WS-BPEL. En este artículo presentamos una metodología basada en mutaciones de las especificaciones de la composición para usar los invariantes generados por Takuan en la prueba de caja blanca de composiciones WS-BPEL.

BibTeX entry

@InProceedings{PREDOC2009,
  author    = {Manuel {Palomo-Duarte} and Inmaculada {Medina-Bulo}},
  title     = {Metodología para la prueba de caja blanca en {WS-BPEL} basada en mutaciones y generación dinámica de invariantes},
  booktitle = {Actas de las {I} Jornadas Predoctorales de la Escuela Superior de Ingeniería de la UCA},
  editor    = {Arturo {Morgado Est{\'e}vez}, Inmaculada {Medina-Bulo}, Juan-Jos{\'e} {Dom{\'i}nguez-Jim{\'e}nez}},
  year      = 2009,
  address   = {Cádiz, Spain},
  month     = dec,
  isbn      = {978-84-608-0980-7},
  publisher = {Escuela Superior de Ingeniería de Cádiz de la Universidad de Cádiz},
  pages     = {97-100},
}

MANUEL_PALOMO.pdf (93.9 KB) Manuel Palomo Duarte, 12/04/2009 11:15 PM