skip to main content
10.1145/2464576.2464677acmconferencesArticle/Chapter ViewAbstractPublication PagesgeccoConference Proceedingsconference-collections
abstract

Automated test generation for multi-state systems

Published: 06 July 2013 Publication History

Abstract

This paper describes a genetic algorithm based on mutation testing to generate test cases for classes with multiple states. The fitness function is based on the coverability and the killability of the individuals. The paper includes a small empirical section that shows evidences of the ability of the algorithm to generate good test cases.

References

[1]
P. Ammann and J. Offutt, Introduction to software testing. Cambridge University Press, Cambridge, UK, 2008.
[2]
P. R. Mateo and M. P. Usaola, "Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases," 2012, pp. 646--649.
[3]
E. Díaz, J. Tuya, R. Blanco, and J. Javier Dolado, "A tabu search algorithm for structural software testing," Computers & Operations Research, vol. 35, no. 10, pp. 3052--3072, Oct. 2008.
[4]
T. Shiba, T. Tsuchiya, and T. Kikuno, "Using artificial life techniques to generate test cases for combinatorial testing," in Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International, 2004, pp. 72--77 vol. 1.
[5]
B. Baudry, F. Fleurey, J.-M. Jezequel, and Y. Le Traon, "Automatic test case optimization: a bacteriologic algorithm," IEEE Software, vol. 22, no. 2, pp. 76-- 82, Apr. 2005.
[6]
G. Fraser and A. Zeller, "Mutation-driven generation of unit tests and oracles," presented at the ISSTA, 2010, p. 147.
[7]
K. Deb, A. Pratap, S. Agarwal, and T. Meyarivan, "A fast and elitist multiobjective genetic algorithm: NSGA-II," IEEE Transactions on Evolutionary Computation, vol. 6, no. 2, pp. 182--197, Apr. 2002.
[8]
P. Reales Mateo, M. Polo Usaola, and J. L. Fernández Alemán, "Validating 2nd-Order Mutation at System Level," IEEE Transactions on Software Engineering, pp. 1--1, 2012.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
GECCO '13 Companion: Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
July 2013
1798 pages
ISBN:9781450319645
DOI:10.1145/2464576
  • Editor:
  • Christian Blum,
  • General Chair:
  • Enrique Alba
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 July 2013

Check for updates

Author Tags

  1. genetic algorihtms
  2. mutation testing
  3. test generation

Qualifiers

  • Abstract

Conference

GECCO '13
Sponsor:
GECCO '13: Genetic and Evolutionary Computation Conference
July 6 - 10, 2013
Amsterdam, The Netherlands

Acceptance Rates

Overall Acceptance Rate 1,669 of 4,410 submissions, 38%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 83
    Total Downloads
  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 17 Jan 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media