有限状态机模型测试序列生成算法研究 - 计算机科学.PDFVIP

Vo1. 43 No. 11A 第 43 卷第11A 期 计算机科学 2016 年 11 月 Computer Science Nov 2016 有限状态机模型测试序列生成算法研究 李元平M 李华M 赵俊岚3 (内蒙古大学计算机学院 呼和浩特 010070)1 (内蒙古大学网络中心 呼和浩特 010070)2 (内蒙古财经大学网络中心 呼和浩特 010070)3 摘 要 在测试工程学中，应用测试生成树构建测试序列是相关测试方法的基础步骤，在传统测试生成树的基础上加 入约束集的概念，使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中，考虑约束集对所生成状态 区分序列的影响，基于带约束的测试生成树产生相应的特征集、状态识别集和 UIO 序列，提出或者改进了相应的算 法。同时将测试方法扩展到了 NFSM 的情形下，提出了 NFSM 模型中前缀序列的生成算法和状态识别集的构建算 法;结合状态识别矩阵与有限状态机同步乘积，提出在 NFSM 模型中的适应性测试方法，扩展了 FSM 应用于测试理 论的完备性。建立了相应的测试方法工具集，实现了上述算法，验证了其可行性。最后给出了下一步的工作。 关键词 DFSM， NFSM，约束集，适应性测试 中图法分类号 TP30 1. 6 文献标识码 A Research about FSM Test Sequence Generation Algorithm 1 1 3 LI Yuan-ping ,3 LI Hua ,2 ZHAO Jun-lan (College of Computer Science ,Inner Mongolia University ,Hohhot 010070 ,China) 1 (Center of Network and Information ,Inner Mongolia University ,Hohhot 010070 ,China) 2 CCenter of Network and Information ,Inner Mongolia University of Finance and Economics ,Hohhot 010070 ,China) 3 Abstract In the testing engineering ,the basic step of the related test methods is to apply the test generated tree to con struct 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 exte