Navegación

Búsqueda

Búsqueda avanzada

Resultados de búsqueda para WS-BPEL

MRG4BPEL: herramienta para generar relaciones metamórficas candidatas en composiciones WS-BPEL

En el contexto de la prueba de software, existen diversas técnicas que permiten probar las composiciones de servicios web. Una de ellas, que va adquiriendo importancia y visibilidad en este campo es la Prueba Metamórfica (PM).Dentro los aspectos que esta técnica requiere considerar, está la obtención y generación de Relaciones Metamórficas (RM), parte esencial y la más compleja de automatizar. En este trabajo se abordan las mejoras tanto en la arquitectura inicialmente propuesta (que representa un framework para probar composiciones de servicios web en el lenguaje WS-BPEL), como en los módulos que la componen. Es decir, se describen los avances en la herramienta de análisis (Analyzer4BPEL) y se presenta una nueva aplicación para generar RM candidatas, MRG4BPEL. Se muestra un caso de uso, donde, a partir de una composición, se obtienen y aplican RM utilizando estas herramientas, así como las conclusiones obtenidas.

Autores: M.Carmen De Castro-Cabrera / Kevin J. Valle-Gómez / Inmaculada Medina-Bulo / Pablo Tena-Sánchez / 
Palabras Clave: casos de prueba siguientes - prueba metamórfica - relaciones metamórficas - WS-BPEL

Analyzer4BPEL: Una herramienta de análisis de composiciones WS-BPEL para su aplicación en la etapa de prueba del software

Toda herramienta de prueba de software requiere en algún momento de su proceso realizar un análisis, o bien como primer paso, para extraer la información necesaria para aplicar una determinada técnica, o bien, una vez procesado el software para estudiar los resultados y evaluarlos. Existen en la actualidad herramientas capaces de analizar la mayoría de los lenguajes de programación. Sin embargo, no abundan los analizadores de lenguajes para composiciones de servicios. En este trabajo se presenta una aplicación que realiza un análisis de composiciones en lenguaje WS-BPEL y de sus casos de prueba para extraer información útil para diversos objetivos. Así mismo, se describe su utilización particular, en una de las etapas de la aplicación de una técnica de prueba de software: la prueba metamórfica.

Autores: Kevin J. Valle-Gómez / M. Carmen de Castro-Cabrera / Inmaculada Medina-Bulo / 
Palabras Clave: análisis - BPTS - casos de prueba - prueba del software - prueba metamórfica - relaciones metamórfircas - servicios web - WS-BPEL

Automatización de la etapa de análisis para la aplicación de la técnica de prueba metamórfica a composiciones de servicios WS-BPEL

La importancia de los servicios web en el mundo actual está en auge, y el impacto social que están teniendo gracias a las nuevas tecnologías desarrolladas, hace necesario el diseño de mejores técnicas de prueba para el software específico de composición de estos servicios web. Una de las técnicas propuestas para las composiciones WS-BPEL es la técnica de prueba metamórfica. En trabajos anteriores se ha presentado una arquitectura para su aplicación y se han aportado algunas ideas para la automatización de la etapa inicial de la misma, que se corresponde con el análisis y obtención de propiedades, pero no se llegaron a desarrollar ni implementar. En este trabajo se presenta el diseño de una solución para automatizar ciertos aspectos de la etapa de análisis y obtención de propiedades, la cual ha sido probada en diferentes casos de prueba obteniéndose buenos resultados.

Autores: M Carmen de Castro-Cabrera / Kevin J Valle-Gómez / Inmaculada Medina-Bulo / 
Palabras Clave: análisis - composiciones de servicios web - pruebas metamórficas - relaciones metamórficas - solución - WS-BPEL

Operadores de Mutacíon de Cobertura para WS-BPEL 2.0

Dada la importancia que en los últimos años están cobrando los servicios web en el ámbito de los procesos de negocio, es imprescindible contar con un soporte de casos de prueba lo suficientemente amplio como para detectar fallos y hacer que se apliquen criterios de cobertura sobre estos servicios. En este contexto está enmarcada la prueba de mutaciones, una técnica de prueba basada en fallos que requiere la definicíon de un conjunto de operadores de mutacíon para realizar cambios sintácticos en el programa que se desea probar. En este trabajo se define e implementa, por primera vez, un conjunto de operadores de mutacíon de cobertura para WS-BPEL 2.0, que aplican los criterios de cobertura definidos dentro del contexto de las pruebas de caja blanca. Además se muestran los resultados experimentales obtenidos al aplicar dichos operadores a varias composiciones WS-BPEL, viendo la aportacíon de éstos en el proceso de prueba.

Autores: Antonia Estero Botaro / Juan Boubeta Puig / Valentín Liñeiro Barea / Inmaculada Medina Bulo / 
Palabras Clave: criterios de cobertura - operadores de mutación - prueba de mutaciones - servicios web - WS-BPEL

Aplicación de la técnica de pruebas metamórficas a una composicíon de servicios: Metasearch

Debido a que las técnicas de prueba tradicionales no están adaptadas a las características peculiares de los servicios web, se hace necesario el diseño de nuevas técnicas que ayuden en este ámbito. En un trabajo previo se propuso las pruebas metamórficas como una técnica válida para aplicar a composiciones de servicios web en WS-BPEL. En este trabajo se aplica la arquitectura propuesta allí a la composicíon de servicios Metasearch, que por su complejidad requiere un análisis detallado. Se incluye el estudio y especificacíon de las relaciones metamórficas para esta composicíon. Así mismo, se añade una comparativa de otras composiciones estudiadas que muestra resultados prometedores.

Autores: Ma del Carmen de Castro Cabrera / Azahara Camacho Magriñán / Inmaculada Medina Bulo / 
Palabras Clave: pruebas metamórficas - servicios web - WS-BPEL

Generación automática de casos de prueba mediante siembra automática para WS-BPEL 2.0

Dada la importancia que en los últimos años están cobrando los servicios web en el ámbito de los procesos de negocio, es imprescindible contar con un soporte de casos de prueba lo suficientemente amplio como para detectar fallos en estos servicios. La automatizacíon de la generación de casos de prueba es importante en este contexto, ya que va a permitir reducir el coste asociado a las tareas de prueba. En este trabajo se aplica por primera vez a composiciones WS-BPEL 2.0 la siembra automática, que combina la generación aleatoria de casos de prueba con información adicional de las constantes del programa. Además, se define una optimizacíon de esta técnica para evitar la generación de conjuntos grandes de casos de prueba.

Autores: Valentín Liñeiro Barea / Antonia Estero Botaro / Antonio García Domínguez / Inmaculada Medina Bulo / 
Palabras Clave: generación automática de casos de prueba - servicios web - siembra automática - WS-BPEL

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada