Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation

Palomo-Duarte, Manuel; García‐Domínguez, Antonio; Medina‐Bulo, Inmaculada; Álvarez-Ayllón, Alejandro; Santacruz, Javier

doi:10.1007/978-3-642-13911-6_45

Cited by 3 publications

(4 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The approaches using simulated testing [11,12,14,15] has the potential benefit of reducing testing cost by testing the correctness of a service composition offline. The approaches aimed at generating replacement services [12,13,16,24] can directly reduce the testing by avoiding calls to the actual services during testing.…”

Section: Related Workmentioning

confidence: 99%

“…Effects of testing in some systems, such as stock-exchange systems, where each usage of the service requires a business transaction, that carries with it a monetary cost. Solutions aimed at reducing the cost of testing in ScST, such as simulated testing and stub/mock services have previously been proposed [11,12,13,14,15,16]. However, these approaches do not eliminate the need for runtime testing (testing with real services).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Cost-aware pareto optimal test suite minimisation for service-centric systems

Bozkurt

2013

Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation

View full text Add to dashboard Cite

Runtime testing cost caused by service invocations is considered as one of the major limitations in Service-centric System Testing (ScST). Unfortunately, most of the existing work cannot achieve cost reduction at runtime as they perform offline testing. In this paper, we introduce a novel cost-aware pareto optimal test suite minimisation approach for ScST aimed at reducing runtime testing cost. In experimental analysis, the proposed approach achieved reductions between 69% and 98.6% in monetary cost of service invocations while retaining test suite coverage. The results also provided evidence for the effectiveness of the selected algorithm HNSGA-II over the two commonly used algorithms: Greedy and NSGA-II.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Cost-aware pareto optimal test suite minimisation for service-centric systems

Bozkurt

2013

Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation

View full text Add to dashboard Cite

show abstract

“…Palomo‐Duarte et al introduced a tool that dynamically generates invariants for BPEL processes. The proposed invariants reflect the internal logic of BPEL processes and are generated from the execution of tester‐provided test cases.…”

Section: Unit Testing Of Service‐centric Systemsmentioning

confidence: 99%

Testing and verification in service‐oriented architecture: a survey

Bozkurt

Harman

Hassoun

2012

Software Testing Verif & Rel

View full text Add to dashboard Cite

SUMMARYService‐oriented architecture (SOA) is gaining momentum as an emerging distributed system architecture for business‐to‐business collaborations. This momentum can be observed in both industry and academic research. SOA presents new challenges and opportunities for testing and verification, leading to an upsurge in research. This paper surveys the previous work undertaken on testing and verification of service‐centric systems, which in total are 177 papers, showing the strengths and weaknesses of current strategies and testing tools and identifying issues for future work. Copyright © 2012 John Wiley & Sons, Ltd.

show abstract

“…(2004) Realizar o teste de unidade de um serviço que é uma composição de serviços é semelhante ao teste de um serviço simples. Palomo-Duarte et al (2010) criaram uma ferramenta para gerar, dinamicamente, invariantes de um serviço composto especificado como um processos BPEL. As invariantes propostas refletem a lógica interna do processo e são geradas a partir da execução de casos de teste.…”

Section: Teste De Unidadeunclassified

Uso da técnica de teste estrutural para o teste e monitoração de serviços

Eler¹

View full text Add to dashboard Cite

AgradecimentosAgradeço a Deus, em primeiro lugar, e a Jesus Cristo, seu filho, porque Dele por Ele e para Ele são todas as coisas (S. Paulo, Romanos 11:36). Agradeço aos meus pais, Rubens e Glória, pela educação que me deram, pelo incentivo e pelo apoio incondicional em todos os momentos. Agradeço a minha irmã Daniela e minha cunhada Juliana pela amizade e companherismo que sempre demonstraram. Agradeço em especial ao meu irmão Danilo, amigo e companheiro de jornada desde pequenos, passando pelo colégio, graduação, mestrado e doutorado. Agradeço especialmente à minha esposa Amanda que esteve ao meu lado em todos os momentos, pacientemente, acompanhando e apoiando meu trabalho tanto aqui quanto no exterior. Agradeço também a minha nova família, Samuel e Jane, meus sogros, e meu cunhado Anderson, pela amizade e incentivo.Quero agradecer especialmente ao Prof. Paulo Cesar Masiero pela confiança em mim depositada e pela forma com que, pacientemente, conduziu esta orientação. Sua ética, profissionalismo, competência e dedicação em tudo o que faz serão sempre lembrados como virtudes a serem exercitadas e buscadas em minha carreira profissional. Agradeço também ao Prof. Márcio Eduardo Delamaro pelas sugestões de melhoria do trabaho ao longo desses anos. Quero também expressar minha gratidão especial à Antonia Bertolino, minha orientadora no período que estive na Itália para o doutorado sanduíche. Ao Prof Rogério Garcia, que foi quem me incentivou a ingressar no mestrado e trilhar este caminho.Aos meus amigos Beltranos, que têm sido companheiros de uma vida toda; aos amigos da Igreja Batista Unida de Martinópolis e da Primeira Igreja Batista de São Carlos; aos novos e antigos amigos e professores do LabES, com os quais tive o prazer de compartilhar este tempo de formação, desde o meu mestrado; aos demais amigos e funcionários do ICMC e da USP de São Carlos, muito obrigado.Quero agradecer especialmente ao André Endo, pelas conversas, discussões e pela parceria na criação do serviço JaBUTiWS.Agradeço támbém especialmente à FAPESP pelo financiamento desta pesquisa.That day, for no particular reason, I decided to go for a little run. So I ran to the end of the road. ResumoA computação orientada a serviços propõe o desenvolvimento de software por meio da composição de serviços com os objetivos de aumentar o reúso de software e facilitar a criação de aplicações dinâmicas, flexíveis e com baixo acoplamento. O uso de serviços no desenvolvimento de software só é possível se os desenvolvedores de aplicações (integradores) confiarem na qualidade dos serviços oferecidos por terceiros. Uma forma de aumentar a confiança sobre serviços adquirido de terceiros é a realização de testes. Entretanto, o teste de serviços é difícil porque os testadores ficam limitados a usar técnicas de teste baseadas em especificação por causa da indisponibilidade do código fonte. Nesse contexto, os testadores não podem usufruir dos benefícios de combiná-las com técnicas baseadas em implementação, como a técnica estrutural, por exemplo. Uma abordagem para ...

show abstract

Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation

Cited by 3 publications

References 5 publications

Cost-aware pareto optimal test suite minimisation for service-centric systems

Cost-aware pareto optimal test suite minimisation for service-centric systems

Testing and verification in service‐oriented architecture: a survey

Uso da técnica de teste estrutural para o teste e monitoração de serviços

Contact Info

Product

Resources

About