Automated test code generation from class state models

International Journal of Software Engineering and Knowledge Engineering

Volumn 19, Issue 4, 2009, Pages 599-623

  Xu, Dianxiang ^a,b   Xu, Weifeng ^c   Wong, W Eric ^d  

^a DAKOTA STATE UNIVERSITY   (United States)

^b NANJING UNIVERSITY   (China)

^c GANNON UNIVERSITY   (United States)

^d The University of Texas at Dallas   (United States)

Author keywords

Object oriented programming; Protocol state machines; Software testing; Test generation; UML

Indexed keywords

ASPECT-J; AUTOMATED GENERATION; AUTOMATED TEST; CLASS MODELS; CLASS UNDER TESTS; COVERAGE CRITERIA; METHOD INVOCATION; MODIFIED MODEL; OBJECT INTERACTIONS; PROTOCOL STATE MACHINES; REQUIREMENTS CHANGE; SOURCE CODES; STATE COVERAGE; STATE MACHINE; STATE MODELS; TEST CASE; TEST CODE; TEST EXECUTION; TEST GENERATION; TEST PARAMETERS; TRANSITION COVERAGE; UML; WORKING LOADS;

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTOUR FOLLOWERS; OBJECT ORIENTED PROGRAMMING; SOFTWARE TESTING;

TESTING;

EID: 69549111725     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194009004313     Document Type: Conference Paper

References (25)

1. R. V. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools (AddisonWesley, 2000).
2. M. Blackburn, R. Busser, A. Nauman, R. Knickerbocker and R. Kasuda, Mars polar lander fault identification using model-based testing, Proc. of the Eighth International Conference on Engineering of Complex Computer Systems, 2002.
3. L. C. Briand, M. Di Penta and Y. Labiche, Assessing and improving state-based class testing: A series of experiments, IEEE Trans, on Software Engineering 30(11) (2004) 770-793.
4. Y. Chen, R. L. Probert and H. Ural, Model-based regression test suite generation using dependence analysis, Proc. of the 3rd International Workshop on Advances in Model-Based Testing (A-MOST'07), ACM Press.
5. 5.T.S.Chow,Testing software design modeled by finite-state machines, IEEETrans, on Software Engineering 4 (1978)178-187.(Pubitemid8602457)
6. S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton and B. M. Horowitz, Model-based testing in practice, Proc. of the 21st International Conference on Software Engineering (ICSE'99) (1999), pp. 285-294.
7. K. El-Fakih, N. Yevtushenko and G. V. Bochmann, FSM-based incremental conformance testing methods, IEEE Trans, on Software Engineering 30(7) (2004) 425-436.
8. S. Fujiwara, G. V. Bochmann, F. Khendek, M. Amalou and A. Ghedamsi, Test selection based on finite state models, IEEE Trans, on Software Engineering 17(6) (1991) 591-603.
9. H. S. Hong, Y. G. Kim, S. D. Cha, D. H. Bae and H. Ural, A test sequence selection method for statecharts, Journal of Software Testing, Verification and Reliability 10(4) (2000) 203-227. (Pubitemid 32137043)
10. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm and W. G. Griswold, An overview of AspectJ, Proc. of ECOOP'01 (2001), pp. 327-353.
11. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J. M. Loingtier and J. Irwin, Aspect-oriented programming, Proc. of ECOOP'97, LNCS 1241 (1997), pp. 220-242.
12. B. Korel, G. Koutsogiannakis and L. H. Tahat, Model-based test prioritization heuristic methods and their evaluation, Proc. of the 3rd International Workshop on Advances in Model-Based Testing (A-MOST'07), pp. 34-43.
13. B. Korel, L. H. Tahat and M. Harman, Test prioritization using system models, Proc. of the 21st IEEE International Conference on Software Maintenance (ICSM'05) (2005), pp. 559-568. (Pubitemid 43790968)
14. Z. Li, M. Harman and R. Hierons, Search algorithms for regression test case prioritization, IEEE Trans, on Software Engineering 33(4) (2007) 225-237. (Pubitemid 46523213)
15. J. Magee and J. Kramer, Concurrency: State Models and Java Programs, 2nd Edition (Wiley, 2006).
16. A. P. Mathur, Foundations of Software Testing (Pearson Education, 2007).
17. B. Meyer, Object-Oriented Software Construction (Prentice-Hall, Englewood Cliffs, NJ, 1988).
18. J. Offutt, S. Liu, A. Abdurazik and P. Ammann, Generating test data from statebased specifications, Journal of Software Testing, Verification and Reliability 13(1) (2003) 25-53.
19. A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zölch and T. Stauner, One evaluation of model-based testing and its automation, Proc. of the 27th International Conference on Software Engineering (ICSE'05) (2005), pp. 392-401. (Pubitemid 43283611)
20. A. Pretschner, O. Slotosch, E. Aiglstorfer and S. Kriebel, Model-based testing for real -The inhouse card case study, J. Software Tools for Technology Transfer 5(2-3) (2004) 140-157.
21. G. Rothermel and M. J. Harrold, Analyzing regression test selection techniques, IEEE Trans, on Software Engineering 22(8) (1996) 529-551.
22. G. Rothermel, R. H. Untch, C. Chu and M. J. Harrold, Prioritizing test cases for regression testing, IEEE Trans, on Software Engineering 27(10) (2001) 929-948.
23. UML Specification, http://www.omg.org/technology/documents/formal/uml. htm.
24. W. E. Wong, J. R. Horgan, S. London and H. Agrawal, A study of effective regression testing in practice, Proc. of the Eighth IEEE International Symposium on Software Reliability Engineering (ISSRE'97), Nov. 1997, pp. 522-528.
25. D. Xu, W. Xu and W. E. Wong, Automated test code generation from UML protocol state machines, Proc. of the 19th International Conference on Software Engineering and Knowledge Engineering (SEKE'07), Boston, July 2007.