Resolving observability problems in distributed test architectures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3731 LNCS, Issue , 2005, Pages 219-232

  Chen, J ^a   Hierons, R M ^b   Ural, H ^c  

^a UNIVERSITY OF WINDSOR   (Canada)

^b BRUNEL UNIVERSITY   (United Kingdom)

^c UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Controllability; Finite state machine; Observability; Test architecture; Testing

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; DATA PROCESSING; FINITE AUTOMATA; OBSERVABILITY; PROBLEM SOLVING; CONTROLLABILITY; LOGIC CIRCUITS; SPECIFICATIONS;

FINITE STATE MACHINE; MULTIPLE REMOTE TESTERS; TEST ARCHITECTURE; CHECKING SEQUENCE; CONTROLLABILITY AND OBSERVABILITIES; DISTRIBUTED TEST ARCHITECTURE; MESSAGE EXCHANGE; OBSERVABILITY PROBLEMS; SYSTEM UNDER TEST;

DISTRIBUTED COMPUTER SYSTEMS; TESTING;

EID: 33646405162     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11562436_17     Document Type: Conference Paper

References (17)

1. S. Boyd and H. Ural. The synchronization problem in protocol testing and its complexity. Information Processing Letters, 40:131136, 1991.
2. L. Cacciari and O. Rafiq. Controllability and observability in distributed testing. Information and Software Technology, 41:767780, 1999.
3. J. Chen, R. M. Hierons, and H. Ural. Overcoming observability problems in distributed test architectures. Submitted for publication.
4. J. Chen, R. M. Hierons, and H. Ural. Conditions for resolving observability problems in distributed testing. In 24rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), volume 3235 of LNCS, pages 229242. Springer-Verlag, 2004.
5. W. Chen and H. Ural. Synchronizable checking sequences based on multiple UIO sequences. IEEE/ACM Transactions on Networking, 3:152157, 1995.
6. A. Gill. Introduction to the Theory of Finite-State Machines. New York: McGraw-Hill, 1962.
7. S. Guyot and H. Ural. Synchronizable checking sequences based on UIO sequences. In Proc. of IFIP IWPTS95, pages 395407, Evry, France, September 1995.
8. F.C. Hennie. Fault detecting experiments for sequential circuits. In Proc. of Fifth Ann. Symp. Switching Circuit Theory and Logical Design, pages 95110, Princeton, N.J., 1964.
9. R. M. Hierons. Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Information and Software Technology, 43(9):551560, 2001.
10. D. Lee and M. Yannakakis. Principles and methods of testing finitestate machines a survey. Proceedings of the IEEE, 84(8):10891123, 1996.
11. G. Luo, R. Dssouli, and G. v. Bochmann. Generating Synchronizable test sequences based on finite state machine with distributed ports. In The 6th IFIP Workshop on Protocol Test Systems, pages 139153. Elsevier (North-Holland), 1993.
12. G. Luo, R. Dssouli, G. v. Bochmann, P. Venkataram, and A. Ghedamsi. Test generation with respect to distributed interfaces. Computer Standards and Interfaces, 16:119132, 1994.
13. K.K. Sabnani and A.T. Dahbura. A protocol test generation procedure. Computer Networks, 15:285297, 1988.
14. B. Sarikaya and G. v. Bochmann. Synchronization and specification issues in protocol testing. IEEE Transactions on Communications, 32:389395, April 1984.
15. K.C. Tai and Y.C. Young. Synchronizable test sequences of finite state machines. Computer Networks, 13:11111134, 1998.
16. H. Ural and Z. Wang. Synchronizable test sequence generation using UIO sequences. Computer Communications, 16:653661, 1993.
17. Y.C. Young and K.C. Tai. Observation inaccuracy in conformance testing with multiple testers. In Proc. of IEEE WASET, pages 8085, 1998.