一种互操作场景中策略路由的建模与测试

摘要

策略路由是路由协议中的一种策略,其作用是优化路由。基于一定的场景,就策略路由根据具体情况用FSM进行建模,根据互操作性测试的要求对被测系统的两个对等体的FSM按照合成算法进行合成,基于合成模型,提出一种测试序列推导算法,该算法实现了对状态变迁的完全覆盖。使用遗传算法将推导出的测试序列进行了优化,并将优化后的测试序列应用于BGP4+策略路由的测试研究。最后给出结论及下一步的研究工作。