I/O Conformance Test Generation with Colored Petri Nets

Authors

Jing Liu, College of Computer Science, Inner Mongolia University, Hohhot, China
Xinming Ye
Jiantao Zhou
Xiaoyu Song

Author Country (or Countries)

China

Abstract

This paper explores Input-Output Conformance (IOCO) test generation with Colored Petri Nets (CPN). A test generation oriented CPN model and CPN based IOCO relation is proposed. Feasible test cases are generated by model simulation with the proof of its soundness. The method integrates the merits the IOCO testing theory and the CPN modeling synergistically, and is applied as a nontrivial and competent test case generation approach for practical testing projects. The effectiveness of this test generation approach is demonstrated by a concrete software system. Since the model simulation based test generation process is irrespective with the model size, the effectiveness of the method is enhanced with scalability.

Suggested Reviewers

N/A

Digital Object Identifier (DOI)

http://dx.doi.org/10.12785/amis/080605

Recommended Citation

Liu, Jing; Ye, Xinming; Zhou, Jiantao; and Song, Xiaoyu (2014) "I/O Conformance Test Generation with Colored Petri Nets," Applied Mathematics & Information Sciences: Vol. 08: Iss. 6, Article 5.
DOI: http://dx.doi.org/10.12785/amis/080605
Available at: https://digitalcommons.aaru.edu.jo/amis/vol08/iss6/5