一种互操作场景中策略路由的建模与测试
策略路由是路由协议中的一种策略,其作用是优化路由。基于一定的场景,就策略路由根据具体情况用FSM进行建模,根据互操作性测试的要求对被测系统的两个对等体的FSM按照合成算法进行合成,基于合成模型,提出一种测试序列推导算法,该算法实现了对状态变迁的完全覆盖。使用遗传算法将推导出的测试序列进行了优化,并将优化后的测试序列应用于BGP4+策略路由的测试研究。最后给出结论及下一步的研究工作。
路由协议测试 策略路由 遗传算法 合成模型 测试序列推导
武茂春 李华 王龙
内蒙古大学计算机学院 呼和浩特 010021
国内会议
武汉
中文
20-23
2009-08-15（万方平台首次上网日期，不代表论文的发表时间）