Abstract
Multi input/output transition system (MIOTS) models the interface distribution of a system by partitioning its inputs and outputs into channels. The MIOTS refusal testing theory has been based on singular observers. Such an observer is useful for eliminating nondeterminism in the testing process, but also contributes to the large size of the test suites. We propose an alternative type of observers: all-observer, which can observe all the output channels simultaneously, and help to reduce a test suite effectively. An algorithm is presented to generate an all-observer test suite from the specification. The derived test suite is sound for all MIOTS systems, and complete for a class of MIOTS systems that are common in practice. We also discuss the problem of factorized all-observer test generation. Our work complements the MIOTS refusal testing with singular observers.
This work was supported by the 973 project No.2003CB314801 and NSFC project No.90104002, No.60102009
Chapter PDF
References
De Nicola, R., Hennessy, M.C.B.: Testing equivalences for processes. Theoretical Computer Science 34, 83–133 (1984)
De Nicola, R.: Extensional equivalences for transition systems. Acta Informatica 24, 211–237 (1987)
Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software — Concepts and Tools 17(3), 103–120 (1996)
Heerink, L., Tretmans, J.: Refusal testing for classes of transition systems with inputs and outputs. In: FORTE X/PSTV XVII 1997, pp. 23–38 (1997)
Brinksma, E., Heerink, L., Tretmans, J.: Factorized test generation for multiinput/output transition systems. In: TestCom 1998, pp. 67–82 (1998)
Phillips, I.: Refusal testing. Theoretical Computer Science 50(2), 241–284 (1987)
Tretmans, J., Verhaard, L.: A queue model relating synchronous and asynchronous communication. In: PSTV 1992, pp. 131–145 (1992)
Tretmans, J.: A formal approach to conformance testing. In: Sixth International Workshop on Protocol Test Systems, pp. 257–276 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 IFIP International Federation for Information Processing
About this paper
Cite this paper
Li, Z., Wu, J., Yin, X. (2004). Testing Multi Input/Output Transition System with All-Observer. In: Groz, R., Hierons, R.M. (eds) Testing of Communicating Systems. TestCom 2004. Lecture Notes in Computer Science, vol 2978. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24704-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-24704-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21219-5
Online ISBN: 978-3-540-24704-3
eBook Packages: Springer Book Archive