Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets
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 c...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2014-01-01
|
| Series: | Journal of Applied Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2014/645235 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832548502659399680 |
|---|---|
| author | Jing Liu Xinming Ye Jiantao Zhou |
| author_facet | Jing Liu Xinming Ye Jiantao Zhou |
| author_sort | Jing Liu |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-e9998a0efc424ab183aa40188780e920 |
| institution | Kabale University |
| issn | 1110-757X 1687-0042 |
| language | English |
| publishDate | 2014-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Applied Mathematics |
| spelling | doaj-art-e9998a0efc424ab183aa40188780e9202025-02-03T06:13:55ZengWileyJournal of Applied Mathematics1110-757X1687-00422014-01-01201410.1155/2014/645235645235Test Purpose Oriented I/O Conformance Test Selection with Colored Petri NetsJing Liu0Xinming Ye1Jiantao Zhou2College of Computer Science, Inner Mongolia University, Hohhot 010021, ChinaCollege of Computer Science, Inner Mongolia University, Hohhot 010021, ChinaCollege of Computer Science, Inner Mongolia University, Hohhot 010021, ChinaThis 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.http://dx.doi.org/10.1155/2014/645235 |
| spellingShingle | Jing Liu Xinming Ye Jiantao Zhou Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets Journal of Applied Mathematics |
| title | Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets |
| title_full | Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets |
| title_fullStr | Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets |
| title_full_unstemmed | Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets |
| title_short | Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets |
| title_sort | test purpose oriented i o conformance test selection with colored petri nets |
| url | http://dx.doi.org/10.1155/2014/645235 |
| work_keys_str_mv | AT jingliu testpurposeorientedioconformancetestselectionwithcoloredpetrinets AT xinmingye testpurposeorientedioconformancetestselectionwithcoloredpetrinets AT jiantaozhou testpurposeorientedioconformancetestselectionwithcoloredpetrinets |