| 基于相同形式模型的协议测试方法研究 |
| |
| 引用本文： | 李华,叶新铭,丁雪莲,孙涛.基于相同形式模型的协议测试方法研究[J].内蒙古大学学报(自然科学版),2005,36(6):703-708. |
| |
| 作者姓名： | 李华 叶新铭 丁雪莲 孙涛 |
| |
| 作者单位： | 内蒙古大学计算机学院,呼和浩特,010021 |
| |
| 基金项目： | 国家自然基金项目(60263002)，内蒙古科技攻关项目(2002061002) |
| |
| 摘 要： | 首先分析了目前网络协议发展的现状,介绍了协议测试的一般过程.在分析了协议的前后版本之间的变化后,发现可以将这些变化看成是对当前版本的一个扩充,并将扩充分为三大类:保留项扩充、选项扩充和部分改变,相应的给出了针对各类变化的测试方法,最后以O SPFv3中的H e llorece ived事件为例介绍了提出的测试方法.
|
| 关 键 词： | 形式模型 路由协议 测试 扩充 |
| 文章编号： | 1000-1638(2005)06-0703-06 |
| 收稿时间： | 2005-03-14 |
| 修稿时间： | 2005年3月14日 |
Study on Routing Protocol Testing Method Based on Same Formal Model |
| |
| LI Hua,YE Xin-ming,DING Xue-lian,SUN Tao.Study on Routing Protocol Testing Method Based on Same Formal Model[J].Acta Scientiarum Naturalium Universitatis Neimongol,2005,36(6):703-708. |
| |
| Authors: | LI Hua YE Xin-ming DING Xue-lian SUN Tao |
| |
| Institution: | College of Computer Science, NeiMongol University, Hohhot 010021, PRC |
| |
| Abstract: | 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. |
| |
| Keywords: | formal model routing protocol testing extension |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
