一种改进的基于EFSM变迁依赖图的协议测试序列生成算法
为兼顾协议测试中数据流和控制流两个方面，该文以扩展有限状态机模型及其变迁依赖图为基础，对结合控制流与数据流生成测试序列的方法进行了研究探索．在数据流测试中，为了解决传统静态数据流分析方法中，因标记已访问变迁结点导致的测试路径分析不完整问题，提出了通过重用各变迁间数据依赖关系生成测试序列的方法；在控制流测试中，提出了通过构造子序列间最短遍历路径生成测试序列的方法．同时采用路径叠加技术对测试序列进行合并，优化了测试序列集．该算法通过与传统方法的实验对比，得到较高的路径覆盖率和较小的控制流测试时间复杂性．
协议测试序列 变迁依赖图 生成算法
陈昱松 聂剑平 景博 崔楠
北京应用气象研究所 北京 100029
国内会议
合肥
中文
184-189
2010-07-24（万方平台首次上网日期，不代表论文的发表时间）