Test Purpose Oriented IO Conformance Test Selection with Colored Petri Nets
Joint Authors
Zhou, Jiantao
Ye, Xinming
Liu, Jing
Source
Journal of Applied Mathematics
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-10, 10 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-04-14
Country of Publication
Egypt
No. of Pages
10
Main Subjects
Abstract EN
This paper proposes an input-output conformance (IOCO) test selection method directed by test purpose model specified with colored Petri nets (CPN).
Based on conformance testing oriented CPN models for specifying software functional behaviors and specific test purposes, respectively, feasible test cases are generated, guided by the CPN based IOCO relation, using synchronized model simulation with the proof of the soundness of test generation and the coverage towards test purposes.
This test selection method integrates the merits the IOCO testing theory and the CPN modeling synergistically and is applied as a novel and applicable test selection method for actual testing practice of large-scale software systems.
As the synchronized model simulation with two CPN models is irrespective of their model scale, the effectiveness and practicability of our test selection method are enhanced with scalability.
American Psychological Association (APA)
Liu, Jing& Ye, Xinming& Zhou, Jiantao. 2014. Test Purpose Oriented IO Conformance Test Selection with Colored Petri Nets. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-10.
https://search.emarefa.net/detail/BIM-487763
Modern Language Association (MLA)
Liu, Jing…[et al.]. Test Purpose Oriented IO Conformance Test Selection with Colored Petri Nets. Journal of Applied Mathematics No. 2014 (2014), pp.1-10.
https://search.emarefa.net/detail/BIM-487763
American Medical Association (AMA)
Liu, Jing& Ye, Xinming& Zhou, Jiantao. Test Purpose Oriented IO Conformance Test Selection with Colored Petri Nets. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-10.
https://search.emarefa.net/detail/BIM-487763
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-487763