基于FSM的测试序列生成方法研究

摘要

To reduce the length of test sequence in the UIO sequence method, by studying the existing test sequence generation method, this paper introduced the invertible sequence into the test sequence generation method, which used as the connection sequences of all states and transitions, and used the solution of the rural postman problem to construct a shortest traversal path. So maximized the overlap of each UIO sequence, shortened and the length of the overall test sequence. The experimental results of the test sequences show that the new algorithm can effectively reduce the length of test sequences.%为了降低UIO序列方法的测试序列长度,通过研究现有的测试序列生成方法,将可逆序列引入到测试序列的生成算法中,将其作为所有转移和状态的连接序列,并利用中国农村邮递员问题的解法构造一条最短遍历路径,使得各个状态的UIO序列之间的重复部分达到最大,测试序列的整体长度被缩短.对测试序列的实验结果表明,算法能够有效降低测试序列的长度.