Constructing checking sequences for distributed testing

Formal Aspects of Computing

Volumn 18, Issue 1, 2006, Pages 84-101

  Ural, Hasan ^a   Williams, Craig ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Checking sequence; Controllability and observability problems; Distributed test architectures; Distributed testing; Finite state machine based testing; Test coordination

Indexed keywords

COMPUTATIONAL METHODS; CONTROLLABILITY; OBSERVABILITY; PROBLEM SOLVING; SYNCHRONIZATION;

CHECKING SEQUENCE; CONTROLLABILITY AND OBSERVABILITY PROBLEMS; COORDINATION PROBLEMS; DISTRIBUTED TEST ARCHITECTURES; DISTRIBUTED TESTING; FINITE STATE MACHINE (FSM); FINITE STATE MACHINE-BASED TESTING; MESSAGE EXCHANGES; TEST COORDINATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 32544450272     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00165-005-0083-8     Document Type: Article

References (23)

1. [BoU91] Boyd S, Ural H (1991) The synchronization problem in protocol testing and its complexity. Inf Process Lett 40:131-136
2. [CaR99] Cacciari L, Rafiq O (1999) Controllability and observability in distributed testing. Inf Softw Technol 41:767-780
3. [ChU95] Chen W, Ural H (1995) Synchronizable checking sequences based on multiple UIO sequences. IEEE/ACM Trans Netw 3:152-157
4. [CHU04] Chen J, Hieraus RM, Ural H (2004) Conditions for resolving observability problems in distributed testing. In: Proceedings of 24th IFIP international conference on formal techniques for networked and distributed systems (FORTE 2004), LNCS vol 3235. Springer, Berlin Heidelberg New York, pp 229-242
5. [Gil62] Gill A (1962) Introduction to the theory of finite-state machines, McGraw-Hill, New York
6. [Gon70] Gonenc G (1970) A method for the design of fault detection experiments. IEEE Trans Comput 19:551-558
7. [GuU95] Guyot S, Ural H (1995) Synchronizable checking sequences based on UIO sequences. In: Proceedings of IFIP IWPTS'95, Evry, France, pp 395-407
8. [Hen64] Hennie FC (1964) Fault detecting experiments for sequential circuits. In: Proceedings of 5th annual symposium switching circuit theory and logical design,pp 95-110, Princeton
9. [Hie01] Hierons RM (2001) Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Inf Softw Technol 43:551-560
10. [HiU02] Hierons RM, Ural H (2002) Reduced length checking sequences. IEEE Trans Comput 51:1111-1117
11. [HiU03] Hierons RM, Ural H (2003) UIO sequence based checking sequences for distributed test architectures. Inf Softw Technol 45:793-803
12. [InU99] Inan K, Ural H (1999) Efficient checking sequences for testing finite state machines. Inf Softw Technol 41:799-812
13. [Koh78] Kohavi Z (1978) Switching and finite automata theory. McGraw-Hill, New York
14. [LDB94] Luo G, Dssouli R, Bochmann GV, Venkataram P, Ghedamsi A (1994) Test generation with respect to distributed interfaces. Comput Stand Interfaces 16:119-132
15. [LeY94] Lee D, Yannakakis M (1994) Testing finite state machines: state identification and verification. IEEE Trans Comput 43:306-320
16. [SaB84] Sarikaya B, Bochmann GV (1984) Synchronization and specification issues in protocol testing. IEEE Trans Commun 32:389-395
17. [SaD88] Sabnani KK, Dahbura AT (1988) A protocol test generation procedure. Comput Netw 15:285-297
18. [TaY98] Tai KC, Young YC (1998) Synchronizable test sequences of finite state machines. Comput Netw 13:1111-1134
19. [UrW93] Ural H, Wang Z (1993) Synchronizable test sequence generation using UIO sequences. Comput Commun 16:653-661
20. [UWZ97] Ural H, Wu X, Zhang F (1997) On minimizing the lengths of checking sequences. IEEE Tran Comput 46:93-99
21. [UrW03a] Ural H, Whittier D (2003) Distributed testing without encountering controllability and observability problems. Inf Process Lett 88:133-141
22. [UrW03b] Ural H, Williams C (2003) Generating checking sequences for a distributed test architecture. IFIP TestCom, Sophia Antipolis, France, pp. 146-162
23. [YoT98] Young YC, Tai KC (1998) Observation inaccuracy in conformance testing with multiple testers. In: Proceedings of IEEE WASET pp 80-85