有限状态机模型测试序列生成算法研究
李元平;李华;赵俊岚
【期刊名称】《计算机科学》 【年(卷),期】2016(043)0z2
【摘要】在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际.同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约束的测试生成树产生相应的特征集、状态识别集和UIO序列,提出或者改进了相应的算法.同时将测试方法扩展到了NFSM的情形下,提出了NFSM模型中前缀序列的生成算法和状态识别集的构建算法;结合状态识别矩阵与有限状态机同步乘积,提出在NFSM模型中的适应性测试方法,扩展了FSM应用于测试理论的完备性.建立了相应的测试方法工具集,实现了上述算法,验证了其可行性.最后给出了下一步的工作. 【总页数】8页(474-481)
【关键词】DFSM;NFSM;约束集;适应性测试 【作者】李元平;李华;赵俊岚
【作者单位】内蒙古大学计算机学院 呼和浩特010070;内蒙古财经大学网络中心 呼和浩特010070;内蒙古大学计算机学院 呼和浩特010070;内蒙古大学网络中心 呼和浩特010070;内蒙古财经大学网络中心 呼和浩特010070 【正文语种】中文 【中图分类】TP301.6 【相关文献】
1.基于禁忌搜索算法的可扩展有限状态机模型测试数据自动生成 [J], 任君; 赵瑞莲; 李征
2.BUIO生成及测试序列生成算法研究 [J], 高占春; 胡晓玲; 蒋砚军; 李清伟 3.基于加权有限状态机的动态匹配词图生成算法 [J], 郭宇弘; 黎塔; 肖业鸣; 潘接林; 颜永红
4.通信协议一致性测试序列自动生成算法研究 [J], 魏仰苏; 孟兆航; 舒挺 5.基于UIO序列的测试方法及UIO生成算法研究 [J], 古军; 蔡国永; 董荣胜
以上内容为文献基本信息，获取文献全文请下载
有限状态机模型测试序列生成算法研究
