摘要
首先分析了目前网络协议发展的现状,介绍了协议测试的一般过程.在分析了协议的前后版本之间的变化后,发现可以将这些变化看成是对当前版本的一个扩充,并将扩充分为三大类:保留项扩充、选项扩充和部分改变,相应的给出了针对各类变化的测试方法,最后以O SPFv3中的H e llorece ived事件为例介绍了提出的测试方法.
The status of protocol development and the procedure of protocol testing are introduced. The features of different versions of the same protocol are analyzed. The next version can be considered as an extension of the current one. The extensions are divided into three sorts, received item extending, option item extending and part changing extending. The testing methods according to the changes are put forward and the testing methods according to each sort are presend. Finally the event Helloreceived of OSPFv3 is used as an example to discuss our testing method.
出处
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2005年第6期703-708,共6页
Journal of Inner Mongolia University：Natural Science Edition
基金
国家自然基金项目(60263002)
内蒙古科技攻关项目(2002061002)
关键词
形式模型
路由协议
测试
扩充
formal model
routing protocol
testing
extension
