Residential College | false |
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 Publication | Applied Mathematics and Information Sciences |
ISSN | 23250399 19350090 |
Volume | 8Issue: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. |
Keyword | Colored Petri Nets Input-output Conformance Model Simulation Software Testing Test Generation |
DOI | 10.12785/amis/080605 |
URL | View the original |
Language | 英語English |
WOS ID | WOS:000338123900005 |
Scopus ID | 2-s2.0-84904543529 |
Fulltext Access | |
Citation statistics | |
Document Type | Journal article |
Collection | University of Macau |
Affiliation | 1.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. |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment