Implementación de operadores de mutación para WS-BPEL 2.0

Thumbnail
Identificadores

URI: http://hdl.handle.net/10498/9755

Files
Statistics
Share
Export
EndNoteBibTexRIS
Metadata
Show full item record
Author/s
Boubeta-Puig, Juan
Date
2010-09-14
Advisor
García Domínguez, Antonio; Medina Bulo, Inmaculada
Department
Lenguajes y Sistemas Informáticos
Abstract
En este proyecto fin de carrera se completa una herramienta real denominada GAmera desarrollada en el grupo de investigación SPI&FM. GAmera es una herramienta de generación de mutantes para WS-BPEL que en vez de generarlos todos genera sólo un subconjunto de ellos. Dicha herramienta se divide en dos partes: un algoritmo genético que dirige todo el proceso y un entorno que compara los mutantes con el proceso original, para comprobar si su comportamiento varía o no. Este PFC se enmarca dentro de esta segunda parte.
Subjects
prueba de mutaciones; WS-BPEL; operadores de mutación; servicios web
Collections
info:eu-repo/semantics/openAccess
This work is under a Creative Commons License info:eu-repo/semantics/openAccess