Overcoming observability problems in distributed test architectures

Information Processing Letters

Volumn 98, Issue 5, 2006, Pages 177-182

  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; Distributed systems; Finite state machine; Observability; Testing

Indexed keywords

CONTROLLABILITY; DISTRIBUTED COMPUTER SYSTEMS; OBSERVABILITY; PROBLEM SOLVING;

DESIGN PROCESS; TEST/CHECKING SEQUENCE; UNDETECTABLE OUTPUT SHIFT FAULTS; WEAKENED;

COMPUTER ARCHITECTURE;

EID: 33645095734     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2006.02.001     Document Type: Article

References (8)

1. S. Boyd, and H. Ural The synchronization problem in protocol testing and its complexity Inform. Process. Lett. 40 3 1991 131 136
2. L. Cacciari, and O. Rafiq Controllability and observability in distributed testing Inform. Software Technol. 41 1999 767 780
3. J. Chen, R.M. Hierons, and H. Ural Conditions for resolving observability problems in distributed testing 24rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004) Lecture Notes in Comput. Sci. vol. 3235 2004 Springer-Verlag Berlin 229 242
4. A. Khoumsi A temporal approach for testing distributed systems IEEE Trans. Software Engrg. 28 11 2002 1085 1103
5. D. Lee, and M. Yannakakis Principles and methods of testing finite-state machines - a survey Proc. IEEE 84 8 1996 1089 1123
6. G. Luo, R. Dssouli, G.v. Bochmann, P. Venkataram, and A. Ghedamsi Test generation with respect to distributed interfaces Comput. Standards Interfaces 16 1994 119 132
7. B. Sarikaya, and G.v. Bochmann Synchronization and specification issues in protocol testing IEEE Trans. Commun. 32 1984 389 395
8. K.-C. Tai, and Y.-C. Young Synchronizable test sequences of finite state machines Comput. Networks ISDN Systems 30 12 1998 1111 1134