doi: 10.4304/jsw.6.3.468-474
A CPN-based Software Testing Approach
- 1 Shanghai Key Laboratory of Computer Software Evaluating & Testing, Shanghai, China
- 2 School of Computer Engineering and Science, Shanghai University, Shanghai, China
Abstract
As a graphical and mathematical modeling tool,CPN (Colored Petri Net) is often used to describe thetransition of states for an information system. Theadvantage of CPN model is that the model can be simulateddynamically. This paper presents an approach to generatingtest cases based on a transition graph of CPN model. Thetransition graph provides a solid basis for test casesgeneration in a form that can be easily manipulated. Thecase for vending machine illustrates the effectiveness of thismethod.
Keywords
- software testing
- CPN
- model-based
- simul
How to Cite
Lizhi Cai, Juan Zhang, and Zhenyu Liu, "A CPN-based Software Testing Approach," Journal of Software, vol. 6, no. 3, pp. 468-474, 2011. https://doi.org/ 10.4304/jsw.6.3.468-474
Copyright & License
Copyright © 2011 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).