Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets | Zendy

Jing Liu | Zendy; Xinming Ye | Zendy; Jiantao Zhou | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets

Author(s) -

Jing Liu,

Xinming Ye,

Jiantao Zhou

Publication year - 2014

Publication title -

journal of applied mathematics

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.307

H-Index - 43

eISSN - 1687-0042

pISSN - 1110-757X

DOI - 10.1155/2014/645235

Subject(s) - soundness , computer science , selection (genetic algorithm) , test (biology) , test plan , scalability , petri net , test case , model selection , reliability engineering , programming language , artificial intelligence , machine learning , mathematics , engineering , paleontology , statistics , regression analysis , database , weibull distribution , biology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research