Abstract
Applying mutation testing to a program written in a certain language requires that a set of mutation operators is defined for that language. The mutation operators need to adequately cover the features of that language in order to be effective. In this work, we evaluate qualitatively the operators defined for the Web Services Business Process Execution Language 2.0 (WS-BPEL) and study the differences and similarities between WS-BPEL and other languages. We review the existing operators for several structured and object oriented general-purpose programming languages, and for several domain-specific languages. Results confirm that WSBPEL is very different from other languages, as half of the mutation operators for this language are equivalent to those of other languages. Our study concludes that the set of WS-BPEL mutation operators can be improved.
Original language | English |
---|---|
Title of host publication | Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 |
Pages | 398-407 |
Number of pages | 10 |
DOIs | |
Publication status | Published - 18 Aug 2011 |
Event | 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 - Berlin, Germany Duration: 21 Mar 2011 → 25 Mar 2011 |
Conference
Conference | 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 |
---|---|
Country/Territory | Germany |
City | Berlin |
Period | 21/03/11 → 25/03/11 |
Keywords
- Mutation analysis
- Mutation operators
- Test-suite effectiveness
- Testing
- Web services
- WS-BPEL