IJCSI

GENERATION OF TEST CASES USING ACTIVITY DIAGRAM

---

---

Abstract

As Unified Modeling Language (UML) activity diagrams capture the key system behavior, the UML activity diagram is well suited for the system level testing of systems. In this paper, first an activity flow graph is derived from activity diagram. Then, all the required information is extracted from the activity flow graph (AFG). The activity flow graph (AFG) for the activity diagram is created by traversing the activity diagram from beginning to end, showing choices, conditions, concurrent executions, loop statements. From the graph different control flow sequence are identified by traversing the AFG by depth first traversal technique. Next, an algorithm is proposed to generate all activity paths. Finally, test cases are generated using activity path coverage criteria. Here, a case study on Soft drink Vending Machine (SVM) has been presented to illustrate our approach

Recommended Citation

[1] UML: UML 2.0 superstructure-final adopted specification. Object Management Group. http://www.omg.org/docs/ad/03- 08-02.pdf, (2003). [2] OMG. unified modeling language specification, version 2.0, object management group, www.omg.org, August 2005. [3] A. Abdurazik and J. Offutt. Using UML collaboration diagrams for static checking and test generation. In In 3rd International Conference on the UML, pages 383 – 395, 2000. [4] M. Archer, C. Heitmeyer, and S. Sims. TAME: A PVS interface to simplify proofs for automata models, In User Interfaces for Theorem Provers, 1998. [5] F. Belli and A. Hollmann. Test generation and minimization with basic statecharts. ACM, SAC-08, pages 718 – 723, March 2008. [6] S. Bensalem, P. Caspi, C. Parent-Vigouroux, and C. Dumas. A methodology for proving control systems with lustre and pvs. In In Proceedings of the Seventh Working Conference on Dependable Computing for Critical Applications (DCCA 7), 1999. [7] R. V. Binder. Testing Object-Oriented Systems Models, Patterns, and Tools. Addison Wesley, October 1999. Reading, Massachusetts. [8] M. R. Blaha and J. R. Rumbaugh. Object-Oriented Modeling and Design with UML. Pearson, second edition. [9] G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 2001. [10] M. Broy. Model-based testing of reactive systems. Advanced Lectures, Springer., June 2005. [11] M. Chen, P. Mishra, and D. Kalita. Coverage-driven automatic test generation for uml activity diagrams. In In Proceedings of the 18th ACM Great Lakes symposium on VLSI, pages 139 – 142, 2006. [12] T. S. Chow. Testing software design modeled by finite-state machines. IEEE TSE, 4(3):178 – 187, 1978. [13] B. P. Douglass. Real Time UML: Advances in The UML for Real-Time Systems. Addison Wesley, third edition, February. 2004. [14] P. Frankl and S. N. Weiss. An experimental comparison of the effectiveness of the all-uses and all-edges adequacycriteria. In Proceedings of the symposium on Testing, analysis, and verification, 1991. [15] D. Harel. Statecharts: A visual formulation for complex systems. Sci. Comp. Prog., 8:231 – 274, 1987. [16] J. Hartmann, M. Viera, H. Foster, and A. Ruder. A uml based approach to system testing. Journal, Innovations in Systems and Software Engineering, pages 12–24, 2005. Springer, London. [17] J. A. Jones and M. J. Harrold. Test-suite reduction and prioritization for modified condition/decision coverage. IEEE Transactions on Software Emgineering, 29(3):195 – 209, March 2003. [18] S. Kansomkeat and W. Rivepiboon. Automated-generating test case using UML statechart diagrams. In Proc. SAICSIT 2003,ACM, pages 296 – 300, 2003. [19] Y. G. Kim, H. S. Hong, D. H. Bae, and S. D. Cha et al. Test cases generation from UML state diagram, Software Testing Verification and Reliability, 187 – 192, 1999. [20] N. Kosindrecha and J. Daengdej. A test generation method based on state diagram. journal of Theoritical and Applied Information Technology, pages 28 – 44, 2005 – 2010. [21] P. Kruchten. The Rational Unified Process -An Introduction. Addison-Wesley, 2nd edition, 2000. Reading, MA. [22] R. Lai. A survey of communication protocol testing. Journal of Systems and Software, 62(1):21 – 46, 2002. [23] J. T. Lallchandani and R. Mall. Integrated state-based dynamic slicing technique for UML models. In IET Software, Vol. 4, Issue 1, pages 55 – 78, 2010. [24] H. Li and L. C. Peng. Software test data generation using ant colony optimization. In Proceedings of World Academy of Science, Engineeing and Technology, January 2005. [25] W. Linzhang, Y. Jiesong, Y. Xiaofeng, H. Ju, L. Xuandong, and Z. Guoliang. Generating test cases from UML activity diagram based on gray-box method. Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC04), pages 284 – 291, 2004. [26] R. Mall. Fundamentals of Software Engineering. Prentice Hall, 3rd edition, 2009. [27] C. Mingsong, Q. Xiaokang, and L. Xuandong. Automatic test case generation for uml activity diagrams. In In Proceedings of the 2006 International workshop on Automation of software test, pages 2 – 8. Shanghai, China, 2006. [28] J. Offutt and A. Abdurazik. Generating tests from UML specifications. In Proceedings of 2nd International Conference. UML, Lecture Notes in Computer Science, pages 416 – 429, 1999. [29] J. Offutt, S. Liu, A. Abdurazik, and P. Ammann et al. Generating test data from state-based specifications. Software Testing Verification Reliability., 13:25 – 53, 2003. [30] D. Pilone and N. Pitman. UML 2.0 in a Nutshell. NY. O’Reilly, USA, June 2005. [31] M. Priestley. Practical Object-Oriented Design with UML. Tata McGraw-Hill, second edition. [32] G. Reinelt. In the traveling salesman: Computational solutions for tsp applications. Springer Berlin / Heidelberg, 840, 1994. [33] G. Rothermel, M. Harrold, J. Ostrin, and C. Hong. An empirical study of the effects of minimization on the fault detection capabilities of test suites. In Proceedings of the International Conference on Software Maintenance, pages 34– 43, November 1998.