Research on Method of Object-Oriented Test Cases Generation Based on UML and LTS

We present a novel method of Object-Oriented test case generation based on UML state diagrams and Label Transition System (LTS). The procedure is based on model-based testing techniques with test cases generated from UML state diagrams translated into LTS. UML state diagram can be a model of modeling software system. LTS model is an internal model to precisely represent the state transition. The examples and analysis show that our method is effective.

[1]  Chryssa Dislis,et al.  The evolution of a system test process [for Motorola GSM products] , 1999, International Test Conference 1999. Proceedings (IEEE Cat. No.99CH37034).

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

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

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

[5]  Henry Muccini,et al.  Deriving test plans from architectural descriptions , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

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

[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]  James A. Whittaker,et al.  Model‐Based Software Testing , 2002 .

[9]  Peter Fröhlich,et al.  Automated Test Case Generation from Dynamic Models , 2000, ECOOP.

[10]  Patrícia Duarte de Lima Machado,et al.  Test case generation by means of UML sequence diagrams and labeled transition systems , 2007, 2007 IEEE International Conference on Systems, Man and Cybernetics.