有限状态机模型测试序列生成算法研究

在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约束的测试生成树产生相应的特征集、状态识别集和UIO序列,提出或者改进了相应的算法。同时将测试方法扩展到了NFSM的情形下,提出了NFSM模型中前缀序列的生成算法和状态识别集的构建算法；结合状态识别矩阵与有限状态机同步乘积,提出在NFSM模型中的适应性测试方法,扩展了FSM应用于测试理论的完备性。建立了相应的测试方法工具集,实现了上述算法,验证了其可行性。最后给出了下一步的工作。

Research about FSM Test Sequence Generation Algorithm

In the testing engineering,the basic step of the related test methods is to apply the test generated tree to construct test sequence.In this article,we added constraint set on the traditional test generated tree,making the tree more conform to the practice.We also considered the fluence of constraint set on the state separate sequence.We generated character set,states identification set,UIO sequence,and then proposed or advanced the algorithms.At the same time,we extended test method in NFSM,and proposed algorithms to generate prefix sequence and sate separate sets.The algorithm combines state separate matrix and FSM product,and is used in the adapt test of NFSM model,which makes the test theory on FSM completely.We constructed a test tool,which realizes these algorithms,and verifies the capability.Finally,the research work in the future was considered.