A Test Case Generation Approach Based on Sequence Diagram and Automata Models

To improve the test automation in software development process, following the researches on test cases generation technology from models, an incremental test case generation approach is proposed based on finite au- tomata, and Event deterministic finite automata (ETDFA) are employed to describe the sequence diagram models of system interaction. By model checked with Proposi- tional projection temporal logic (PPTL), the correctness of ETDFA is verified. Then we can get the composed au- tomata by synthesis rules, and generate the test cases in- crementally by test cases generation algorithm. Case stud- ies are presented to show that this approach enables to improve test cases correctness, and reduce the complexity of test cases generation process.

[1]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

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

[3]  Liu Ling.  Generating Test Case Based on UML Statecharts , 2005 .

[4]  Debasis Samanta,et al.  Synthesis of test scenarios using UML activity diagrams , 2009, Software & Systems Modeling.

[5]  Duan Zhenhua.  Test Case Generation Based on UML2.0 Models , 2011 .

[6]  Duan Zhenhua,et al.  Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata , 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion.

[7]  Jeremy Dick,et al.  Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.

[8]  Shaoying Liu,et al.  A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications , 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement.

[9]  Duan Zhen.  Specification and Verification of UML2.0 Sequence Diagrams Based on Event Deterministic Finite Automata , 2011 .

[10]  Zhang Wen-Hui.  Model Checking: Theories,Techniques and Applications , 2002 .

[11]  Zhenhua,et al.  Test Case Generation from Conjunctions of Predicates with Model Checking , 2014 .

[12]  R. Mall,et al.  Automatic Test Case Generation from UML Sequence Diagram , 2007, 15th International Conference on Advanced Computing and Communications (ADCOM 2007).