Distributed testing without encountering controllability and observability problems

Information Processing Letters

Volumn 88, Issue 3, 2003, Pages 133-141

  Ural, Hasan ^a   Whittier, David ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Controllability and observability problems; Distributed systems; Distributed test architectures; Distributed testing; Finite state machine; Test sequence construction

Indexed keywords

GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING;

FINITE STATE MACHINES (FSM);

DATA PROCESSING;

EID: 0141707654     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(03)00364-8     Document Type: Article

References (21)

1. Aho A., Dahbura A., Lee D., Uyar M. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. IEEE Trans. Comm. 39:(11):1991;1604-1615.
2. Boyd S., Ural H. The synchronization problem in protocol testing and its complexity. Inform. Process. Lett. 40:1991;131-136.
3. Cacciari L., Rafiq O. Controllability and observability in distributed testing. Inform. Software Technol. 41:1999;767-780.
4. Chen W., Ural H. Minimum-cost synchronizable test sequences based on multiple UIO sequences. IEEE/ACM Trans. Networking. 3:1995;152-157.
5. Edmonds J., Johnson E.L. Matching, Euler tours and the Chinese postman. Math. Programm. 5:1973;88-124.
6. En-Nouaary A., Dssouli R., Khendek F. Timed Wp-method: Testing real-time systems. IEEE Trans. Software Engrg. 28:(11):2002;1023-1038.
7. Farooqui K., Logrippo L., de Meer J. The ISO reference model for open distributed processing: an introduction. Comput. Networks ISDN Syst. 27:1995;1215-1229.
8. Garey M.R., Johnson D.S. Computers and Intractability: A Guide to the Theory of Intractability. 1979;Freeman, New York.
9. Guyot S., Ural H. Synchronizable checking sequences based on UIO sequences. IFIP IWPTS'95, Evry, France. 1995;395-407.
10. Hierons R.M. Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Inform. Software Technol. 43:(9):2001;551-560.
11. ISO/IEC Information technology - Opens Systems Interconnection, 9646, Parts 1-7, 1995.
12. ISO/IEC Open Distributed Processing, Reference Model, 10746, Parts 1-4, 1996.
13. Lee D., Yannakakis M. Principles and methods of testing finite state machines: A survey. Proc. IEEE. 84:(8):1996;1090-1123.
14. Luo G., Dssouli R., Bochmann G.v., Venkataram P., Ghedamsi A. Test generation with respect to distributed interfaces. Comput. Standards Interfaces. 16:1994;119-132.
15. Sarikaya B., Bochmann G.v. Synchronization and specification issues in protocol testing. IEEE Trans. Comm. 32:1984;389-395.
16. Tai K.C., Young Y.C. Synchronizable test sequences of finite state machines. Comput. Networks ISDN Syst. 13:1998;1111-1134.
17. Ural H., Wang Z. Synchronizable test sequence generation using UIO sequences. Comput. Comm. 16:1993;653-661.
18. Wang C., Schwartz M. Fault detection with multiple observers. IEEE/ACM Trans. Networking. 1:1993;48-55.
19. D. Whittier, Solutions to controllability and observability problems in distributed testing, Thesis, SITE, University of Ottawa, ON, 2001.
20. Wu W.-J., Tang C.Y. Synchronizable test sequence for multi-party protocol conformance testing. Comput. Comm. 21:1998;1177-1183.
21. Young Y.C., Tai K.C. Observation inaccuracy in conformance testing with multiple testers. IEEE WASET. 1998;80-85.