Article

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions

Authors:

Antonia Estero-Botaro,

Antonio García-Domínguez,

Juan José Domínguez-Jiménez,

Francisco Palomo-Lozano,

Inmaculada Medina-BuloAuthors Info & Claims

ICTSS 2014: Proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 8763

Pages 1 - 16

https://doi.org/10.1007/978-3-662-44857-1_1

Published: 23 September 2014 Publication History

Abstract

Search-based testing generates test cases by encoding an adequacy criterion as the fitness function that drives a search-based optimization algorithm. Genetic algorithms have been successfully applied in search-based testing: while most of them use adequacy criteria based on the structure of the program, some try to maximize the mutation score of the test suite.

This work presents a genetic algorithm for generating a test suite for mutation testing. The algorithm adopts several features from existing bacteriological algorithms, using single test cases as individuals and keeping generated individuals in a memory. The algorithm can optionally use automated seeding when producing the first population, by taking into account interesting constants in the source code.

We have implemented this algorithm in a framework and we have applied it to a WS-BPEL composition, measuring to which extent the genetic algorithm improves the initial random test suite. We compare our genetic algorithm, with and without automated seeding, to random testing.

References

[1]

Alshahwan, N., Harman, M.: Automated web application testing using search based software engineering. In: 26th IEEE/ACM International Conference on Automated Software Engineering, pp. 3—12 (2011)

Digital Library

[2]

Alshraideh, M., Bottaci, L.: Search-based software test data generation for string data using program-specific search operators. Softw. Test. Verif. Reliab.ä16(3), 175—203 (2006)

Digital Library

[3]

Ayari, K., Bouktif, S., Antoniol, G.: Automatic mutation test input data generation via ant colony. In: 9th Conference on Genetic and Evolutionary Computation, pp. 1074—1081. ACM (2007)

Digital Library

[4]

Baudry, B., Fleurey, F., Jézéquel, J.M., Le Traon, Y.: From genetic to bacteriological algorithms for mutation-based testing. Soft. Test. Verif. Reliab.ä15(2), 73—96 (2005)

Digital Library

[5]

Bottaci, L.: A genetic algorithm fitness function for mutation testing. In: 23rd International Conference on Software Engineering using Metaheuristic Inovative Algorithms, pp. 3—7 (2001)

[6]

Estero-Botaro, A., Palomo-Lozano, F., Medina-Bulo, I.: Mutation operators for WS-BPEL 2.0. In: ICSSEA 2008: 21th International Conference on Software & Systems Engineering and their Applications (2008)

[7]

Estero-Botaro, A., Palomo-Lozano, F., Medina-Bulo, I., Domníguez-Jiménez, J.J., García-Domnguez, A.: Quality metrics for mutation testing with applications to WS-BPEL compositions. Software Testing, Verification and Reliability (2014), http://dx.doi.org/10.1002/stvr.1528

[8]

Fraser, G., Arcuri, A.: The seed is strong: Seeding strategies in search-based software testing. In: IEEE Fifth International Conference on Software Testing, Verification and Validation, pp. 121—130 (2012)

Digital Library

[9]

Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley Longman Publishing Co., Inc., Boston (1989)

Digital Library

[10]

Harman, M., McMinn, P.: A theoretical and empirical study of search-based testing: Local, global, and hybrid search. IEEE Trans. Soft. Eng.ä36(2), 226—247 (2010)

Digital Library

[11]

Holland, J.: Adaptation in Natural and Artificial Systems, 2nd edn. MIT Press (1992)

Digital Library

[12]

Krishnakumar, K.: Microgenetic algorithms for stationary and nonstationary function optimization. In: Society of Photo-Optical Instrumentation Engineers Conference Series, vol.ä1196, pp. 289—296 (1990)

[13]

Mantere, T., Alander, J.T.: Evolutionary software engineering, a review. Applied Soft Computingä5(3), 315—331 (2005)

Digital Library

[14]

May, P., Timmis, J., Mander, K.: Immune and evolutionary approaches to software mutation testing. In: de Castro, L.N., Von Zuben, F.J., Knidel, H. (eds.) ICARIS 2007. LNCS, vol.ä4628, pp. 336—347. Springer, Heidelberg (2007)

Digital Library

[15]

McMinn, P.: Search-based software test data generation: A survey. Soft. Test. Verif. Reliab.ä14(2), 105—156 (2004)

Digital Library

[16]

Mitchell, M.: An introduction to genetic algorithms. Massachusetts Institute of Technology (1996)

Digital Library

[17]

