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)

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)

• 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
• Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities

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)