UM
Residential Collegefalse
Status已發表Published
I/O conformance test generation with colored petri nets
Liu J.2; Ye X.2; Zhou J.2; Song X.1
2014
Source PublicationApplied Mathematics and Information Sciences
ISSN23250399 19350090
Volume8Issue:6Pages:2695-2704
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. © 2014 NSP Natural Sciences Publishing Cor.

KeywordColored Petri Nets Input-output Conformance Model Simulation Software Testing Test Generation
DOI10.12785/amis/080605
URLView the original
Language英語English
WOS IDWOS:000338123900005
Scopus ID2-s2.0-84904543529
Fulltext Access
Citation statistics
Document TypeJournal article
CollectionUniversity of Macau
Affiliation1.Portland State University
2.Inner Mongolia University China
Recommended Citation
GB/T 7714
Liu J.,Ye X.,Zhou J.,et al. I/O conformance test generation with colored petri nets[J]. Applied Mathematics and Information Sciences, 2014, 8(6), 2695-2704.
APA Liu J.., Ye X.., Zhou J.., & Song X. (2014). I/O conformance test generation with colored petri nets. Applied Mathematics and Information Sciences, 8(6), 2695-2704.
MLA Liu J.,et al."I/O conformance test generation with colored petri nets".Applied Mathematics and Information Sciences 8.6(2014):2695-2704.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Liu J.]'s Articles
[Ye X.]'s Articles
[Zhou J.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Liu J.]'s Articles
[Ye X.]'s Articles
[Zhou J.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Liu J.]'s Articles
[Ye X.]'s Articles
[Zhou J.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.