Test data generation from UML state machine diagrams using GAs

2nd International Conference on Software Engineering Advances - ICSEA 2007

Volumn , Issue , 2007, Pages

  Doungsa ard, Chartchai ^a   Dahal, Keshav ^a   Hossain, Alamgir ^a   Suwannasart, Taratip ^b  

^a UNIVERSITY OF BRADFORD   (United Kingdom)

^b CHULALONGKORN UNIVERSITY   (Thailand)

Author keywords

Genetic algorithm; Test data generation; UML state machine diagram

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTOUR FOLLOWERS; DATA COMMUNICATION SYSTEMS; DIESEL ENGINES; GENETIC ALGORITHMS; HEURISTIC METHODS; SOFTWARE ENGINEERING; SPECIFICATIONS; TEST FACILITIES; TESTING; UNIFIED MODELING LANGUAGE;

AUTOMATIC TEST DATA GENERATIONS; HEURISTIC SEARCHES; HEURISTIC TECHNIQUES; KNOW HOWS; QUALITY OF TESTS; SOFTWARE SPECIFICATIONS; STATE MACHINE DIAGRAMS; TEST DATA GENERATION; TEST DATUMS; TEST SETS; UML STATE MACHINE DIAGRAM; USER REQUIREMENTS;

STATISTICAL TESTS;

EID: 47849084039     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2007.70     Document Type: Conference Paper

References (21)

1. G. Myers, The Art of Software Testing, 2 ed: John Wiley & Son. Ihc, 2004.
2. B. Korel, "Automated software test data generation" Software Engineering, IEEE Transactions on, vol. 16, pp. 870-879, 1990.
3. C. Michael, G. McGraw, and M. A. Schatz, "Generating software test data by evolution" Software Engineering, IEEE Transactions on, vol. 27, pp. 1085-1110, 2001.
4. K. Beck, Test-Driven Development by Example: Addison-Wesley, 2003.
5. B. Beizer, Black-box testing : techniques for functional testing of software and systems: John Wiley & son Inc., 1995.
6. R. S. Pressman, Software Engineering : a practitioner's approach: McGraw-Hill, Inc., 2000.
7. N. Q. Hung, Testing Application on the Web: John Wiley & Sons, 2003.
8. J. M. Clark, "Automated Test Generation from a Behavioral Model", The 11th International Software Quality Week (QW98), 1998.
9. L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. Leavens, K. Leino, and E. Poll, "An overview of JML tools and applications" Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS '03), ser. Electronic Notes in Theoretical Computer Science, Elsevier, 2003.
10. G. T. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby, D. Cok, P. Muller, and J. Kiniry, "JML Reference Manual" 2005.
11. G. Xu and Z. Yang, "JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit" in Formal Approaches to Software Testing, vol. 2931/2004, Lecture Notes in Computer Science 2004, pp. 70-85.
12. C. F. J. Lange, M. R. V. Chaudron, and J. Muskens, "In practice: UML software architecture and design description" Software, IEEE, vol. 23, pp. 40-46, 2006.
13. H. S. Hong, Y. G. Kim, S. D. Cha, D.-H. Bae, and H. Ural, "A test sequence selection method for Statecharts" Software Testing, Verification & Reliability, vol. 10, pp. 203-227, 2000.
14. L. C. Briand, J. Cui, and Y. Labiche, "Towards automated support for deriving test data from UML Statecharts" in "UML" 2003 - The Unified Modeling Language, vol. 2863/2003, Lecture Notes in Computer Science: Springer Berlin / Heidelberg, 2003, pp. 249-264.
15. Y. Cheon, M. Y. Kim, and A. Perumandla, "A Complete Automation of Unit Testing for Java Programs" presented at Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP '05), Las Vegas, Nevada, USA, 2005.
16. OMG, "OMG Unified Modeling Language Superstructure version 2.1 " OMG, 2003.
17. J. Offutt and A. Abdurazik, "Generating Tests from UML Specifications" presented at 2nd International Conference on the UML, 1999.
18. T. Back, D. Fogel, and Z. Michalewicz, Evolutionary Computation 1: Basic Algorithms and Operators: Institute of Physics, London, 2000, 2000.
19. S. Luke, L. Panait, G. Balan, S. Paus, Z. Skolicki, J. Bassett, R. Hubley, and A. Chircop, "ECJ-A Java-based Evolutionary Computation Research System", vol. 24 February 2006.
20. K. P. Dahal, C. J. Aldridge, and S. J. Galloway, "Evolutionary hybrid approaches for generation scheduling in power systems" European Journal of Operational Research, vol. 177, pp. 2050-2068, 2007.
21. S. W. Ambler, The Object Primer: Agile Model-driven Development with UML 2.0: Cambridge University Press, 2004.