文献类型：期刊文章

作　　者：李元平[1,2] 李华[1,3] 赵俊岚[2]

机构地区：[1]内蒙古大学计算机学院,呼和浩特010070 [2]内蒙古财经大学网络中心,呼和浩特010070 [3]内蒙古大学网络中心,呼和浩特010070

出　　处：《计算机科学》

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

年　　份：2016

卷　　号：43

期　　号：S2

起止页码：474-481

语　　种：中文

收录情况：BDHX、BDHX2014、CSA、CSCD、CSCD_E2015_2016、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

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

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

分 类 号：TP301.6] TP311.53[计算机类]