System state coverage through automatic test case generation

Achieving reasonable coverage of system states during testing is a non-trivial problem, since the number of system states for practical systems is usually very large. To further complicate the problem, system developers often do not construct a system state model. On the other hand, many modern systems are extremely complex and state-based, making it necessary to ensure satisfactory state coverage during system testing. In this paper, we propose a method to automatically generate system test cases to achieve coverage of system states based on Unified Modeling Language (UML) models constructed during a normal development process. We use UML use case, sequence and statechart models to generate a set of sequences of scenarios that can achieve adequate coverage of system states.

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

[2]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[3]  Clifford Stein,et al.  Introduction to Algorithms, 2nd edition. , 2001 .

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

[5]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[6]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

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

[8]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[9]  Clémentine Nebut,et al.  Automatic test generation: a use case driven approach , 2006, IEEE Transactions on Software Engineering.

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

[11]  Jesse H. Poore,et al.  Statistical testing of software based on a usage model , 1995, Softw. Pract. Exp..

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

[13]  Ilka Philippow,et al.  UML-Based Statistical Test Case Generation , 2002, NetObjectDays.

[14]  Aamer Nadeem,et al.  A state-based approach to integration testing based on UML models , 2007, Inf. Softw. Technol..

[15]  Lionel C. Briand,et al.  Is mutation an appropriate tool for testing experiments? , 2005, ICSE.

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

[17]  Lionel C. Briand,et al.  Automated support for deriving test requirements from UML statecharts , 2005, Software & Systems Modeling.

[18]  Thomas H. Cormen,et al.  Introduction to algorithms [2nd ed.] , 2001 .

[19]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, Software and Systems Modeling.

[20]  Mingsong Chen,et al.  Automatic test case generation for UML activity diagrams , 2006, AST '06.

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

[22]  Antonia Bertolino,et al.  Use case-based testing of product lines , 2003, ESEC/FSE-11.

[23]  Li Xuandong,et al.  Automatic test case generation for UML activity diagrams , 2006 .

[24]  Ivar Jacobson,et al.  Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series) , 2005 .