Automated test code generation from UML protocol state machines

19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007

Volumn , Issue , 2007, Pages 99-104

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

^a North Dakota State University   (United States)

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

Author keywords

Coverage criterion; Finite state machines; Object oriented programming; Software testing; UML

Indexed keywords

AUTOMATED GENERATION; COVERAGE CRITERIA; EMPIRICAL EVALUATIONS; EXECUTABLE ASSERTIONS; PROTOCOL STATE MACHINES; STATE INVARIANTS; TRANSITION COVERAGE; UML;

FINITE AUTOMATA; KNOWLEDGE ENGINEERING; OBJECT ORIENTED PROGRAMMING; SOFTWARE TESTING;

SOFTWARE ENGINEERING;

EID: 69949084594     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Binder, R. V. Testing Object-Oriented SystemsüModels, Patterns, and Tools. Addison-Wesley, 2000.
2. Briand, L.C, Di Penta, M., Labiche, Y. "Assessing and Improving State-based Class TestingüA Series of Experiments", IEEE Trans. on Software Engineering, vol. 30, no. 11, pp. 770-793, Nov. 2004.
3. Chow, T.S. "Testing Software Design Modeled by Finite- State Machines", IEEE Trans. on Software Engineering, vol. SE-4, May 1978, pp. 178-187.
4. Fujiwara, S., Bochmann, G. v., Khendek, F., Amalou, M., Ghedamsi, A. "Test Selection Based on Finite State Models", IEEE Trans. on Software Engineering, vol. 17, no. 6, pp. 591-603, June, 1991.
5. Hong, H.S., Kim, Y.G., Cha, S. D., Bae, D.H., Ural, H. "A Test Sequence Selection Method for Statecharts", Journal of Software Testing, Verification and Reliability, vol.10, no.4, pp.203-227, 2000.
6. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J. and Griswold, W.G., An overview of AspectJ. Proc. of ECOOP'01, pp. 327-353, 2001.
7. Mathur, A.P. Foundations of Software Testing, Draft v2.1, Purdue University, 2005.
8. Offutt, J., Liu, S., Abdurazik, A., and Ammann, P. "Generating Test Data from State-Based Specifications". Journal of Software Testing, Verification and Reliability, vol.13, no.1, pp. 25-53, 2003.
9. Rothermel, G. and Harrold, M.J. "Analyzing Regression Test Selection Techniques", IEEE Trans. on Software Engineering, vol. 22, no. 8, pp. 529-551, 1996.
10. UML 2.0 Specification, http://www.omg.org/technology/documents/formal/ uml.htm.
11. Wong, W.E., Horgan, J.R., London, S., and Agrawal, H. "A Study of Effective Regression Testing in Practice", In Proc. of the Eighth IEEE International Symposium on Software Reliability Engineering, pp. 522-528, November 1997.