Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

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

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

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Add to cart
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)
Add to cart

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IET Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

© The Institution of Engineering and Technology
Published

UML is widely accepted and used by industry for modelling and design of software systems. A novel method to automatically generate test cases based on UML state models is presented. In the present approach, the control and data flow logic available in the UML state diagram to generate test data are exploited. The state machine graph is traversed and the conditional predicates on every transition are selected. Then these conditional predicates are transformed and function minimisation technique is applied to generate test cases. The present test data generation scheme is fully automatic and the generated test cases satisfy transition path coverage criteria. The generated test cases can be used to test class as well as cluster-level state-dependent behaviours.

Inspec keywords: systems analysis; finite state machines; Unified Modeling Language; program testing; data flow analysis

Other keywords: UML; function minimisation technique; state machine graph; data flow logic; unified modeling language state diagrams; transition path coverage criteria; automatic test case generation

Subjects: Automata theory; Formal methods; Diagnostic, testing, debugging and evaluating systems

References

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

Related content

content/journals/10.1049/iet-sen_20060061
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Print this page
This is a required field
Please enter a valid email address