A model reduction method for parallel software testing

DOI10.1155/2013/595897MaRDI QIDQ364436zbMATH OpenOpenAlexWikidataFDO

Authors Xinming Ye, Tao Sun

Publication date 9 September 2013

Published in Journal of Applied Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1155/2013/595897

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

Summary: 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.

Recommendations

• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• scientific article; zbMATH DE number 1285209
• Reducing the series-parallel structure of the normal generalized stochastic Petri nets
• Dynamic reductions for model checking concurrent software
• Computer-based reduction technique for Petri nets

Cited in

(3)

• Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities
• A highly accurate numerical discretisation of time dependent singular state variable model for software testing process
• Test purpose oriented I/O conformance test selection with colored Petri nets

This page was built for publication: A model reduction method for parallel software testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q364436)