Download:
by Hong Zhu, Xudong He
In Proceedings of the International Conference on Software: Theory and Practice, 16th IFIP World Computer Congress
http://wwwcms.brookes.ac.uk/techreports/CMS-TR-00-06.pdf
Add To MetaCart
Abstract:
A high-level Petri net can be viewed as an abstract concurrent program and thus can be tested. In this paper, we present a theory of testing high-level Petri nets by adapting some of our general results in testing concurrent software systems. We propose a set of schemes to observe and record testing results and a set of coverage criteria to measure the testing adequacy of given Petri nets. We show the subsuming relationships among the proposed coverage criteria. 1.
Citations
|
211
|
Selecting software test data using data flow information
– Rapps, Weyuker
- 1985
|
|
147
|
An applicable family of data flow testing criteria
– Frankl, Weyuker
- 1988
|
|
133
|
System Modelling with High-Level Petri Nets
– Genrich, Lautenbach
- 1981
|
|
96
|
A data flow oriented program testing strategy
– Laski, Korel
- 1983
|
|
61
|
On Required Element Testing
– Ntafos
- 1984
|
|
53
|
Axiomatizing Software Test Data Adequacy
– Weyuker
- 1986
|
|
44
|
Structural testing of concurrent programs
– Taylor, Levine, et al.
- 1992
|
|
43
|
The evaluation of program-based software test data adequacy criteria
– Weyuker
- 1988
|
|
18
|
Using high-level petri nets for testing concurrent and real-time systems
– Morasca, Pezze
- 1990
|
|
17
|
A formal definition of hierarchical predicate transition nets
– He
- 1996
|
|
17
|
A formal analysis of the subsume relation between software test adequacy criteria
– Zhu
- 1996
|
|
12
|
Test data adequacy measurement
– Zhu, Hall
- 1993
|
|
11
|
Analysis and refinement of software test data adequacy properties
– Parrish, Zweben
- 1991
|
|
6
|
Clarifying Some fundamental Concepts in Software Testing
– Parrish, Zweben
- 1993
|
|
6
|
A theory of behaviour observation in software testing
– Zhu, He
- 1999
|
|
5
|
Axiomatic assessment of control flow based software test adequacy criteria
– Zhu
- 1995
|
|
5
|
A formal interpretation of software testing as inductive inference
– Zhu
- 1996
|
|
4
|
Criteria for finite sets of paths that characterize control flow
– Baker, Howatt, et al.
- 1986
|
|
3
|
Understanding software test adequacy -- An axiomatic and measurement approach, Mathematics of Dependable Systems, Edited by
– Zhu, Hall, et al.
- 1995
|
|
2
|
High-level Algebraic Petri Nets
– Kan, He
- 1995
|
|
1
|
A Theory for Testing Concurrent Software Systems
– Zhu, He
- 1998
|
