A CPN-based Software Testing Approach

As a graphical and mathematical modeling tool, CPN (Colored Petri Net) is often used to describe the transition of states for an information system. The advantage of CPN model is that the model can be simulated dynamically. This paper presents a n approach to generating test cases based on a transition graph of CPN model. The transition graph provides a solid basis for test cases generation in a form that can be easily manipulated. The case for vending machine illustrates the effectiveness of this method.

[1]  Michael Westergaard,et al.  CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets , 2003, ICATPN.

[2]  Marie-Claude Gaudel.  Software Testing Based on Formal Specification , 2007, PSSE.

[3]  V. Gehlot,et al.  Model Driven Development of a Service Oriented Architecture ( SOA ) Using Colored Petri Nets , 2006 .

[4]  Xia Wang,et al.  Software fault tree and coloured Petri net-based specification, design and implementation of agent-based intrusion detection systems , 2007, Int. J. Inf. Comput. Secur..

[5]  C. A. Petri.  Communication with automata , 1966 .

[6]  Wil M. P. van der Aalst,et al.  Protos2CPN: using colored Petri nets for configuring and testing business processes , 2007, International Journal on Software Tools for Technology Transfer.

[7]  Fei Xia,et al.  Modeling and verifying asynchronous communication mechanisms using coloured Petri nets , 2008, 2008 8th International Conference on Application of Concurrency to System Design.

[8]  Kurt Jensen,et al.  An Introduction to the Theoretical Aspects of Coloured Petri Nets , 1993, REX School/Symposium.

[9]  Marie-Claude Gaudel,et al.  Software testing based on formal specifications: a theory and a tool , 1991, Softw. Eng. J..

[10]  Robert M. Hierons,et al.  Testing from a Z Specification , 1997, Softw. Test. Verification Reliab..

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

[12]  Robert M. Hierons.  Testing from a Z Specification , 1997, Softw. Test. Verification Reliab..

[13]  Gilbert Thomas Laycock,et al.  Formal specification and testing: A case study , 1992, Softw. Test. Verification Reliab..

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

[15]  A. Jefferson Offutt,et al.  A Comparative Evaluation of Tests Generated from Different UML Diagrams , 2008, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing.