BPTesting 0.9
Poderá descarregar em 5 segundos.
Sobre BPTesting
Projeto de teste do participante do BPEL O projeto BPTesting propõe uma abordagem de derivação e execução de testes para destacar possíveis desajustes de interoperabilidade nas orquestrações BPEL. Os testes dos participantes são realizados por "ad-hoc" suítes de teste derivadas por técnicas de verificação de modelos. A geração de dados para testes é guiada por um algoritmo genético. Introdução A Service Oriented Computing é uma disciplina emergente que promove e facilita a integração inter-organizacional de sistemas de software. Neste contexto, as questões de interoperabilidade são consideradas uma ameaça primária para uma integração correta. Neste cenário, uma orquestração de serviço refere-se a composições de serviço que prevê a presença de um ponto central de controlo e execução (o orquestrador) entre muitos serviços participantes independentes. A Linguagem de Execução do Processo Web Service-Business (BPEL para abreviar) tem a grande oportunidade de se tornar o padrão líder para a orquestração de Web Services e, do ponto de vista dos testes, apresenta desafios importantes. A nossa abordagem combina técnicas de verificação de modelos e algoritmos genéticos para obter casos de teste a serem usados de forma a verificar o comportamento dos serviços que desempenharão um papel dentro de uma determinada orquestração. Em particular, as técnicas de algoritmos genéticos são usadas para lidar com a geração de dados e para evitar problemas relacionados com a explosão do Estado. Implementação Começando a formar uma descrição do BPEL e um conjunto de ficheiros WSDL relacionados a nossa estrutura é capaz de construir um modelo Java adequado para o verificador de modelos Java PathFinder e um algoritmo genético para a geração de dados. Formar a execução do modelo somos capazes de isolar vestígios de execução e obter casos de teste para cada participante envolvido. A implementação encontra-se numa fase inicial de desenvolvimento, mas estamos a construir a infraestrutura completa do sistema. Agora apenas um subconjunto da língua BPEL é traduzido e o modelo requer alguma modificação manual para ser executável. Apreciaremos qualquer comentário, sugestão ou envolvimento sobre os projetos. Consulte a secção "People" para obter contactos.