基于Petri网模型的OSPF路由算法的测试序列生成

Test Sequence Generation for OSPF Routing Algorithm Based on the Petri net Model

OSPF协议是一种动态路由协议 ,它利用内部的链路状态数据库来维护和计算路由 ,它的路由算法是本协议的关键部分 .本文给出了路由算法的 Petri网模型 ,并使用控制流和数据流测试相结合的一种方法 ,在此基础上产生测试序列 .

The OSPF protocol is a dynamic routing protocol, which uses of the link state database to maintain and calculate routings. Its routing algorithm is the most important part. This paper gives a petri model of the routing algorithm and uses a method for executable test sequence generation which combines both data flow and control flow test based on the petri net model.