摘要
对协议测试套的产生大部分都是手工寻找的,介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具,该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LO-TOS.并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用.
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.
出处
《内蒙古大学学报(自然科学版)》
CAS
CSCD
北大核心
2004年第6期682-687,共6页
Journal of Inner Mongolia University:Natural Science Edition
基金
国家自然科学基金项目(60263002)
内蒙古自然科学基金资助课题(20010901-01)