Mühlenbein, H.: Evolution in time and space - the parallel genetic algorithm. In: Foundations of Genetic Algorithms, pp. 316—337. Morgan Kaufmann (1991)

[18]

OASIS: Web Services Business Process Execution Language 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

[19]

Offutt, A.J., Untch, R.H.: Mutation 2000: Uniting the Orthogonal. In: Mutation Testing for the New Century, pp. 34—44. Kluwer Academic Publishers (2001)

Digital Library

[20]

Offutt, J.: Automatic test data generation. Ph.D. thesis, Georgia Institute of Technology, Atlanta, GA, USA (1988)

Digital Library

[21]

Syswerda, G.: A study of reproduction in generational and steady-state genetic algorithms. In: Foundations of Genetic Algorithms, pp. 94—101. Morgan Kaufmann Publishers (1991)

[22]

Xanthakis, S., Ellis, C., Skourlas, C., Gall, A.L., Katsikas, S., Karapoulios, K.: Application of genetic algorithms to software testing. In: Proc. of the 5th Int. Conf. on Software Engineering, pp. 625—636 (1992)

Cited By

Wang XYu TArcaini PYue TAli SWagner M(2022)Mutation-based test generation for quantum programs with multi-objective searchProceedings of the Genetic and Evolutionary Computation Conference10.1145/3512290.3528869(1345-1353)Online publication date: 8-Jul-2022
https://dl.acm.org/doi/10.1145/3512290.3528869
Zhang HXia HLin XYu LFang XChen XZhu H(2020)Test Case Generation of Composite Web Services Based on Semantic Matching and Condition RecognitionWeb Information Systems and Applications10.1007/978-3-030-60029-7_3(27-35)Online publication date: 23-Sep-2020
https://dl.acm.org/doi/10.1007/978-3-030-60029-7_3
Lin XZhang HXia HYu LFang XChen XWang Z(2020)Test Case Minimization for Regression Testing of Composite Service Based on Modification Impact AnalysisWeb Information Systems and Applications10.1007/978-3-030-60029-7_2(15-26)Online publication date: 23-Sep-2020
https://dl.acm.org/doi/10.1007/978-3-030-60029-7_2
Show More Cited By

Recommendations

Test suite minimization for mutation testing of WS-BPEL compositions
GECCO '18: Proceedings of the Genetic and Evolutionary Computation Conference

This paper presents an exact search-based technique to minimize test suites while maintaining their mutation coverage. The minimization of test suites is a hard problem whose solution is important both to reduce the cost of mutation testing and to ...
Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs

Many web services not only communicate through XML-based messages, but also may dynamically modify their behaviors by applying different interpretations on XML messages through updating the associated XML Schemas or XML-based interface specifications. ...
A Framework for Mutant Genetic Generation for WS-BPEL
SOFSEM '09: Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science

The rise of Web Services and their WS-BPEL compositions in recent years makes necessary to pay special attention to testing in this context. Mutation testing is a white box testing technique that has been applied successfully to programs written in ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

ICTSS 2014: Proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 8763

September 2014

210 pages

ISBN:9783662448564

Editors:
Mercedes Merayo
Facultad de Informática. Deparmento Sistems Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain
,
Edgardo Oca
Montimage, Paris, France

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 23 September 2014

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Wang XYu TArcaini PYue TAli SWagner M(2022)Mutation-based test generation for quantum programs with multi-objective searchProceedings of the Genetic and Evolutionary Computation Conference10.1145/3512290.3528869(1345-1353)Online publication date: 8-Jul-2022
https://dl.acm.org/doi/10.1145/3512290.3528869
Zhang HXia HLin XYu LFang XChen XZhu H(2020)Test Case Generation of Composite Web Services Based on Semantic Matching and Condition RecognitionWeb Information Systems and Applications10.1007/978-3-030-60029-7_3(27-35)Online publication date: 23-Sep-2020
https://dl.acm.org/doi/10.1007/978-3-030-60029-7_3
Lin XZhang HXia HYu LFang XChen XWang Z(2020)Test Case Minimization for Regression Testing of Composite Service Based on Modification Impact AnalysisWeb Information Systems and Applications10.1007/978-3-030-60029-7_2(15-26)Online publication date: 23-Sep-2020
https://dl.acm.org/doi/10.1007/978-3-030-60029-7_2
Petrova-Antonova DIlieva SManova DHao DSubramanyan RMariani L(2015)TASSAProceedings of the 10th International Workshop on Automation of Software Test10.5555/2819261.2819266(8-12)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2819261.2819266

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents