节点文献
关于路由协议的一致性测试的一种形式方法
A Formal Method about Conformance Testing of Router Protocol
【摘要】 为了一致性测试 Internet网上的一个标准路由信息协议 ( RIP协议 ) ,利用形式描述技术语言 E-LOTOS对其进行了描述 ,然后把文本描述的 E-LOTOS转换为 GE-LOTOS.并在此上产生了 TTCN测试套
【Abstract】 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.
【关键词】 RIP协议；
一致性测试；
E-LOTOS；
GE-LOTOS；
TTCN；
【Key words】 RIP protocol； conformance testing； E-LOTOS； GE-LOTOS； TTCND；
【Key words】 RIP protocol； conformance testing； E-LOTOS； GE-LOTOS； TTCND；
【基金】 863高科技资助项目
- 【文献出处】 内蒙古大学学报(自然科学版) ,Acta Scientiarum Naturalium Universitatis Neimongol , 编辑部邮箱 ,2000年06期
- 【被引频次】5
- 【下载频次】56