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...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.展开更多
The measured fields of the optical klystron in NSRL (National Sy-chrotron Radiation Laboratory) are given, including the distribution on the axis, and the integrated field distribution. The harmonic magnet field and t...The measured fields of the optical klystron in NSRL (National Sy-chrotron Radiation Laboratory) are given, including the distribution on the axis, and the integrated field distribution. The harmonic magnet field and the spectra of the spontaneous emission are analyzed, and the multiple field is presented by fitting the diagram. The infiuence of the integrated field on the close orbit of the beam and on the operation parameters of the storage ring, and the compensation in the experiment are also discussed.展开更多
基金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）
文摘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.
文摘The measured fields of the optical klystron in NSRL (National Sy-chrotron Radiation Laboratory) are given, including the distribution on the axis, and the integrated field distribution. The harmonic magnet field and the spectra of the spontaneous emission are analyzed, and the multiple field is presented by fitting the diagram. The infiuence of the integrated field on the close orbit of the beam and on the operation parameters of the storage ring, and the compensation in the experiment are also discussed.
