An improved method based on UIOv for test sequence generation

摘要

There are many methods based on FSM(Finite State Machine) for conformance test. UIO(Unique Input/Output) and its improved method UIOv are the ones most widely used among them. The disadvantage of UIO is its low fault detection rate, UIOv is proposed to solve this problem. While UIOv possesses a longer test sequence. Several improvements on UIOv sequence generation and their shortages are described in details. In this paper, we suggested a new method which is based on these improvements. Our method takes the general communication protocols into account, a detailed algorithm process and conclusions combined with actual protocol are subsequently presented. Analysis showed that under a constant error detection rate, our method shortens the verification sequence length and the total sequence length effectively, besides, it is more conducive to programming.