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

摘要：

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

关键词：DFSM、NFSM、约束集、适应性测试

所属期刊栏目：43

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然基金项目资助项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究61163011;赛尔网络下一代互联网技术创新项目:SDN环境下IPv6网络测试研究CERNET IPv6 Innovation ProjectNGII20150112

在线出版日期：2016-12-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：474-481