Test ready UML statechart models

The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as systematic testing and test adequacy. We choose UML Statechart models of behavior as the basis for test generation. This paper attempts to lay a new foundation for UML Statechart based test generation by introducing Test Ready UML Statechart models that can be used by testers in the testing phases just as the conventional UML Statecharts are required during the design and development phases. In order to achieve the goal of automatic test generation based on UML Statecharts, we identify what is required over and above UML Statecharts for testers to specify so that the resulting test ready models are amenable for automatic generation of executable test scripts. The test generation problem from a Test Ready UML Statechart is solved by determining all the sentential forms derivable from an equivalent extended context free grammar model.

[1]  Dianne Easterling,et al.  March , 1890, The Hospital.

[2]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[3]  James A. Whittaker,et al.  A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..

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

[5]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[6]  Jeff Offutt,et al.  Generating Test Cases from UML Specifications , 1999 .

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

[8]  Jean Hartmann,et al.  UML-Based integration testing , 2000, ISSTA '00.

[9]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, UML.

[10]  Bill Mitchell,et al.  Automatic Generation of Conformance Tests from Message Sequence Charts , 2002, SAM.

[11]  Eda Marchetti,et al.  The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects , 2002, UML.

[12]  Alan Hartman,et al.  Projected state machine coverage for software testing , 2002, ISSTA '02.

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

[14]  A. Pretschner,et al.  Model-based testing for real , 2004, International Journal on Software Tools for Technology Transfer.

[15]  Gregor von Bochmann,et al.  FSM-based incremental conformance testing methods , 2004, IEEE Transactions on Software Engineering.

[16]  Sungwon Kang,et al.  Test Cases Generation from UML Activity Diagrams , 2007 .