A Model Reduction Method for Parallel Software Testing
Modeling and testing for parallel software systems are very difficult, because the number of states and execution sequences expands significantly caused by parallel behaviors. In this paper, a model reduction method based on Coloured Petri Net (CPN) is shown, which could generate a functionality-equ...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2013-01-01
|
| Series: | Journal of Applied Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2013/595897 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832555555139354624 |
|---|---|
| author | Tao Sun Xinming Ye |
| author_facet | Tao Sun Xinming Ye |
| author_sort | Tao Sun |
| collection | DOAJ |
| description | Modeling and testing for parallel software systems are very difficult, because the number of states and execution sequences expands significantly caused by parallel behaviors. In this paper, a model reduction method based on Coloured Petri Net (CPN) is shown, which could generate a functionality-equivalent and trace-equivalent model with smaller scale. Model-based testing for parallel software systems becomes much easier after the model is reduced by the reduction method. Specifically, a formal model for software system specification is constructed based on CPN. Then the places in the model are divided into input places, output places, and internal places; the transitions in the model are divided into input transitions, output transitions, and internal transitions. Internal places and internal transitions could be reduced if preconditions are matching, and some other operations should be done for functionality equivalence and trace equivalence. If the place and the transition are in a parallel structure, then many execution sequences will be removed from the state space. We have proved the equivalence and have analyzed the reduction effort, so that we could get the same testing result with much lower testing workload. Finally, some practices and a performance analysis show that the method is effective. |
| format | Article |
| id | doaj-art-a90dc8ae657a4a5f98a876f4ccb80d74 |
| institution | Kabale University |
| issn | 1110-757X 1687-0042 |
| language | English |
| publishDate | 2013-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Applied Mathematics |
| spelling | doaj-art-a90dc8ae657a4a5f98a876f4ccb80d742025-02-03T05:47:52ZengWileyJournal of Applied Mathematics1110-757X1687-00422013-01-01201310.1155/2013/595897595897A Model Reduction Method for Parallel Software TestingTao Sun0Xinming Ye1College of Computer Science, Inner Mongolia University, Hohhot 010021, ChinaCollege of Computer Science, Inner Mongolia University, Hohhot 010021, ChinaModeling and testing for parallel software systems are very difficult, because the number of states and execution sequences expands significantly caused by parallel behaviors. In this paper, a model reduction method based on Coloured Petri Net (CPN) is shown, which could generate a functionality-equivalent and trace-equivalent model with smaller scale. Model-based testing for parallel software systems becomes much easier after the model is reduced by the reduction method. Specifically, a formal model for software system specification is constructed based on CPN. Then the places in the model are divided into input places, output places, and internal places; the transitions in the model are divided into input transitions, output transitions, and internal transitions. Internal places and internal transitions could be reduced if preconditions are matching, and some other operations should be done for functionality equivalence and trace equivalence. If the place and the transition are in a parallel structure, then many execution sequences will be removed from the state space. We have proved the equivalence and have analyzed the reduction effort, so that we could get the same testing result with much lower testing workload. Finally, some practices and a performance analysis show that the method is effective.http://dx.doi.org/10.1155/2013/595897 |
| spellingShingle | Tao Sun Xinming Ye A Model Reduction Method for Parallel Software Testing Journal of Applied Mathematics |
| title | A Model Reduction Method for Parallel Software Testing |
| title_full | A Model Reduction Method for Parallel Software Testing |
| title_fullStr | A Model Reduction Method for Parallel Software Testing |
| title_full_unstemmed | A Model Reduction Method for Parallel Software Testing |
| title_short | A Model Reduction Method for Parallel Software Testing |
| title_sort | model reduction method for parallel software testing |
| url | http://dx.doi.org/10.1155/2013/595897 |
| work_keys_str_mv | AT taosun amodelreductionmethodforparallelsoftwaretesting AT xinmingye amodelreductionmethodforparallelsoftwaretesting AT taosun modelreductionmethodforparallelsoftwaretesting AT xinmingye modelreductionmethodforparallelsoftwaretesting |