Abstract
We apply the state identification techniques for testing communication systems which are modeled labeled by transition systems (LTSs). The conformance requirements of specifications are represented as the trace equivalence relation and derived tests have finite behavior and provide well-defined fault coverage. We redefine in the realm of LTSs the notions of state identification that were originally defined in the realm of input/output finite state machines (FSMs). Then we present the corresponding test generation methods and discuss their fault coverage.
This work was supported by the HP-NSERC-CITI Industrial Research Chair on Communication Protocols, Université de Montréal
Chapter PDF
Similar content being viewed by others
Keywords
References
G. v. Bochmann and A. Petrenko. Protocol testing: Review of methods and relevance for software testing. (1994) ACM 1994 Intern. Symp. on Soft. Testing and Analysis,109–124.
E. Brinksma. A theory for the derivation of tests. (1988) PSTV VIII,63–74.
A. R. Cavalli and S. U. Kim. Automated protocol conformance test generation based on formal methods for LOTOS specifications. (1992) 5th IWPTC,212–220.
T. S. Chow. Testing software design modeled by finite-state machines. (1978) IEEE Trans. on Soft. Engi.,SE-4(3):178–187.
W. Chun and P. D. Amer. Improvements on UIO sequence generation and partial UIO sequences. (1992) PSTV XII,245–259.
S. Fujiwara and G. v. Bochmann Testing nonterministic finite state machine with fault coverage. (1991) 4th IWPTS,267–280.
S. Fujiwara et al. Test selection based on finite state models. (1991) IEEE Trans. on Soft. Engi.,SE-17(6):591–603.
F. C. Hennie. Fault-detecting experiments for sequential circuits. (1964) 5th Symp. on Switching Circuit Theory and Logical Design.
G. Luo, et al. Selecting test sequences for partially-specified nondeterministic finite machines. (1994) 7th IWPTS,91–106.
A. Petrenko. Checking experiments with protocol machines. (1991) 4th IWPTS,83–94.
D. H. Pitt and D. Freestone. The derivation of conformance tests from LOTOS specifications. (1990) IEEE Trans. on Soft. Engi.,SE-16(12):1337–1343.
K. Sabnani and A. T. Dahbura. A protocol test generation procedure. (1988) Comput. Net. and ISDN Syst., 15 (4): 285–297.
Q. M. Tan, A. Petrenko, and G. v. Bochmann Modeling basic LOTOS by FSMs for conformance testing. (1995) PSTV XV,137–152.
Q. M. Tan, et al. Testing trace equivalence for labeled transition systems. (1995) TR 976, Dept.of I.R.O., University of Montreal, canada.
Q. M. Tan, A. Petrenko, and G. v. Bochmann. A framework for conformance testing of systems communicating through rendezvous. (1996) IEEE 26th Intern. Symp. on Fault-Tolerant Computing, 230–238.
J. Tretmans. A Formal Approach to Conformance Testing. (1992) Ph.D. thesis, Hengelo, Netherlands.
J. Tretmans. Testing labelled transition systems with inputs and outputs. (1995) 8th IWPTS,461–476.
S. T. Vuong and et al. The UIOv-method for protocol test sequence generation. (1990) 2th IWPTS,203–225.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Tan, Q.M., Petrenko, A., v. Bochmann, G. (1997). Checking Experiments with Labeled Transition Systems for Trace Equivalence. In: Kim, M., Kang, S., Hong, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35198-8_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-35198-8_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6701-8
Online ISBN: 978-0-387-35198-8
eBook Packages: Springer Book Archive