关于路由协议的一致性测试的一种形式方法  

A Formal Method about Conformance Testing of Router Protocol

作　　者：赵玉兰[1] 刘咏梅[1] 何立强[1] 孟光萌 叶新铭[1] 

机构地区：[1]内蒙古大学计算机学院,内蒙古呼和浩特010021

出　　处：《内蒙古大学学报（自然科学版）》2000年第6期636-640,共5页Journal of Inner Mongolia University：Natural Science Edition

基　　金：863高科技资助项目

摘　　要：为了一致性测试 Internet网上的一个标准路由信息协议 ( RIP协议 ) ,利用形式描述技术语言 E-LOTOS对其进行了描述 ,然后把文本描述的 E-LOTOS转换为 GE-LOTOS.并在此上产生了In order to do conformance testing, we describe a standard router information protocol (RIP protocol) of Internet using formal description technology E LOTOS.Then we translate textual E LOTOS into GE LOTOS and produce TTCN test case.

关 键 词：一致性测试 GE-LOTOS 路由信息协议 INTERNET网 

分 类 号：TN915.04[电子电信—通信与信息系统] TN915.06[电子电信—信息与通信工程]