Testing in the Distributed Test Architecture | Springer Nature Link

Testing in the Distributed Test Architecture | Springer Nature Link
Advertisement
Testing in the Distributed Test Architecture
Chapter
pp 157–183
Cite this chapter
Formal Methods and Testing
Abstract
The introduction of multiple remote testers to apply a test or checking sequence introduces the possibility of controllability and observability problems. These problems can require the use of external coordination message exchanges among testers. It is desirable to construct a test or checking sequence from the specification of the system under test such that it is free from these problems without requiring the use of external coordination messages. Here we define criteria on the specification of the system under test for this to be possible. For specifications satisfying the criteria, algorithms for constructing subsequences that eliminate the need for external coordination messages are given.
This is a preview of subscription content,
log in via an institution
to check access.
Access this chapter
Log in via an institution
Institutional subscriptions
Preview
Unable to display preview.
Download preview
PDF.
Unable to display preview.
Download preview
PDF.
Similar content being viewed by others
Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors
Chapter
Local Observability and Controllability Enforcement in Distributed Testing
Chapter
Interaction-Based Offline Runtime Verification of Distributed Systems
Chapter
Explore related subjects
Discover the latest articles, books and news in related subjects, suggested using machine learning.
Assay Systems
Checkpoints
Software Testing
Standards
Assessment and Testing
Control Structures and Microprogramming
Formal Verification of Robotic Systems
References
Aho, A.V., Dahbura, A.T., Lee, D., Uyar, M.U.: An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. In: Protocol Specification, Testing, and Verification VIII, Atlantic City, pp. 75–86. Elsevier, North-Holland (1988)
Google Scholar
Boyd, S., Ural, H.: The synchronization problem in protocol testing and its complexity. Information Processing Letters 40, 131–136 (1991)
Article
MATH
MathSciNet
Google Scholar
Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Information and Software Technology 41, 767–780 (1999)
Article
Google Scholar
Chanson, S.T., Lee, B.P., Parakh, N.J., Zeng, H.X.: Design and implementation of a Ferry Clip test system. In: Protocol Specification, Testing and Verificaion, IX, pp. 101–118. Elsevier, North-Holland (1990)
Google Scholar
Chen, J., Hierons, R.M., Ural, H.: Overcoming observability problems in distributed test architectures. Information Processing Letters 98, 177–182 (2006)
Article
MathSciNet
Google Scholar
Chen, J., Hierons, R.M., Ural, H.: Conditions for resolving observability problems in distributed testing. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 229–242. Springer, Heidelberg (2004)
Google Scholar
Chen, J., Hierons, R.M., Ural, H.: Resolving observability problems in distributed test architecture. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 219–232. Springer, Heidelberg (2005)
Chapter
Google Scholar
Chen, W., Ural, H.: Synchronizable checking sequences based on multiple UIO sequences. IEEE/ACM Transactions on Networking 3, 152–157 (1995)
Article
Google Scholar
Gill, A.: Introduction to the Theory of Finite-State Machines. McGraw-Hill, New York (1962)
MATH
Google Scholar
Guyot, S., Ural, H.: Synchronizable checking sequences based on UIO sequences. In: Proc. of IFIP IWPTS 1995, Evry, France, September 1995, pp. 395–407 (1995)
Google Scholar
Hennie, F.C.: Fault detecting experiments for sequential circuits. In: Proc. of Fifth Ann. Symp. Switching Circuit Theory and Logical Design, Princeton, N.J., pp. 95–110 (1964)
Google Scholar
Hierons, R.M.: Extending test sequence overlap by invertibility. The Computer Journal 39, 325–330 (1996)
Article
Google Scholar
Hierons, R.M.: Testing from a finite state machine: Extending invertibility to sequences. The Computer Journal 40, 220–230 (1997)
Article
Google Scholar
Hierons, R.M.: Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Information and Software Technology 43(9), 551–560 (2001)
Article
Google Scholar
Hierons, R.M., Ural, H.: Synchronized checking sequences based on UIO sequences. Information and Software Technology 45(12), 793–803 (2003)
Article
Google Scholar
Iyengar, V., Chakrabarty, K.: An efficient finite-state machine implementation of Huffman decoders. Information Processing Letters 64, 271–275 (1998)
Article
Google Scholar
Lee, D., Yannakakis, M.: Principles and methods of testing finite–state machines – a survey. Proceedings of the IEEE 84(8), 1089–1123 (1996)
Article
Google Scholar
Luo, G., Dssouli, R., Bochmann, G.v.: Generating synchronizable test sequences based on finite state machine with distributed ports. In: The 6th IFIP Workshop on Protocol Test Systems, pp. 139–153. Elsevier, North-Holland (1993)
Google Scholar
Luo, G., Dssouli, R., Bochmann, G.v., Venkataram, P., Ghedamsi, A.: Test generation with respect to distributed interfaces. Computer Standards and Interfaces 16, 119–132 (1994)
Article
Google Scholar
Sabnani, K.K., Dahbura, A.T.: A protocol test generation procedure. Computer Networks 15, 285–297 (1988)
Google Scholar
Sarikaya, B., Bochmann, G.v.: Synchronization and specification issues in protocol testing. IEEE Transactions on Communications 32, 389–395 (1984)
Article
Google Scholar
Tai, K.C., Young, Y.C.: Synchronizable test sequences of finite state machines. Computer Networks 13, 1111–1134 (1998)
Google Scholar
Tanenbaum, A.S.: Computer Networks, 3rd edn. Prentice-Hall, Englewood Cliffs (1996)
Google Scholar
Ural, H., Wang, Z.: Synchronizable test sequence generation using UIO sequences. Computer Communications 16, 653–661 (1993)
Article
Google Scholar
Ural, H., Whittier, D.: Distributed testing without encountering controllability and observability problems. Information Processing Letters 88(3), 133–141 (2003)
Article
MathSciNet
MATH
Google Scholar
Ural, H., Williams, C.: Generating checking sequences for a distributed test architecture. In: IFIP TestCom, Sophia Antipolis, France, pp. 146–162 (2003)
Google Scholar
Ural, H., Williams, C.: Constructing checking sequences for distributed testing. Formal Aspects of Computing 18(1), 84–101 (2006)
Article
MATH
Google Scholar
Ural, H., Wu, X., Zhang, F.: On minimizing the lengths of checking sequences. IEEE Transactions on Computers 46, 93–99 (1997)
Article
Google Scholar
Yang, B., Ural, H.: Protocol conformance test generation using multiple UIO sequences with overlapping. In: ACM SIGCOMM 1990: Communications, Architectures, and Protocols, Twente, The Netherlands (September 1990)
Google Scholar
Young, Y.C., Tai, K.C.: Observation inaccuracy in conformance testing with multiple testers. In: Proc. of IEEE WASET, pp. 80–85 (1998)
Google Scholar
Download references
Author information
Authors and Affiliations
School of Computer Science, University of Windsor, Windsor, Ontario, Canada, N9B 3P4
Jessica Chen
Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex, UB8 3PH, United Kingdom
Robert M. Hierons
School of Information Technology and Engineering, University of Ottawa, Ottawa, Ontario, Canada, K1N 6N5
Hasan Ural
Authors
Jessica Chen
View author publications
Search author on:
PubMed
Google Scholar
Robert M. Hierons
View author publications
Search author on:
PubMed
Google Scholar
Hasan Ural
View author publications
Search author on:
PubMed
Google Scholar
Editor information
Robert M. Hierons Jonathan P. Bowen Mark Harman
Rights and permissions
Reprints and permissions
Copyright information
About this chapter
Cite this chapter
Chen, J., Hierons, R.M., Ural, H. (2008). Testing in the Distributed Test Architecture.

In: Hierons, R.M., Bowen, J.P., Harman, M. (eds) Formal Methods and Testing. Lecture Notes in Computer Science, vol 4949. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78917-8_5
Download citation
.RIS
.ENW
.BIB
DOI
Publisher Name
Springer, Berlin, Heidelberg
Print ISBN
978-3-540-78916-1
Online ISBN
978-3-540-78917-8
eBook Packages
Computer Science
Computer Science (R0)
Share this chapter
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative
Keywords
Test Sequence
Input Sequence
System Under Test
Synchronization Problem
Information Processing Letter
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Publish with us
Policies and ethics
Access this chapter
Log in via an institution
Institutional subscriptions