A framework for conformance testing of systems communicating through rendezvous
- 23 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 230-238
- https://doi.org/10.1109/ftcs.1996.534610
Abstract
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.Keywords
This publication has 9 references indexed in Scilit:
- DERIVED STIMULUS RELATIONS, SEMANTIC PRIMING, AND EVENT-RELATED POTENTIALS: TESTING A BEHAVIORAL THEORY OF SEMANTIC NETWORKSJournal of the Experimental Analysis of Behavior, 2005
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Protocol testingPublished by Association for Computing Machinery (ACM) ,1994
- Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-methodIEEE Transactions on Software Engineering, 1994
- Testability of a communicating system through an environmentPublished by Springer Nature ,1993
- The derivation of conformance tests from LOTOS specificationsIEEE Transactions on Software Engineering, 1990
- The linear time - branching time spectrumPublished by Springer Nature ,1990
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980