Abstract
Automatic test data generation from a software specification prepares test cases for software developers before their code development phase. Having test cases before coding, helps the developers to control their code to conform to the specification. In state-based specifications, paths from the initial state to the final state may be varied, this is called parallel paths. In order to generate test data which cover all behaviors in the specification, test data for each parallel path should be generated. This paper proposes an enhanced genetic algorithm(GA)-based approach to resolve the parallel paths from the UML state machine diagram. The proposed approach is improved from our previous study which uses a GA based test data generation method for only one path. The approach identifies parallel paths to cover all transitions. GA evolves a number of suitable test data sets - one test data set for each parallel path. The best test data for each parallel path are picked and used for calculating the overall coverage test data. The experimental results show improved coverage results with the enhanced approach for a number of case studies with parallel paths.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
8. References
Myers, G., The Art of Software Testing. 2 ed. 2004: John Wiley & Son. Inc. 234 pages.
Korel, B., Automated software test data generation. Software Engineering, IEEE Transactions on, 1990. 16(8): p. 870–879.
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.
Beck, K., Test-Driven Development by Example. 2003: Addison-Wesley. 220.
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
Clark, J.M. Automated Test Generation from a Behavioral Model. in the 11th International Software Quality Week (QW98). 1998.
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.
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.
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.
Hong, H.S., et al., A test sequence selection method for statecharts. Software Testing, Verification & Reliability, 2000. 10(4): p. 203–227.
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.
Levin, S. and A. Yehudai, Evolutionary Testing: A Case Study, in Hardware and Software, Verification and Testing. 2007. p. 155–165.
OMG, OMG Unified Modeling Language Superstructure version 2.1. 2003, OMG.
Ambler, S.W., The Object Primer: Agile Model-driven Development with UML 2.0. 2004: Cambridge University Press. 572.
Offutt, J. and A. Abdurazik. Generating Tests from UML Specifications. in 2nd International Conference on the UML. 1999.
Bäck, T., D. Fogel, and Z. Michalewicz, Evolutionary Computation 1: Basic Algorithms and Operators. 2000: Institute of Physics, London, 2000.
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/.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag London Limited
About this paper
Cite this paper
Doungsa-ard, C., Dahal, K., Hossain, A., Suwannasart, T. (2008). GA-based Automatic Test Data Generation for UML State Diagrams with Parallel Paths. In: Yan, XT., Jiang, C., Eynard, B. (eds) Advanced Design and Manufacture to Gain a Competitive Edge. Springer, London. https://doi.org/10.1007/978-1-84800-241-8_16
Download citation
DOI: https://doi.org/10.1007/978-1-84800-241-8_16
Publisher Name: Springer, London
Print ISBN: 978-1-84800-240-1
Online ISBN: 978-1-84800-241-8
eBook Packages: EngineeringEngineering (R0)