A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Update The Derivation of Conformance Tests From LOTOS Specifications
IEEE Transactions on Software Engineering
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Selecting test sequences for partially-specified nondeterministic finite state machines
IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems
A Calculus of Communicating Systems
A Calculus of Communicating Systems
IEEE Transactions on Software Engineering
The CO-OP Method for Compositional Derivation of Conformance Testers
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
Modeling basic LOTOS by FSMs for conformance testing
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Test Case Derivation from LOTOS Specifications
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Testability of a Communicating System Through an Environment
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Testing Non-Deterministic State Machines with Fault Coverage
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
| Hi-index | 0.00 |
A formal framework is first proposed for conformance testing of communication systems, which are modeled by labeled transition systems, in a systematic and operational approach. In this framework, test cases are limited to deterministic processes with finite behavior and state labels; testing is a finite set of experiments where every test case is parallelly composed with an implementation under test; observations are action sequences, executed during the testing, from which the test verdict is drawn directly. The fault model and fault coverage criteria are introduced to measure the effectiveness of testing. Afterwards, based on this framework, for several common conformance relations, we present corresponding functions for the state labeling of test cases and upper bounds on the necessary sizes of test suites for obtaining complete fault coverage.