| 基于Petri网模型的OSPF路由处的测试序列生成 |
| |
| 引用本文： | 王红霞,叶新铭. 基于Petri网模型的OSPF路由处的测试序列生成[J]. 内蒙古大学学报(自然科学版), 2001, 32(3): 340-343 |
| |
| 作者姓名： | 王红霞 叶新铭 |
| |
| 作者单位： | 内蒙古大学计算机学院, |
| |
| 基金项目： | 国家自然科学基金(69863001)和863项目(863-300-02-08-99) 资助课题 |
| |
| 摘 要： | OSPF协议是一种动态路由协议，它利用内部的链路状态数据库来维护和计算路由，它的路由算法是本协议的关键部分，本给出了路由算法的Petri网模型，并使用控制流和数据流测试相结合的一种方法，在此基础上产生测试序列。
|
| 关 键 词： | 动态路由协议 最短路径树 一致性测试 测试序列 变量使用 通讯协议 Petri网模型 |
| 文章编号： | 1000-1638(2001)03-0340-04 |
| 修稿时间： | 2001-01-10 |
Test Sequence Generation for OSPF Routing Algorithm Basedon the Petri net Model |
| |
| WANG Hong-xia,YE Xin-ming. Test Sequence Generation for OSPF Routing Algorithm Basedon the Petri net Model[J]. Acta Scientiarum Naturalium Universitatis Neimongol, 2001, 32(3): 340-343 |
| |
| Authors: | WANG Hong-xia YE Xin-ming |
| |
| Abstract: | 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. |
| |
| Keywords: | dynamic routing protocol shortest path tree conformance testing test sequence variable uses |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
