We apologize for a recent technical issue with our email system, which temporarily affected account activations. Accounts have now been activated. Authors may proceed with paper submissions. PhDFocusTM
CFP last date
20 December 2024
Call for Paper
January Edition
IJCA solicits high quality original research papers for the upcoming January edition of the journal. The last date of research paper submission is 20 December 2024

Submit your paper
Know more
The week's pick
Responsive image
Improved Shuffled Frog Leaping Algorithm with Self-Adaptive Shuffling for Fuzzy Logic PD+G Controller Optimization in Robotic Manipulators

Duc Hoang Nguyen
Random Articles
Reseach Article

Automatic Test case Generation From UML State Chart Diagram

by Ranjita Swain, Vikas Panthi, Prafulla Kumar Behera, Durga Prasad Mohapatra
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 42 - Number 7
Year of Publication: 2012
Authors: Ranjita Swain, Vikas Panthi, Prafulla Kumar Behera, Durga Prasad Mohapatra
10.5120/5706-7756

Ranjita Swain, Vikas Panthi, Prafulla Kumar Behera, Durga Prasad Mohapatra . Automatic Test case Generation From UML State Chart Diagram. International Journal of Computer Applications. 42, 7 ( March 2012), 26-36. DOI=10.5120/5706-7756

@article{ 10.5120/5706-7756,
author = { Ranjita Swain, Vikas Panthi, Prafulla Kumar Behera, Durga Prasad Mohapatra },
title = { Automatic Test case Generation From UML State Chart Diagram },
journal = { International Journal of Computer Applications },
issue_date = { March 2012 },
volume = { 42 },
number = { 7 },
month = { March },
year = { 2012 },
issn = { 0975-8887 },
pages = { 26-36 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume42/number7/5706-7756/ },
doi = { 10.5120/5706-7756 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:32:01.933828+05:30
%A Ranjita Swain
%A Vikas Panthi
%A Prafulla Kumar Behera
%A Durga Prasad Mohapatra
%T Automatic Test case Generation From UML State Chart Diagram
%J International Journal of Computer Applications
%@ 0975-8887
%V 42
%N 7
%P 26-36
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
Abstract

More than 50% of software development effort is spent in testing phase in a typical software development project. Test case design as well as execution consumes a lot of time. So automated generation of test cases is highly required. We present a testing methodology to test object oriented software based on UML state chart diagrams. In our approach we apply function minimization technique and generate test cases automatically from UML state chart diagrams. Here, first the state chart diagram is constructed. Then the diagram is traversed. Here, we perform a DFS to select the associated predicates. After selecting the predicates, we guess an initial dataset. These conditional predicates are, then transformed to generate test cases automatically. Our technique achieves adequate test coverage without unduly increasing the number of test cases. Our approach achieves many important coverage like state coverage, transition coverage, transition pair coverage etc. . This paper also describes how minimization technique is used in testing.

References
  1. Abdurazik, A. and Offutt, J. 2000. Using UML collaboration diagrams for static checking and test generation, Proceedings of 3rd Int. Conf. UML, Lecture Notes in Computer Science, 2000, pp. 383 – 395.
  2. Belli, F. and Hollmann, A. 2008. Test generation and minimization with basic statecharts. In SAC'08, March 16-20, 2008.
  3. Binder, R. V. Testing object-oriented software: a survey'. Software Testing Verification Reliability, 6(3/4): 1996, pp. 125 – 252.
  4. Michel, R. Blaha and James R. Rumbaugh. 2005. Object-Oriented Modeling and Design with UML. Pearson, 2nd edition, 2005.
  5. Booch, G. , Rumbaugh J. , and Jacobson, I. 2001. The Unified Modeling Language Reference Manual. Addison-Wesley, 2001.
  6. Dssouli, A. , Saleh R. , Aboulhamid, K. , Ennouaary E. , and Bourhfir A. 1999. Test development for communication protocols: Towards automation. Computer Networks, 31: 1999, pp. 1835–1872.
  7. Gnesi Stefania, Latella, Diego, and Massink Mieke. 2004. Formal test-case generation for UML statecharts, Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age, 2004, pp. 75 – 84.
  8. Hajnal, A. and Forgacs, I. 1998. An applicable test data generation algorithm for domain errors. In ACM SIGSOFT Software Engineering Notes, Proc. ACM SIGSOFT Int. Symp. Software Testing and Analysis, 1998.
  9. Hartmann, J. , Imobedorf C. , and Meisinger M. 2000. UMLbased Integration Testing, Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, 2000.
  10. Jeng, B. and Weyuker, E. J. 1994. A simplified domain-testing strategy. ACMTrans. Software. Eng. Methodology, 3(3), 1994, pp. 254 – 270.
  11. Kansomkeat, S. and Rivepiboon, W. 2003. Automated-generating test case using UML statechart diagrams. In Proc. SAICSIT 2003, ACM, 2003, pp. 296 – 300.
  12. Kim, Y. G. , Hong, H. S. , Bae D. H. , and Cha S. D. et al. 1999. Test cases generation from UML state diagram, Software Testing Verification and Reliability, 1999, pp. 187 – 192.
  13. Korel, B. 1990. Automated software test data generation. IEEE Trans. Software Engineering,, 16(8), 1990, pp. 870 – 879.
  14. Kosindrdecha, N. and Daengdeg, J. 2005. A test generation method based on state diagram. Journal of Theoritical and Applied Information Technology, 2005, pp. 28 – 44.
  15. Kosmatov, Nikolai , Legeard, Bruno, Peureux, Fabien and Mark, Utting. 2004. Boundary coverage criteria for test generation from formal models. In Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering, , Washington, DC, USA, 2004, pp. 139 – 150.
  16. Li, H. and Peng, L. C. 2005. Software test data generation using ant colony optimization. In Proceedings of World Academy of Science, Engineeing and Technology, January 2005.
  17. Mall, R. 2009. Fundamentals of Software Engineering. Prentice Hall, 3rd edition, 2009.
  18. Offutt, J. and Abdurazik, A. 1999. Generating tests from UML specifications. In Proceedings of 2nd International Conference. UML, Lecture Notes in Computer Science, 1999, pp. 416 – 429.
  19. Offutt, J. , Liu, S. , Abdurazik, A. and Ammann, P. et al. 2003. Generating test data from state-based specifications. Software Testing Verification Reliability, 13, 2003, pp. 25 – 53.
  20. Pilone, D. and Pitman, N. . UML 2. 0 in a Nutshell. NY. O'Reilly, USA, 2005.
  21. Priestley, Mark. 2005. Practical Object-Oriented Design with UML. Tata McGraw-Hill, 2nd edition, 2005.
  22. Samuel, P. , Mall, R. , and Bothra, A. K. 2008. Automatic test case generation using Unified Modeling Language(UML) state diagrams. IET Software, 2(2), 2008, pp. 79 – 93.
  23. Savage, P. B. , Waiters S. and Stephenson M. 1997. Automated test methodology for operational flight programs. In Proceedings of IEEE Aerospace Conference, 1997, pp. 293–305.
  24. Sharma, M. and Mall, R. 2009. Automatic generation of test specifications for coverage of system state transitions. Information and Software Technology, (51), 2009, pp. 418 – 432.
  25. Swain, S. K. , Mohapatra, D. P. and Mall, R. 2010. Test case generation based on state and activity models. Journal of Object Technology, 9(5), 2010, pp. 1 – 27.
  26. Systa, T. , Koskimiesa, K. and Makine, E. 2002. Automated compression of state machines using UML statechart diagram. Information and Software Technology, (4), 2002, pp. 565 – 578.
  27. Weighhofer, M. , Fraser, G. and Wotawa, F. 2009. Using coverage to automate and improve test purpose based testing. Information and Software Technology, 51, 2009, pp . 1601-1617.
  28. UML unified modling language : infrastructure, version 2. 0 final adopted specification, September 2003.
  29. IEEE (1998). IEEE standard for software test documentation. New York: IEEE. ISBN 0-7381-1443-X.
  30. Koster, K. and Kao, D. C. 2007. State coverage: A structural test adequacy criterion for behavior checking. In ESEC/FSE, 2007.
  31. Offutt, J. , Liu, S. , A. Abdurazik and P. Ammann. 2003. Generating test data from state-based specifications. SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2003; 13:25–53.
  32. Blanco, R. , Fanjul, J. G. and Tuya, J. 2010. Test case generation for transition-pair coverage using Scatter Search. International Journal of Software Engineering and Its Applications Vol. 4, No. 4, October 2010.
  33. The ModelJUnit Model-Based Testing Tool : http://www. cs. waikato. ac. nz/~marku/mbt/modeljunit.
Index Terms

Computer Science
Information Sciences

Keywords

Unified Modelling Language State Chart Diagram Function Minimization Technique Test Cases Fsm Or Efsm Model Junit

Powered by PhDFocusTM