Abstract

This paper presents the technique to generate test cases from UML State diagram, that is based on path oriented approach. Genetic algorithm is used with stack based approach to get the optimized feasible test cases. Generated test cases are effective, efficient and optimized.

References

• G. , Rumbaugh J. , and Jacobson I. , "The Unified Modelling Language User Guide", Addison-Wesley, 1999.
• Mahesh Shirole, Amit Suthar, Rajeev Kumar, "Generation of Improved Test Cases from UML State Diagram Using Genetic Algorithm", ACM, 2011.
• Offutt J. and Abdurazik A. , "Generating Tests from UML Specifications", LNCS , vol. 1723/1999, issue 76, 1999.
• Kim Y. G. , Hong H. S. , Cho S. M. , Bae D. B. , Cha S. D, "Test case generation from UML State diagram", IEEE Proceedings- Software, Vol. 146, No 4, pp. 187-192, Aug, 1999.
• Chow T. S. , "Testing software design modeled by Finite state machines", IEEE Transactions on Software Engineering, Vol 4, no. 3, pp. 178-187, May, 1978.
• Rajappa V. , Biradar A. , and Panda S. , " Efficient Software Test Case Generation Using Genetic Algorithm Based Graph Theory", IEEE in Proceedings of the 1st International Conference on Emerging Trends in Engineering and Technology (ICETET 08), pp. 298-303, May, 2008.
• Prasanna M. and Chandran K. R. , " Automatic Test Case Generation for UML Object diagrams using Genetic Algorithm", Int. J. Advance. Soft Compute. Appl, Vol. 1, No. 1,pp. 19-32, July, 2009.
• Rajappa V. , Biradar A. , and Panda S, "Efficient Software Test Case Generation Using Genetic Algorithm Based Graph Theory", In Proceedings of the 1st International Conference on Emerging Trends in Engineeringand Technology (ICETET 08) , pp. 298-303, Nagpur, 2008.
• Mahesh Shirole, Amit Suthar, Rajeev Kumar, " Generation of Improved Test Cases from UML State Diagram Using Genetic Algorithm", ACM, 2011.
• Kansomkeat, S. and Rivepiboon, W. , "Automated- generating test case using UML statechart diagrams", ACM, pp. 296 300, 2003
• Binder, R. V. , "Testing object-oriented software: a survey", Software Testing Verification Reliability, pp. 125 252, 1996.
• Raluca Lefticaru, Florentin Ipate, "Automatic State-Based Test Generation Using Genetic Algorithms", IEEE Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2008.
• A. J. Offutt, S. Liu, A. Abdurazik, and P. Ammann, "Generating test data from state-based specifications, Software Testing Verification Reliability, pp. 2553, 2003.
• Byoungju Choi, Hoijin Yoon, Jin-Ok Jeon , "A UML-based Test Model for Component Integration Test", Workshop on Software Architecture and Component ,pp. 63-70, 1999.
• J. C. Fernandez, C. Jard, T Jeron, L Nedelka and C. Viho, "using on the fly verification techniques for the generation of test suites ",Computer Aided Verifiction Lecture Notes in Computer Science, springer-verlag, vol. 1102, pp. 348-359, 1996.
• J. Grabowski, D. Hogrefe, R. Scheurer and Z. R. Dai, "Applying SAMSTAG to the B-ISDN protocol sscope", in Testing of Communicating Systems, Vol. 10, Chapman and Hall, 1997.
• S. Huang, D. Lee and M Staskauskas, "Validation based test se- quence generation for networks of EFSMs", in Proceedings of SDL Forum, pp. 135-151, 1996.
• A. Kerbrat, T. Jeron and R. Groz, "Automated test generation from SDL Specifcations", in Proceedings of IFIP FORTE/PSTV, 1996.
• R. E. Miller and S. Paul, "Generating conformance test Sequences for combined control and data flow of communication protocols", in Proceedings of PSTV' 92, pp. 13-27, 1992.
• B. Sarikaya, G. V. Bochmann and E. Cerny, "A test design methodology for protocol testing", IEEE Transactions on Software Engineering, Vol. 13, No. 5, pp. 518-531, May, 1987.
• H. Ural, "Test sequence selection based on static data flow analysis", Computer Communications, Vol. 10, No. 5, pp. 234-242, Oct, 1987.
• H. Ural and B. Yang, "A Test Sequence Selection Method for Protocol Testing", IEEE Transactions on Communications, Vol. 39, No. 4, pp 514-523, Apr, 1991.
• H. Ural and A. Williams, "Test Generation by Exposing Control and Data Dependencies within System Specifcations in SDL", in Proceedings International Conference on Formal Description Techniques, pp. 339-354, Oct 1993.
• Bosman O, "Object test coverage using finite state machine", In Technology of Object-Oriented Languages and Systems, pp. 171-178, 1995.
• Kansomkeat S. , Rivepiboon W, "Automated-Generating Test Case Using UML Statechart Diagrams", In Proceedings of SAICSIT, pp. 296-300,2003.
• Derderian K. , Merayo M. G. , Hierons R. M. , and Nunez M. , "Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms", In Proceedings of the 10th InternationalWork-Conference on Artificial Neural Networks, 2003.
• Kung D. C. , Suchak N. , Gao J. , Hsia P, "On object state testing", In Proceedings of Computer Software and Applications Conference, pp. 222-227, 1994.
• Sangeeta Sabharwal, Ritu Sibal, Chayanika Sharma, "Applying Genetic Algorithm for Prioritization of Test Case Scenarios Derived from UML Diagrams", IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, No. 2, May, 2011.
• http://www. mathcs. gordon. edu/courses/cps211/ATMExample/Statecharts. html