A CPN-based Software Testing Approach

Abstract

[1] G. Bernot, M. C. Gaudel, and B. Marre. Software testing based on formal specification: A theory and a tools, Software Engineering Journal, 6(6), pp387-405,1991.
doi:10.1049/sej.1991.0040

[2] Robert M. Hierons. Testing from Z specification. The Journal of Software Testing, Verification, and Reliability, 7, pp19-33, 1997.
doi:10.1002/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N

[3] G. Laycock. Formal specification and testing: A case study. The Journal of Software Testing, Verification, and Reliability, 2, pp7-23,1992.
doi:10.1002/stvr.4370020104

[4] Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik and Andrea Baldini. A Comparative Evaluation of Tests Generated from Different UML Diagrams. Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2008), pp867-872, Phuket Thailand, August 2008.
doi:10.1109/SNPD.2008.48

[5] Jeff Offutt, Shaoying Liu, Aynur Abdurazik and Paul Ammann. Generating Test Data From State-based Specifications. The Journal of Software Testing, Verification and Reliability, 13(1), pp25-53, March 2003

[6] Jeff Offutt and Aynur Abdurazik. Using UML Collaboration Diagrams for Static Checking and Test Generation. The Third International Conference on the Unified Modeling Language (UML '00), pp383-395, York, UK, October 2000

[7] Carl Adam “Petri. Communication With Automata”. Tech. Rep. RADC TR-65-377, Rome Air Dev. Center. New York, 1966.

[8] Ratzer A. V, Wells L, Lassen H. M, et al. “CPN Tools for Editing Simulating and Analysing Coloured Petri Nets”. Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), Eindhoven, The Netherlands: Springer-Verlag, 2003. 450-462.
doi:10.1007/3-540-44919-1_28

[9] Kyller Gorgˆonio, Fei Xia. Modeling and verifying asynchronous communication mechanisms using coloured Petri nets. The 8th International Conference on Application of Concurrency to System Design, 2008. ACSD 2008. pp138 – 147

[10] Vijay Gehlot, Thomas Way, Robert Beck and Peter DePasquale. Model Driven Development of a Service Oriented Architecture (SOA) Using Colored Petri Nets. First Workshop on Quality in Modeling, ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Models 2006, Genova, Italy, pp63-77, October 1-6, 2006

[11] Guy Helmer, Johnny Wong and Mark Slagell et al. Software fault tree and coloured Petri net–based specification, design and implementation of agent-based intrusion detection systems. International Journal of Information and Computer Security 1(2), pp. 109 – 14, 2007
doi:10.1504/IJICS.2007.012246

[12] F. Gottschalk, M. H. Jansen-vullers, H. M. W. Verbeek. Protos2CPN: Using Colored Petri Nets for Configuring and Testing Business Processes. In Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN. pp95-110, 2008

[13] K. Jensen. An Introduction to the Theoretical Aspects of Coloured Petri Nets. A Decade of Concurrency, Lecture Notes in Computer Science vol. 803, Springer-Verlag, pp.230-272, 1994.

[14] A. V. Ratzer, et al., CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.Proceedings of the 24th International Conference on the Application and Theory of Petri Nets (ICATPN 2003). 2003, pp450-462.
doi:10.1007/3-540-44919-1_28