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

摘要

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