基于Petri网的边界网关协议(BGP4)的形式模型

• 作者: 刘玉林 叶新铭 董悦丽
• 来源期刊: 中国学术期刊文摘
• 关键词: 路由协议测试 边界网关协议(BGP4) Petri网 TTCN 测试例
• 年，卷（期）: 2000,（7）
• 页码范围: 903-905
• 页数: 3页
• 语种: 中文

摘要

随着计算机网络的不断发展,网络体系结构的日益复杂,路由器在网络互联时是必不可少的,对于路由器协议的测试已变得尤为重要.为了避免对协议说明产生二义性,在对协议进行测试之前,首先应该给出其形式描述模型.文章用形式描述技术Petri网给出Internet中的路由协议--边界网关协议(BGP4)的形式模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶新铭	内蒙古大学计算机学院	100	798	11.0	25.0
2	刘玉林	内蒙古大学计算机学院	6	28	2.0	5.0
3	董悦丽	内蒙古大学计算机学院	1	0	0.0	0.0