| OSPF协议中路由表计算的测试例生成方法 |
| |
| 引用本文： | 塔娜,叶新铭.OSPF协议中路由表计算的测试例生成方法[J].内蒙古大学学报(自然科学版),2001,32(3):344-348. |
| |
| 作者姓名： | 塔娜 叶新铭 |
| |
| 作者单位： | 内蒙古大学计算机学院, |
| |
| 基金项目： | 国家自然科学基金! ( 698630 0 1 )，863项目! ( 863-30 0 -0 2 -0 8-99)资助课题 |
| |
| 摘 要： | 本给出了OSPF协议中路由表计算部分的Petri网模型和产生测试例的方法，以算法中的外部路由计算为例，详细介绍了如何从协议本形式化为Petri网模型，然后再多Petri网生成测试例的方法，并给出了方法所采用的测试标准。
|
| 关 键 词： | 路由表 Petri网 测试例 测试标准 OSPF协议 |
| 文章编号： | 1000-1638(2001)03-0344-05 |
| 修稿时间： | 2001年1月11日 |
The Method about Test Case Generation of Routing Table Calculation in OSPF Protocol |
| |
| TA Na,YE Xin-ming.The Method about Test Case Generation of Routing Table Calculation in OSPF Protocol[J].Acta Scientiarum Naturalium Universitatis Neimongol,2001,32(3):344-348. |
| |
| Authors: | TA Na YE Xin-ming |
| |
| Abstract: | |
| |
| Keywords: | routing table petri net test case testing criterion |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
