RT doctoral thesis
T1 Aplicación de la prueba de mutaciones a composiciones de servicios web en WS-BPEL para la generación de casos de prueba de calidad
A1 Estero Botaro, Antonia
A2 Ingeniería Informática
K1 Prueba de software
K1 Prueba de mutaciones
K1 WS-BPEL
K1 Algoritmos genéticos
K1 Generación casos de prueba
AB La prueba de mutaciones ha sido objeto de múltiples trabajos deinvestigación durante los últimos 30 años; sin embargo, aún hoy díasigue presentando algunos problemas que no están resueltos, como ladeterminación de los programas semánticamente equivalentes, el costecomputacional implicado en la generación y ejecución del gran númerode mutantes producidos frente a los casos de prueba, la generación decasos de prueba, etc.Durante estas tres décadas se han propuesto técnicas para intentarvencer estos problemas. Esta tesis aborda el problema de la generaciónautomática de los casos de prueba, empleando para ello una técnicaevolutiva. Los algoritmos genéticos han sido ampliamente utilizados enla generación de casos de prueba empleándose principalmente uncriterio estructural, pero también han sido aplicados a los sistemasde mutaciones. A estos últimos también se han aplicado variantes delos algoritmos genéticos conocidas como algoritmos bacteriológicos yalgoritmos inmunológicos. El enfoque que se propone en esta tesis estábasado en un algoritmo genético que adopta algunas de lascaracterísticas de los algoritmos bacteriológicos.Como objeto de esta investigación se han escogido las composiciones deservicios web en el lenguaje WS-BPEL~2.0. Las arquitecturas orientadasa servicios, los servicios web y el lenguaje WS-BPEL permitenautomatizar los procesos de negocio; además, el impactoeconómico de las composiciones de servicios web en WS-BPEL ha crecidode forma considerable en los últimos años, por lo que se consideraimprescindible profundizar en la prueba de este tipo de aplicaciones.Todas las razones anteriores nos han llevado a aplicar la prueba demutaciones, una técnica que ha sido previamente aplicada a multitud delenguajes, al lenguaje WS-BPEL y a definir una técnica de generaciónde casos de prueba que tengan como objetivo matar a los mutantesproducidos para una composición WS-BPEL. Dado que la prueba de mutaciones no había sido aplicada anteriormentea este lenguaje, esta tesis afronta el proceso completo de aplicaciónde esta técnica a un lenguaje: definición de los operadores demutación, desarrollo de una herramienta de generación y ejecuciónautomática de los mutantes, evaluación y mejora de los operadoresdefinidos y, por último, definición de la técnica de generación decasos de prueba y desarrollo de un generador de casos de prueba quenos permita aplicarla a las composiciones WS-BPEL. Para la evaluaciónde los operadores de mutación se han propuesto unas métricas decalidad que nos pueden permitir, además, definir una técnica dereducción del coste computacional de la prueba de mutaciones decomposiciones WS-BPEL mediante la disminución del número de operadoresaplicados, descartando aquellos que obtengan valores bajos para lasmétricas de calidad propuestas.El trabajo de investigación desarrollado ha permitidoalcanzar todos los objetivos propuestos.
YR 2013
FD 2013-11-25T00:00:00Z
LK http://hdl.handle.net/10498/17562
UL http://hdl.handle.net/10498/17562
LA spa
DS Repositorio Institucional de la Universidad de Cádiz
RD 07-nov-2026