Abstract
Designing test cases for remote asynchronous testing is error-prone. This is due to the difficulty to foresee all the disorders on the observations collected by the tester as well as the possible collisions between stimuli and observations. Designing correct synchronous test cases is easier, but transforming,them into correct asynchronous ones is a difficult task. Moreover, it is difficult to compare remote testing and local testing as in general sets of conformant implementations are not comparable.
In this paper, we prove that by the use of logical stamps, remote testing can gain the same power as local testing: the conformant implementations in an asynchronous environment are exactly the same ones as in a synchronous environment. We give an operational method to derive the correct test cases for remote testing with this testing power. Furthermore, we show that test cases designed for a synchronous environment can test synchronous conformance in an asynchronous environment. This is achieved by the implementation of a test driver executed at runtime on the tester.
This work is partially supported by the French Army (CELAR). C. Jard is member of CNRS, T. Jéron of INRIA, L. Tanguy and C. Viho of IFSIC/University of Rennes I
Chapter PDF
Similar content being viewed by others
References
E. Brinksma. A theory for the derivation of tests. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing and Verification, North Holland, 1988. IFIP Transactions.
L. Doldi, V. Encontre, J.-C. Fernandez, T. Jéron, S. Le Bricquir, N. Texier, and M. Phalippou. Assessment of automatic generation methods of conformance test suites in an industrial context. In B. Baumgarten, 11.-J. Burkhardt, and A. Giessler, editors, IFIP TC6 9 th International Workshop on Testing of Communicating Systems. Chapman and Hall, p. 346–361, September 1996.
J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In A. Alur and T. Hen-zinger, editors, Conference on Computer-Aided Verification (CAV ‘86), New Brunswick, New Jersey, USA, LNCS 1102. Springer, July 1996.
FMCT ISO/IEC JTC1/SC21 WG7, ITU-T. SG 10/Q.8. Information Retrieval, Transfer ad Management for OSI; Framework: Formal Methods in Conformance Testing. Committee Draft CD 13245–1, ITU-T proposed recommendation Z 500. ISO - ITU-T, Geneve, 1996.
ITU-T Z.100. Specification and Description Language (SDL). Recommendation ITU Z. 100, 1996.
C. Jard. How to observe interoperability at the service layer of protocols. In T. Mizuno, T Higashino, and N. Shiratori, editors, IFIP TC6 ?th International Workshop on Protocol Test Systems. Chapman and Hall, p. 259–270, November 1994.
M. Kim, S.T. Chanson, S. Kang, and J. Shin. An approach for testing asynchronous communicating systems. In B. Baumgarten, H.-J. Burkhardt, and A. Giessler, editors, IFIP TC6 9 th International Workshop on Testing of Communicating Systems. Chapman and Hall, p. 141–155, September 1996.
D. Lee and M. Yannakakis. Principles and Methods of Testing Finite State Machines–A survey. In Proceedings of the IEEE, vol. 84(8), p. 1090–1123, August 1996.
OSI Open Systems Interconnection. Information Technology - Open Systems Interconnection Conformance Testing Methodology and Framework - Part 1: General Concept - part 2: Abstract Test Suite Specification - part 3: The Tree and Tabular Combined Notation (TTCN). International Standard ISO/IEC 9646–1/2/3, 1996.
M. Phalippou. Relations d’implantations et Hypothèses de test sur les automates à entrées et sorties. PhD thesis, Université de Bordeaux, 1994.
J. Tretmans. A formal approach to conformance testing. PhD thesis, University of Twente, Enschede, The Netherlands, 1992.
J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software–Concepts and Tools. Springer-Verlag, vol. 17, No. 3, p. 103–120, 1996.
S. H. Unger. Asynchronous sequential switching circuits. John Wiley and Sons, 1969.
L. Verhaard, J. Tretmans, P. Kars, and E. Brinksma. On Asynchronous Testing. In G. Von Bochman, R. Dssouli, and A. Das, editors, Fifth International Workshop on Protocol Test Systems, North Holland, 1993. IFIP Transactions.
R.G. de Vries, and J. Tretmans. On-the-Fly Conformance Testing using SPIN. In Holzmann, G. and Najm, E. and Serhrouchni, A., editors, Fourth Workshop on Automata Theoretic Verification with the SPIN Model Checker. ENST 98 S 002, p. 115–128, November 1998, Paris, France.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Jard, C., Jéron, T., Tanguy, L., Viho, C. (1999). Remote testing can be as powerful as local testing. In: Wu, J., Chanson, S.T., Gao, Q. (eds) Formal Methods for Protocol Engineering and Distributed Systems. PSTV FORTE 1999 1999. IFIP Advances in Information and Communication Technology, vol 28. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35578-8_2
Download citation
DOI: https://doi.org/10.1007/978-0-387-35578-8_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5270-0
Online ISBN: 978-0-387-35578-8
eBook Packages: Springer Book Archive