Test Case Generation Based on State Machine Diagram

 Abstract— In a typical software development project more than 50% of software development effort is spent in testing phase. Test case design as well as execution consumes a lot of time. So automated generation of test cases is highly required. In this paper, we aim at developing and generating test cases from state machine diagram by minimizing cost and time. In our approach, first the state machine diagram is traversed. Then the conditional predicates are selected. These conditional predicates are, then transformed to generate test cases automatically, by applying function minimization technique.

[1]  M. Sarma,et al.  Automatic generation of test specifications for coverage of system state transitions , 2009, Inf. Softw. Technol..

[2]  James E. Rumbaugh,et al.  Object-Oriented Modeling and Design with UML , 2004 .

[3]  Abdeslam En-Nouaary,et al.  Test development for communication protocols: towards automation , 1999, Comput. Networks.

[4]  Elaine J. Weyuker,et al.  A simplified domain-testing strategy , 1994, TSEM.

[5]  Erkki Mäkinen,et al.  Automated compression of state machines using UML statechart diagram notation , 2002, Inf. Softw. Technol..

[6]  P. Savage,et al.  Automated test methodology for Operational Flight Programs , 1997, 1997 IEEE Aerospace Conference.

[7]  Diego Latella,et al.  Formal test-case generation for UML statecharts , 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.

[8]  ROBERT V. BINDER,et al.  Testing object‐oriented software: a survey , 1996, Softw. Test. Verification Reliab..

[9]  A. Jefferson Offutt,et al.  Using UML Collaboration Diagrams for Static Checking and Test Generation , 2000, UML.

[10]  Dan Pilone,et al.  UML 2.0 in a nutshell , 2005 .

[11]  Robert V. Binder,et al.  Testing object‐oriented software: a survey , 1996 .

[12]  Fevzi Belli,et al.  Test generation and minimization with "basic" statecharts , 2008, SAC '08.

[13]  Shaoying Liu,et al.  Generating test data from state‐based specifications , 2003, Softw. Test. Verification Reliab..

[14]  Bogdan Korel,et al.  Automated Software Test Data Generation , 1990, IEEE Trans. Software Eng..

[15]  Jirapun Daengdej,et al.  A TEST GENERATION METHOD BASED ON STATE DIAGRAM , 2010 .

[16]  Ákos Hajnal,et al.  An applicable test data generation algorithm for domain errors , 1998, ISSTA '98.

[17]  Rajib Mall,et al.  Test Case Generation Based on State and Activity Models , 2010, J. Object Technol..

[18]  Gordon Fraser,et al.  Using coverage to automate and improve test purpose based testing , 2009, Inf. Softw. Technol..

[19]  Wanchai Rivepiboon,et al.  Automated-generating test case using UML statechart diagrams , 2003 .

[20]  Doo-Hwan Bae,et al.  Test cases generation from UML state diagrams , 1999, IEE Proc. Softw..

[21]  R. Mall,et al.  Automatic test case generation using unified modeling language (UML) state diagrams , 2008, IET Softw..

[22]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[23]  A. Jefferson Offutt,et al.  Generating Tests from UML Specifications , 1999, UML.

[24]  Mark Priestley,et al.  Practical Object-oriented Design with UML , 1997 .

[25]  Chi-Hsin Huang,et al.  Generating State-based Polymorphic Interaction Graph from UML Diagrams for Object Oriented Testing , 2011 .

[26]  Chiou Peng Lam,et al.  Software Test Data Generation using Ant Colony Optimization , 2004, International Conference on Computational Intelligence.

[27]  Bruno Legeard,et al.  Boundary coverage criteria for test generation from formal models , 2004, 15th International Symposium on Software Reliability Engineering.