Automatic test case generation using unified modeling language (UML) state diagrams

IET Software

Volumn 2, Issue 2, 2008, Pages 79-93

  Samuel, P ^a   Mall, R ^a   Bothra, A K ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY   (India)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; GRAPH THEORY; MATHEMATICAL MODELS; UNIFIED MODELING LANGUAGE;

DATA FLOW LOGIC; STATE DIAGRAMS;

AUTOMATIC TEST PATTERN GENERATION;

EID: 41649105130     PISSN: 17518806     EISSN: None     Source Type: Journal    
DOI: 10.1049/iet-sen:20060061     Document Type: Article

References (33)

1. Binder, R.V.: ' Testing object-oriented software: a survey ', Softw. Test. Verif. Reliab., 1996, 6, (3/4), p. 125-252 0960-0833
2. Osterweil, L.: ' Strategic directions in software quality ', ACM Comput. Surv., 1996, 28, (4), p. 738-750 0360-0300
3. Mall, R.: ' Fundamentals of Software Engineering ', 2nd (Prentice Hall, 2003)
4. Cavarra, A., Crichton, C., and Davies, J.: ' A method for the automatic generation of test suites from object models ', Inf. Softw. Technol., 2004, 46, (5), p. 309-314
5. Kim, Y.G., Hong, H.S., and Bae, D.H.: et al. ' Test cases generation from UML state diagram ', Proc. Softw., 1999, 146, (4), p. 187-192
6. Buy, U., Orso, A., and Pezze, M.: ' Automated testing of classes ', Proc. Int. Symp. Software Testing and Analysis, August, 2000, 25, p. 39-48, ACM SIGSOFT Software Engineering Notes
7. OMG: Unified Modeling Language Specification, Version 2.0, Object Management Group, www.omg.org, August 2005
8. Offutt, J., and Abdurazik, A.: ' Generating tests from UML specifications ', Proc. 2nd Int. Conf. UML, Lecture Notes in Computer Science, 1999, Springer-Verlag GmbH, Fort Collins, TX 1723, p. 416-429
9. Hajnal, A., and Forgacs, I.: ' An applicable test data generation algorithm for domain errors ', Proc. ACM SIGSOFT Int. Symp. Software Testing and Analysis, 1998, 23, ACM SIGSOFT Software Engineering Notes
10. Jeng, B., and Weyuker, E.J.: ' A simplified domain-testing strategy ', ACM Trans. Softw. Eng. Methodol., 1994, 3, (3), p. 254-270 1049-331X
11. Korel, B.: ' Automated software test data generation ', IEEE Trans. Softw. Eng., 1990, 16, (8), p. 870-879 0098-5589
12. No Magic Inc: MagicDraw UML, Version 9.5 Golden, CO, www.magicdraw.com
13. Offutt, J., Liu, S., and Abdurazik, A.: et al. ' Generating test data from state-based specifications ', Softw. Test. Verif. Reliab., 2003, 13, p. 25-53 0960-0833
14. Briand, L., Di Penta, M., and Labiche, Y.: ' Assessing and improving state-based class testing: a series of experiments ', IEEE Trans. Softw. Eng., 2004, 30, (11), p. 770-783 0098-5589
15. Ostrand, T.J., and Balcer, M.J.: ' The category-partition method for specifying and generating fuctional tests ', Commun. ACM, 1998, 31, (6), p. 676-686 0001-0782
16. Kansomkeat, S., and Rivepiboon, W.: ' Automated-generating test case using UML statechart diagrams ', Proc. SAICSIT 2003, 2003, p. 296-300, ACM
17. Hartmann, J., Imoberdorf, C., and Meisinger, M.: ' UML-based integration testing ', Proc. Int. Symp. Software Testing and Analysis, August, 2000, 25, ACM SIGSOFT Software Engineering Notes
18. Scheetz, M., von Mayrhauser, A., and France, R.: ' Generating test cases from an object oriented model with an AI planning system ', Proc. 10th Int. Symp. Software Reliability Engineering, ISSRE 99, 1999, IEEE Computer Society Press, p. 250-259
19. Briand, L., and Labiche, Y.: ' A UML-based approach to system testing ', Proc. 4th Int. Conf. UML, LNCS, Toronto, Canada, January, 2001, Springer-Verlag GmbH, 2185, p. 194-208
20. Abdurazik, A., and Offutt, J.: ' Using UML collaboration diagrams for static checking and test generation ', Proc. 3rd Int. Conf. UML, Lecture Notes in Computer Science, York, UK, October, 2000, Springer-Verlag GmbH, 1939, p. 383-395
21. Bertolino, A., and Basanieri, F.: ' A practical approach to UML-based derivation of integration tests ', Proc. 4th Int. Software Quality Week Europe and International Internet Quality Week Europe, Brussels, Belgium, 2002
22. Andrews, A., France, R., and Ghosh, S.: et al. ' Test adequacy criteria for UML design models ', Softw. Test. Verif. Reliab., 2003, 13, p. 97-127 0960-0833
23. Linzhang, W., Jiesong, Y., and Xiaofeng, Y.: et al. ' Generating test cases from UML activity diagrams based on gray-box method ', Proc. 11th Asia-Pacific Software Engineering Conf. (APSEC04), 2004, IEEE, p. 284-291
24. Cavalli, A., Maag, S., and Papagiannaki, S.: et al. ' From UML models to automatic generated tests for the dotLRN e-learning platform ', Electron. Notes Theor. Comput. Sci., 2004, 116, p. 133-144 1571-0661
25. Basanieri, F., Bertolino, A., and Marchetti, E.: ' The cow suit approach to planning and deriving test suites in UML projects ', Proc. the 5th Int. Conf. UML, LNCS, Dresden, Germany, October, 2002, Springer-Verlag GmbH, 2460, p. 383397
26. Ghosh, S., France, R., and Braganza, C.: et al. ' Test adequacy assessment for UML design model testing ', Proc. 14th Int. Symp. Software Reliability Engineering (ISSRE03), November, 2003, IEEE Computer Society, p. 332-343
27. Fraikin, F., and Leonhard, T.: ' SeDiTec-testing based on sequence diagrams ', Proc. 17th IEEE Int. Conf. Automated Software Engineering, September, 2002, IEEE Computer Society, p. 261-266
28. Rountev, A., Kagan, S., and Sawin, J.: ' Coverage criteria for testing of object interactions in sequence diagrams ', Proc. 8th Int. Conf. Fundamental Approaches to Software Engineering, Edinburgh, UK, April, 2005, LNCS, Springer-Verlag GmbH, 3442, p. 234-248
29. ' A survey of UML-based coverage criteria for software testing ', Technical Report, 2005, National University of Ireland, Maynooth, Co. Kildare Ireland
30. Baresel, A., Pohlheim, H., and Sadeghipor, S.: ' Structural and functional sequence test of dynamic and state-based software withy evolutionary algorithm ', Proc. Genetic and Evolutionary Computation GECCO 2003, 2003, Springer, Berlin, 2724, p. 2428-2441, Lecture Notes in Computer Science
31. McMinn, P.: ' Search-based software test data generation: a survey ', Softw. Test. Verf. Reliab., 2004, 14, (2), p. 105-156
32. McMinn, P., and Holcombe, M.: ' Evolutionary testing of state-based programs ', Proc. Conf. Genetic and Evolutionary Computation, Washington, DC, USA, 2005, ACM, p. 1013-1020
33. Tonella, P.: ' Evolutionary testing of classes ', Proc. ACM SIGSOFT Int. Symp. Software Testing and Analysis, Boston, MA, USA, 2004, p. 119-128