节点文献

自动产生TTCN测试套以及对RIP协议的应用

Automatically Generate TTCN Test Suites and an Application to RIP

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 ZHAO Yu-lan ,ZENG Min,YE Xin-ming (College of Computer Science,NeiMongol University,Hohhot 010021,PRC) \ \

【机构】内蒙古大学计算机学院；内蒙古大学计算机学院呼和浩特010021；呼和浩特010021；呼和浩特010021；

【摘要】对协议测试套的产生大部分都是手工寻找的,介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具,该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LO-TOS.并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用.更多还原

【Abstract】 Most protocol test suites are obtained by manual work.A tool which is used for automatically generating TTCN test suites is presented. The tool is based on GE-LOTOS which can be obtained from formal description technology language E-LOTOS.Furthermore,this tool is used to generate a test suite of RIP.更多还原

【关键词】 RIP协议； E-LOTOS； GE-LOTOS； TTCN；
【Key words】 RIP protocol； E-LOTOS； GE-LOTOS； TTCN；

【基金】国家自然科学基金项目(60263002);内蒙古自然科学基金资助课题(20010901-01)

【文献出处】内蒙古大学学报(自然科学版) ,Acta Scientiarum Naturalium Universitatis Neimongol , 编辑部邮箱 ,2004年06期

【分类号】TP391.7
【被引频次】4
【下载频次】90

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献