Abstract
Communication systems are composite systems which can conduct simultaneous communications with their environment. Such systems may require multiparty testing to determine their conformity.
To develop an appropriate test suite, one should establish the required test method first. To decide whether multiparty testing is necessary, that is, whether the system truly accepts simultaneous signals from the environment, we describe the interconnection of system interfaces with internal buffers by a matrix, assuming the system structure and the way of communication of SDL. From this matrix we try to select independent signals, which can be accepted simultaneously by the system. The criterion of signal independence is that signals should be offered to different buffers. From sets of independent signals we generate composite inputs. We suggest to use these composite signals as selection criteria to develop the set of test purposes and apply them to generate a test suite. Accordingly we suggest a modification to the strong reasonable environment technique, most often used to generate test suites. We demonstrate the method on the foreign agent part of the IP Mobility Support.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35567-2_25
Chapter PDF
Similar content being viewed by others
Keywords
References
ISO/IEC 9646 IT-OSI, OSI Conformance Testing Methodology and Framework
A.Ek, J.Grabowski, D.Hogrefe, R.Jerome, B.Koch, M.Schmitt: Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications, Institute for Telematics, University of Lübeck, Technical Report A-97–03, 1997
J.C.Fernandez, C.Jard, T.Jéron, L.Nedelka, C.Viho: Using on-thefly verification techniques for test generation of test suites, INRIA Technical Report No 2987, France, 1996
J.C.Fernandez, C.Jard, T.Jéron, L.Nedelka, C.Viho: An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology, INRIA Technical Report No 2923, France, 1996
Revised Working Draft on “Framework: Formal Methods in Conformance Testing”, JTC1/SC21/WG1/Project 54.1, January 1995
Revised Working Draft on “FMCT guidelines on Test Generation Methods from Formal Descriptions”, JTC1/SC2I/WG1/Project 54.2, February 1995
J.Grabowski, R.Scheurer, D.Toggweiler, D.Hogrefe: Dealing with the complexity of state space exploration algorithms for SDL, Proceedings of the 6th GI/ITG techn. meeting on FDTs for Distributed Systems, University of Erlagen, Germany, 1996
J.Grabowski, R.Scheurer, Z.R.Dai, D.Hogrefe: Applying SAMSTAG to the B-ISDN Protocol SSCOP, Institute for Telematics, University of Lübeck, Technical Report A-97–01, 1997
D.Kang, M.Kim, S.Kang: A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines, FORTE/PSTV’97
D.Lee, K.K.Sabnani, D.M.Kristol, S.Paul: Conformance Testing of Protocols Specified as Communicating Finite State Machines — A Guided Random Walk Based Approach, IEEE Trans on Communications, Vol. 44, No. 5, May 1996
G.Luo, A.Das, G.v.Bochmann: Software Testing Based on SDL Specifications with Save, IEEE Trans. on Software Engineering, Vol. 20, No. 1, 1994
ObjectGEODE on-line documentation, Verilog, 1998
ITU-T Z.100, Specification and Description Language (SDL)
Q.M.Tan, A.Petrenko, G.v.Bochmann: A Test Generation Tool for Specifications in the Form of State Machines, ISBN–0–7803–3250–4/96, IEEE 1996
Amendment 1 to ISO/IEC 9646–3:1992 TTCN extensions
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Törö, M. (1999). Decision on Tester Configuration for Multiparty Testing. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing, vol 21. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35567-2_8
Download citation
DOI: https://doi.org/10.1007/978-0-387-35567-2_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6699-8
Online ISBN: 978-0-387-35567-2
eBook Packages: Springer Book Archive