| 关于路由协议的一致性测试的一种形式方法 |
| |
| 引用本文： | 赵玉兰,刘咏梅,何立强,孟光萌,叶新铭.关于路由协议的一致性测试的一种形式方法[J].内蒙古大学学报(自然科学版),2000,31(6):636-640. |
| |
| 作者姓名： | 赵玉兰 刘咏梅 何立强 孟光萌 叶新铭 |
| |
| 作者单位： | 内蒙古大学计算机学院,内蒙古,呼和浩特,010021 |
| |
| 摘 要： | 为了一致性测试Ｉｎｔｅｒｎｅｔ网上的一个标准路信息协议（ＲＩＰ协议），利用形式描述技术语言Ｅ－ＬＯＴＯＳ对其进行了描述，然后把广西描述的Ｅ－ＬＯＴＯＳ转换为ＧＥ－ＬＯＴＯＳ，并在此产生了ＴＴＣＮ测试套。
|
| 关 键 词： | 一致性测试 GE－LOTOS 路由信息协议 Internet网 |
| 修稿时间： | 2000-07-04 |
A Formal Method about Conformance Testing of Router Protocol |
| |
| ZHAO Yu-lan,LIU Yong-mei,HE Li-qiang,MENG Guang-meng,YE Xin-ming.A Formal Method about Conformance Testing of Router Protocol[J].Acta Scientiarum Naturalium Universitatis Neimongol,2000,31(6):636-640. |
| |
| Authors: | ZHAO Yu-lan LIU Yong-mei HE Li-qiang MENG Guang-meng YE Xin-ming |
| |
| Abstract: | |
| |
| Keywords: | RIP protocol conformance testing E-LOTOS GE-LOTOS TTCND |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
