一种改进的基于EFSM变迁依赖图的协议测试序列生成算法  

An Improved Protocol Test Sequence Generating Algorithm Using EFSM Transition Dependency Map

作　　者：陈昱松 聂剑平 景博 崔楠 

机构地区：[1]北京应用气象研究所,北京100029

出　　处：《计算机研究与发展》2010年第S1期79-85,共7页Journal of Computer Research and Development

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

关 键 词：协议测试 变迁依赖图 数据流 控制流 测试序列 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]