GA-based automatic test data generation for UML state diagrams with parallel paths

Advanced Design and Manufacture to Gain a Competitive Edge: New Manufacturing Techniques and their Role in Improving Enterprise Performance

Volumn , Issue , 2008, Pages 147-156

  Doungsa Ard, C ^a,b   Dahal, K ^b   Hossain, A ^b   Suwannasart, T ^c  

^a CHIANG MAI UNIVERSITY   (Thailand)

^b UNIVERSITY OF BRADFORD   (United Kingdom)

^c CHULALONGKORN UNIVERSITY   (Thailand)

Author keywords

Genetic algorithm; Test data generation; UML state machine diagram

Indexed keywords

AUTOMATIC PROGRAMMING; CODES (SYMBOLS); DESIGN; GENETIC ALGORITHMS; MANUFACTURE; SPECIFICATIONS; STATISTICAL TESTS;

AUTOMATIC TEST DATA GENERATION; CODE DEVELOPMENT; ENHANCED GENETIC ALGORITHMS; SOFTWARE DEVELOPER; SOFTWARE SPECIFICATION; STATE DIAGRAM; TEST DATA GENERATION; UML STATE MACHINE;

SOFTWARE TESTING;

EID: 77957340350     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-1-84800-241-8_16     Document Type: Conference Paper

References (17)

1. Myers, G., The Art of Software Testing. 2 ed. 2004: John Wiley & Son. Inc. 234 pages.
2. Korel, B., Automated software test data generation. Software Engineering, IEEE Transactions on, 1990. 16(8): p. 870-879. (Pubitemid 20738724)
3. Michael, C., G. McGraw, and M.A. Schatz, Generating software test data by evolution. Software Engineering, IEEE Transactions on, 2001. 27(12): p. 1085-1110.
4. Beck, K., Test-Driven Development by Example. 2003: Addison-Wesley. 220.
5. Doungsa-ard, C., et al. Test Data Generation from UML State Machine Diagrams using GAs. in The Second International Conference on Software Engineering Advances, ICSEA 2007. 2007. Cap Esterel, French Riviera, France. p. 47-47
6. Clark, J.M. Automated Test Generation from a Behavioral Model. in the 11th International Software Quality Week (QW98). 1998.
7. Burdy, L., et al. An overview of JML tools and applications. in Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS '03), ser. Electronic Notes in Theoretical Computer Science. 2003. Elsevier.
8. Xu, G. and Z. Yang, JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit, in Formal Approaches to Software Testing. 2004. p. 70-85.
9. Lange, C.F.J., M.R.V. Chaudron, and J. Muskens, In practice: UML software architecture and design description. Software, IEEE, 2006. 23(2): p. 40-46.
10. Hong, H.S., et al., A test sequence selection method for statecharts. Software Testing, Verification & Reliability, 2000. 10(4): p. 203-227.
11. Briand, L.C., J. Cui, and Y. Labiche, Towards automated support for deriving test data from UML statecharts, in "UML" 2003 - The Unified Modeling Language. 2003, Springer Berlin / Heidelberg. p. 249-264.
12. Levin, S. and A. Yehudai, Evolutionary Testing: A Case Study, in Hardware and Software, Verification and Testing. 2007. p. 155-165.
13. OMG, OMG Unified Modeling Language Superstructure version 2.1. 2003, OMG.
14. Ambler, S.W., The Object Primer: Agile Model-driven Development with UML 2.0. 2004: Cambridge University Press. 572.
15. Offutt, J. and A. Abdurazik. Generating Tests from UML Specifications. in 2nd International Conference on the UML. 1999.
16. Bäck, T., D. Fogel, and Z. Michalewicz, Evolutionary Computation 1: Basic Algorithms and Operators. 2000: Institute of Physics, London, 2000.
17. Luke, S., et al. ECJ-A Java-based Evolutionary Computation Research System cited 24 February 2006; Available from: http://cs.gmu.edu/~eclab/ projects/ecj/.