TOWARDS HIGHER-ORDER MUTANT GENERATION FOR WS-BPEL

E. Blanco-Muñoz, A. García-Domínguez, J. J. Domínguez-Jiménez, I. Medina-Bulo

Abstract

We present an architecture for automatically generating higher-order mutants for WS-BPEL compositions based on the architecture of GAmera, a first-order mutant generation system for WS-BPEL. Higher-order mutants are created by applying a sequence of first-order mutation operators to the original program. This paper also introduces the changes that GAmera has to undergo for converting the generation of first-order mutants into a process capable of higher-order mutation, while detailing the modifications carried out for adapting the crossover and mutation genetic operators to the new structure of the mutants.

References

  1. Delamaro, M. and Maldonado, J. (1996). Proteum-a tool for the assessment of test adequacy for C programs. In Proceedings of the Conference on Performability in Computing System (PCS 96), pages 79-95.
  2. DeMillo, R. A., Lipton, R. J., and Sayward, F. G. (1978). Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34-41.
  3. Domínguez-Jiménez, J. J., Estero-Botaro, A., GarcíaDomínguez, A., and Medina-Bulo, I. (2009). GAmera: an automatic mutant generation system for WS-BPEL compositions. In ECOWS'09: Proceedings of the Seventh IEEE European Conference on Web Services.
  4. Goldberg, D. E. (1989). Genetic algorithms in search, optimization and machine learning. Addison-Wesley, Reading.
  5. Hamlet, R. G. (1977). Testing programs with the aid of a compiler. IEEE Transactions Software Engineering, 3(4):279-290.
  6. Holland, J. H. (1992). Adaptation in natural and artificial systems. MIT Press, Cambridge.
  7. IDC (2008). Research reports. http://www.idc.com.
  8. Jia, Y. and Harman, M. (2008). MILU: A customizable, runtime-optimized higher order mutation testing tool for the full C language. In TAIC-PART 7808: Proceedings of the Testing: Academic & Industrial Conference - Practice and Research Techniques, pages 94- 98. IEEE Computer Society.
  9. Jia, Y. and Harman, M. (2009). Higher order mutation testing. Information and Software Technology, 51(10):1379-1393.
  10. Jia, Y. and Harman, M. (2010). An analysis and survey of the development of mutation testing. IEEE Transactions on Software Engineering, 99(PrePrints).
  11. King, K. N. and Offutt, A. J. (1991). A FORTRAN language system for mutation-based software testing. Software - Practice and Experience, 21(7):685-718.
  12. Ma, Y.-S., Offutt, J., and Kwon, Y. R. (2005). MuJava: an automated class mutation system. Software Testing, Verification & Reliability, 15(2):97-133.
  13. Mathur, A. (1994). Mutation testing. In Marciniak, J. J., editor, Encyclopedia of Software Engineering, pages 707-713. Wiley, New York, NY.
  14. OASIS (2007). Web Services Business Process Execution Language 2.0. http://docs.oasisopen.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html. Organization for the Advancement of Structured Information Standards.
  15. Offutt, J., Ma, Y.-S., and Kwon, Y.-R. (2006). The classlevel mutants of MuJava. In AST 7806: Proceedings of the 2006 international workshop on Automation of software test, pages 78-84, New York, NY, USA. ACM.
  16. Organization for the Advancement of Structured Information Standards (2007). Web Services Business Process Execution Language 2.0. (Last accessed: 2 March 2011).
  17. Tuya, J., Cabal, M. J. S., and de la Riva, C. (2007). Mutating database queries. Information and Software Technology, 49(4):398-417.
  18. Wah, K. S. H. T. (2003). An analysis of the coupling effect i: single test data. Science of Computer Programming, 48(2-3):119-161.
  19. Zhu, H., Hall, P., and May, J. (1997). Software unit test coverage and adequacy. ACM Computing Surveys, 29(4):366-427.
Download


Paper Citation


in Harvard Style

Blanco-Muñoz E., García-Domínguez A., J. Domínguez-Jiménez J. and Medina-Bulo I. (2011). TOWARDS HIGHER-ORDER MUTANT GENERATION FOR WS-BPEL . In Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2011) ISBN 978-989-8425-70-6, pages 143-148. DOI: 10.5220/0003611901430148


in Bibtex Style

@conference{ice-b11,
author={E. Blanco-Muñoz and A. García-Domínguez and J. J. Domínguez-Jiménez and I. Medina-Bulo},
title={TOWARDS HIGHER-ORDER MUTANT GENERATION FOR WS-BPEL},
booktitle={Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2011)},
year={2011},
pages={143-148},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003611901430148},
isbn={978-989-8425-70-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2011)
TI - TOWARDS HIGHER-ORDER MUTANT GENERATION FOR WS-BPEL
SN - 978-989-8425-70-6
AU - Blanco-Muñoz E.
AU - García-Domínguez A.
AU - J. Domínguez-Jiménez J.
AU - Medina-Bulo I.
PY - 2011
SP - 143
EP - 148
DO - 10.5220/0003611901430148