A methodology of testing high-level Petri nets

Information and Software Technology

Volumn 44, Issue 8, 2002, Pages 473-489

  Zhu, Hong ^a   He, Xudong ^b  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

^b Florida International University   (United States)

Author keywords

Behaviour observation; Concurrent systems; High level Petri nets; Software testing methods; Test criteria

Indexed keywords

COMPUTER SOFTWARE; ERROR DETECTION; LOGIC PROGRAMMING; PETRI NETS; SEMANTICS; SOFTWARE ENGINEERING;

SOFTWARE TESTING METHODS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0036609389     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(02)00048-4     Document Type: Article

References (46)

1. Test set generation from algebraic specifications using logic programming
2. Software testing based on formal specifications: A theory and a tool
3. Case studies on testing object-oriented programs
4. The ASTOOT approach to testing object-oriented programs
5. TACCLE: A methodology for object-oriented software testing at the class and cluster levels
6. ROCS: An object-oriented class-level testing system based on the relevant observable contexts technique
7. Using Z specifications in category partition testing
8. Test templates: A specification-based testing framework
9. Using formal methods to derive test frames in category-partition testing
10. Software unit test coverage and adequacy
11. Structural testing of concurrent programs
12. Principles and methods of testing finite state machines - A survey
13. Test selection based on finite state models
14. Checking states and transitions of a set of communicating finite state machines
15. Protocol testing: Review of methods and relevance for software testing
16. Using high-level Petri nets for testing concurrent and real-time systems
17. Replay and testing for concurrent programs
18. Algebraic laws for nondeterminism and concurrency
19. Testing equivalences for processes
20. Refusal testing
21. Criteria for finite sets of paths that characterize control flow
22. Axiomatizing software test data adequacy
23. The evaluation of program-based software test data adequacy criteria
24. Analysis and refinement of software test data adequacy properties
25. Clarifying some fundamental concepts in software testing
26. Test data adequacy measurement
27. Understanding software test adequacy - An axiomatic and measurement approach
28. Axiomatic assessment of control flow based software test adequacy criteria
29. A formal interpretation of software testing as inductive inference
30. Constructions of behaviour observation schemes in software testing
31. A data flow oriented program testing strategy
32. On required element testing
33. Selecting software test data using data flow information
34. An applicable family of data flow testing criteria
35. System modeling with high-level Petri nets
36. High-level algebraic Petri nets
37. A formal analysis of the subsume relation between software test adequacy criteria
38. A theory of testing high-level Petri nets
39. A formal definition of hierarchical predicate transition nets
40. Validating algebraic class testing in final algebra
41. Erros in algebraic specifications and an experimental mutation testing tool
42. A theory of communicating sequential processes