Proyecto de Pruebas de Participantes de BPEL El proyecto BPTesting propone un enfoque de derivación y ejecución de pruebas para resaltar posibles discrepancias de interoperabilidad en las orquestaciones BPEL. Las pruebas de los participantes se presentan en los conjuntos de pruebas derivados de las técnicas de comprobación de modelos. La generación de datos para las pruebas se guía por un algoritmo genético. Introducción La informática orientada a servicios es una disciplina emergente que promueve y facilita la integración entre organizaciones de sistemas de software. En este contexto, las cuestiones de interoperabilidad se consideran una amenaza principal para una integración correcta. En esta configuración, una orquestación de servicio hace referencia a composiciones de servicio que prevén la presencia de un punto central de control y ejecución (el orquestador) entre muchos servicios de participantes independientes. El lenguaje de ejecución de procesos de servicio y negocio web (BPEL para abreviar) tiene la gran oportunidad de convertirse en el estándar líder para la orquestación de servicios web y, desde una perspectiva de prueba, presenta desafíos importantes. Nuestro enfoque combina técnicas de comprobación de modelos y algoritmos genéticos para derivar casos de prueba que se usarán con el fin de comprobar el comportamiento de los servicios que desempeñarán un papel dentro de una orquestación determinada. En particular, se utilizan técnicas de algoritmos genéticos para hacer frente a la generación de datos y evitar problemas relacionados con la explosión del estado. Implementación Comenzando forma una descripción BPEL y un conjunto de archivos WSDL relacionados nuestro marco de trabajo es capaz de construir un modelo Java adecuado para el comprobador de modelos Java PathFinder y un algoritmo genético para la generación de datos. Formen la ejecución del modelo, podemos aislar los seguimientos de la ejecución y derivar casos de prueba para cada participante involucrado. La implementación se encuentra en una etapa temprana de desarrollo, pero estamos construyendo la infraestructura completa del sistema. Ahora sólo se traduce un subconjunto del lenguaje BPEL y el modelo requiere alguna modificación manual para ser ejecutable. Agradecemos cualquier comentario, sugerencia o implicación sobre los proyectos. Consulte la sección "People" para ver los contactos.
historial de versiones
- Versión bpt0.9 publicado en 2009-10-29
Varias correcciones y actualizaciones - Versión bpt0.9 publicado en 2009-10-29
Detalles del programa
- Categoría: Red e Internet > Otro
- Editor: bptesting.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: 0.9
- Plataforma: windows