Abstract
In developing distributed systems, conformance testing is required to determine whether an implementation under test (IUT) conforms to its specification. With distributed test architectures involving multiple remote testers, testing approaches may become more complicated because of issues known as controllability and observability problems. Based on a finite state machine (FSM) representation of the system’s specification, this paper proposes a new method to generate a test sequence utilizing multiple UIO sequences. The method is essentially guided by the way of minimizing the use of external coordination messages and input/output operations. Experiments are given to evaluate the proposed method.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Sarikaya B, Bochmann G V. Synchronization and specification issues in protocol testing [J]. IEEE Transactions on Communications, 1984, 32(4): 389–395.
Luo G, Dssouli R, Bochmann G V, et al. Test generation with respect to distributed interfaces [J]. Computer Standards and Interfaces, 1994, 16(2): 119–132.
Chen J, Duan L H. Conditions for avoiding controllability problems in distributed testing [M]// Formal Methods and Software Engineering. Heidelberg: Springer Berlin, 2006, 4260: 460–477.
Chen X J, Hierons R M, Ural H. Overcoming observability problems in distributed testarchitectures [J]. Information Processing Letters, 2006, 98(5): 177–182.
Cacciari L, Rafiq O. Controllability and observability in distributed testing [J]. Information and Software Technology, 1999, 41(11–12): 767–780.
Ural H, Wu X, Zhang F. On minimizing the lengths of checking sequences [J]. IEEE Transactions on Computers, 1997, 46(1): 93–99.
Ural H, Williams C. Constructing checking sequences for distributed testing [J]. Formal Aspects of Computing, 2006, 18(1): 84–101.
Lee D, Yannakakis M. Testing finite state machines: state identification and verification [J]. IEEE Transactions on Computers, 1994, 43(3): 306–320.
Hierons R M, Ural H. UIO sequence based checking sequences for distributed test architectures [J]. Information and Software Technology, 2003, 45(12): 793–803.
Chen W H. Synchronizable test sequences based on multiple UIO sequences [J]. IEEE/ACM Transactions on Networking, 1995, 3(2): 152–157.
Chen K, Fan J, Huang C D, et al. Testing a distributed system: generating test sequences without potential controllability and observability problems [C]// Proceedings of the International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning. Washington, DC: Technologies IEEE Computer Society, 2006.
Aho A, Dahbura A, Lee D, et al. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours [J]. IEEE Transactions on Computers, 1991, 39(11): 1604–1615.
Chen W H. Synchronizable test sequences based on multiple UIO sequences [J]. IEEE-ACM Transactions on Networking, 1995, 3(2): 152–157.
Author information
Authors and Affiliations
Corresponding author
Additional information
Project supported by the National Natural Science Foundation of China (Grant No.60673115), and the Open Foundation of State Key Laboratory of Software Engineering (Grant No.SKLSE05-13)
About this article
Cite this article
Liu, Wy., Zeng, Hw. & Miao, Hk. Multiple UIO-based test sequence generation for distributed systems. J. Shanghai Univ.(Engl. Ed.) 12, 438–443 (2008). https://doi.org/10.1007/s11741-008-0512-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11741-008-0512-3