GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis

Domínguez-Jiménez, Juan José; Estero-Botaro, Antonia; García‐Domínguez, Antonio; Medina‐Bulo, Inmaculada

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

Cited by 3 publications

(2 citation statements)

References 6 publications

(8 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It should be pointed out that such manual work is quite important, particularly because mutant reduction can help increase the efficiency of mutation testing. Some WS-BPEL mutation tools [6,12,18,15] have been developed before our µBPEL tool. The detailed comparison between µBPEL and the existing tools will be presented in Section 5.…”

Section: Mutation Testing Framework For Ws-bpelmentioning

confidence: 99%

“…There exist several tools to support the automatic generation of mutants for WS-BPEL programs. Domínguez-Jiménez et al [12] developed a tool, namely GAmera, based on the 26 mutation operators proposed in [13]. GAmera first analyzes the WS-BPEL program under test to help users decide which mutation operators to be used in mutant generation.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

An Empirical Study on Mutation Testing of WS-BPEL Programs

Sun

Lin

Wang

et al. 2016

The Computer Journal

View full text Add to dashboard Cite

Nowadays, applications are increasingly deployed as Web services in the globally distributed cloud computing environment. Multiple services are normally composed to fulfill complex functionalities. Business Process Execution Language for Web Services (WS-BPEL) is an XML-based service composition language that is used to define a complex business process by orchestrating multiple services. Compared with traditional applications, WS-BPEL programs pose many new challenges to the quality assurance, especially testing, of service compositions. A number of techniques have been proposed for testing WS-BPEL programs, but only a few studies have been conducted to systematically evaluate the effectiveness of these techniques. Mutation testing has been widely acknowledged as not only a testing method in its own right, but also a popular technique for measuring the fault-detection effectiveness of other testing methods. Several previous studies have proposed a family of mutation operators for generating mutants by seeding various faults into WS-BPEL programs. In this study, we conduct a series of empirical studies to evaluate the applicability and effectiveness of various mutation operators for WS-BPEL programs. The experimental results provide insightful and comprehensive guidance for mutation testing of WS-BPEL programs in practice. In particular, our work is the systematic study in the selection of effective mutation operators specifically for WS-BPEL programs.

show abstract

Section: Mutation Testing Framework For Ws-bpelmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

An Empirical Study on Mutation Testing of WS-BPEL Programs

Sun

Lin

Wang

et al. 2016

The Computer Journal

View full text Add to dashboard Cite

show abstract

A systematic review on search based mutation testing

Silva

Souza

2017

Information and Software Technology

View full text Add to dashboard Cite

Contract-based test generation for data flow of business processes using constraint programming

Ramirez

Gasca

Varela-Vaca

2011

2011 Fifth International Conference on Research Challenges in Information Science

View full text Add to dashboard Cite

Abstract-The verification of the properties of a business process (BP) has become a significant research topic in recent years. In the early stages of development, the BP model (e.g. BPMN, EPC), the BP contract (task contract, regulations and laws, business rules), and the test objectives (requirements) are the only elements available. In order to support the modellers, automatic tools must be provided in order to check whether their business processes are in line with the BP contract. This paper proposes a new business process called the automatic test-case generator to automate the generation of test cases and verify that a BP has the intended functionality (semantic conformance). This generator is analysed, designed and implemented by taking into account the following tasks: Annotation of the BP model with the business process contract, calculation of the various data flow paths, transformation of these data flow paths into SSA form, and a modelling of a constraint satisfaction problem (constraint programming) of the BP contract for all data flow paths. The execution of this business process generates the test cases automatically.

show abstract

GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis

Cited by 3 publications

References 6 publications

An Empirical Study on Mutation Testing of WS-BPEL Programs

An Empirical Study on Mutation Testing of WS-BPEL Programs

A systematic review on search based mutation testing

Contract-based test generation for data flow of business processes using constraint programming

Contact Info

Product

Resources

About