UIO sequence based checking sequences for distributed test architectures

Information and Software Technology

Volumn 45, Issue 12 SPEC., 2003, Pages 793-803

  Hierons, Robert M ^a   Ural, Hasan ^b  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Checking sequences; Controllability; Distributed testing; Observability; Test coordination; UIO sequences

Indexed keywords

COMPUTER SOFTWARE; OPTIMIZATION; PROBLEM SOLVING;

FINITE STATE MACHINES (FSM);

INFORMATION TECHNOLOGY;

EID: 0042331342     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(03)00060-0     Document Type: Conference Paper

References (18)

1. Aho A., 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. Aggarwal S., Sabnani K.K. Protocol Specification, Testing, and Verification. 1988;75-86. North-Holland, Amsterdam.
2. Boyd S., Ural H. The synchronization problem in protocol testing and its complexity. Information Processing Letters. 40:1991;131-136.
3. Cacciari L., Rafiq O. Controllability and observability in distributed testing. Information and Software Technology. 41:1999;767-780.
4. Chan W.Y.L., Vuong S.T., Ito M.R. An improved protocol test generation procedure based on UIOS. Proceedings of SIGCOMM'89. 1989;283-294.
5. Chen W., Ural H. Minimum-cost synchronizable test sequences based on multiple UIO sequences. IEEE/ACM Transactions on Networking. 3:1995;152-157.
6. Dahbura A.T., Sabnani K.K., Uyar M.U. Formal methods for generating protocol conformance test sequences. Proceedings of IEEE. 78:1990;1317-1325.
7. Gill A. Introduction to the Theory of Finite-State Machine. 1962;McGraw-Hill, New York.
8. Guyot S., Ural H. Synchronizable checking sequences based on UIO sequences. Proceedings of IFIP IWPTS'95, Evry, France. 1995;395-407.
9. Hennie F.C. Fault detecting experiments for sequential circuits. Proceedings in Fifth Annual Symposium Switching Circuit Theory and Logical Design. 1964 pp. 95-110.
10. Hierons R.M. Testing from a finite state machine: extending invertibility to sequences. The Computer Journal. 40:1997;220-230.
11. ISO/IEC Open Systems Interconnection - Conformance Testing Methodology and Framework, 9646-1, 1995.
12. Lee D., Yannakakis M. Testing finite state machines: state identification and verification. IEEE Transactions on Computers. 43:1994;306-320.
13. Luo G., Dssouli R., Bochmann G., Venkataram P., Ghedamsi A. Test generation with respect to distributed interfaces. Computer Standards and Interfaces. 16:1994;119-132.
14. Sabnani K.K., Dahbura A.T. A protocol test generation procedure. Computer Networks. 15:1988;285-297.
15. Sarikaya B., Bochmann G. Synchronization and specification issues in protocol testing. IEEE Transactions on Communications. 32:1984;389-395.
16. Tai K.C., Young Y.C. Synchronizable test sequences of finite state machines. Computer Networks. 13:1998;1111-1134.
17. Ural H., Wang Z. Synchronizable test sequence generation using UIO sequences. Computer Communications. 16:1993;653-661.
18. Young Y.C., Tai K.C. Observation inaccuracy in conformance testing with multiple testers. Proceedings of IEEE WASET. 1998;80-85.