Kai Chen, University of Science and Technology of China
Fan Jiang, University of Science and Technology of China
Yang Qin, University of Science and Technology of China
A distributed system may have some separate interfaces called ports, which makes it necessary to have a separate tester at each port when testing such a system. This kind of test architecture may introduce several issues known as controllability and observability problems. This paper proposes a new method that utilizes a set of transformation rules to construct an auxiliary digraph from a given specification, and the remaining work of generating minimal test sequences without encountering potential controllability or observability problems can be reduced to find proper tours in the constructed digraph. Furthermore, we will show through simple application that our method has better characteristics than the former methods.
Citation:
Kai Chen, Fan Jiang, Chuandong Huang, Zongyao Tang, Yang Qin, "Testing a Distributed System: Generating Test Sequences without Potential Controllability and Observability Problems," icniconsmcl, pp.170, International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL'06), 2006