Generación de casos de prueba para composiciones de servicios web especificadas en bpel

Taller sobre Pruebas en Ingeniería del Software PRIS 2006

GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL
José García-Fanjul, Javier Tuya y Claudio de la Riva
Departamento de Informática Universidad de Oviedo Campus de Viesques, S/N. 33204 – Gijón (España) e-mail: {jgfanjul,tuya,claudio}@uniovi.es

Palabras clave: composiciones de servicios web,comprobación de modelos, pruebas basadas en modelos, pruebas del software Resumen. La prueba de software basado en servicios web resulta especialmente compleja, dada su naturaleza distribuida y su comportamiento asíncrono. Sin embargo, la investigación en este campo es, aún, escasa. En este artículo, se propone un enfoque nuevo para la prueba de composiciones de servicios web especificadas en ellenguaje estándar BPEL. En concreto, se utilizará un comprobador de modelos para generar automáticamente casos de prueba para estas composiciones. También se propondrá la utilización de criterios de suficiencia con el objetivo de seleccionar, sistemáticamente, los casos de prueba. Se describen, asimismo, resultados preliminares que se han obtenido aplicando un criterio de cobertura de transiciones.1. INTRODUCCIÓN Los servicios web están pasando a ser la elección natural para implementar software distribuido. La definición de interfaces a través de datos en XML hace que la composición de servicios web permita la implementación de procesos de negocio interoperables. Ésta es una de las causas principales de que la inversión en este tipo de software, a nivel mundial, se haya incrementadodrásticamente en los últimos años. En concreto, según los estudios realizados por la consultora IDC [1], dicha inversión se ha duplicado del año 2003 al 2004, alcanzando la cifra de 2,3 miles de millones de dólares. Para el año 2009 se prevé que la cantidad invertida sea de 15 miles de millones de dólares. Esta buena aceptación por parte de la industria se ha traducido en el desarrollo de lenguajesestándar para la especificación de composiciones de servicios web, como BPEL [2]. Por otro lado, las investigaciones han empezado a centrarse en el modo de probar este tipo de software. Debe determinarse en qué medida los procesos de prueba válidos para otro tipo de software pueden ser aplicados a servicios web, y qué investigaciones específicas para este

José García-Fanjul, Javier Tuya y Claudio dela Riva

tipo de sistemas deben ser realizadas. Canfora y Di Penta [3] y Zhang y Zhang [4] han identificado varias peculiaridades de los servicios web que influyen en la forma en que debe probarse este tipo de software. Algunas de ellas son las siguientes: 1. Las pruebas sobre servicios web deben ejecutarse remotamente, por lo que debe asumirse un sobrecoste asociado al mantenimiento de lapropia conexión y a condiciones impredecibles como el tráfico y la seguridad. 2. El diseño de los casos de prueba debe poder abordarse a partir de la información limitada que, habitualmente, está disponible sobre el comportamiento de un servicio web. En concreto, es muy frecuente que sólo se disponga de datos sobre el interfaz de dicho software. Teniendo en cuenta dichas peculiaridades, en esteartículo se propone un nuevo enfoque para la generación de casos de prueba para composiciones de servicios web. El trabajo relacionado se revisará en la Sección 2. Después, en la Sección 3, se especificará nuestra propuesta. Para finalizar, se resumen las principales contribuciones en la Sección 4. 2. TRABAJO RELACIONADO La investigación sobre procesos de verificación y validación aplicados sobrecomposiciones de servicios web puede clasificarse en dos categorías: trabajos que describen enfoques basados en el uso de técnicas de verificación formal y otros que utilizan técnicas preexistentes de pruebas. La mayor parte de la investigación en este campo se ha dirigido al empleo de técnicas de verificación formal. Su objetivo es decidir si la composición que se estudia cumple con ciertas...