节点文献
自动产生TTCN测试套以及对RIP协议的应用
Automatically Generate TTCN Test Suites and an Application to RIP
【摘要】 对协议测试套的产生大部分都是手工寻找的,介绍一个在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.
【基金】 国家自然科学基金项目(60263002);内蒙古自然科学基金资助课题(20010901-01)
- 【文献出处】 内蒙古大学学报(自然科学版) ,Acta Scientiarum Naturalium Universitatis Neimongol , 编辑部邮箱 ,2004年06期
- 【分类号】TP391.7
- 【被引频次】4
- 【下载频次】90