【作者】 陈昱松； 聂剑平； 景博； 崔楠；

【Author】 Chen Yusong~1,Nie Jianping~1,Jing Bo~1,and Cui Nan~1 1(Institute of Applied Meteorology,Beijing,100029)

【机构】 北京应用气象研究所；

【摘要】 为兼顾协议测试中数据流和控制流两个方面,该文以扩展有限状态机模型及其变迁依赖图为基础,对结合控制流与数据流生成测试序列的方法进行了研究探索.在数据流测试中,为了解决传统静态数据流分析方法中,因标记已访问变迁结点导致的测试路径分析不完整问题,提出了通过重用各变迁间数据依赖关系生成测试序列的方法;在控制流测试中,提出了通过构造子序列间最短遍历路径生成测试序列的方法.同时采用路径叠加技术对测试序列进行合并,优化了测试序列集.该算法通过与传统方法的实验对比,得到较高的路径覆盖率和较小的控制流测试时间复杂性.更多还原

【Abstract】 Considering both aspects of control flow and data flow in protocol test,this paper researches a method of generating test sequences based on EFSM transition dependency map.In data flow testing,this paper presents a method of reusing data dependency relation between variables,in order to solve the problem of leading unvisited test paths by marking visited transition nodes in traditional static data flow analysis method.In control flow testing,this paper presents a method of generating test sequences by constructing a shortest tour path among subsequences.Meanwhile,overlapping technology is used for combining redundant test sequences,which makes test sequences set smaller.Comparing with traditional methods,this method performs lower time-complexity in control flow testing,and provides higher path coverage in all.更多还原