A Formal Approach to Protocol Interoperability
Testing
郝瑞兵;吴建平
【期刊名称】《计算机科学技术学报：英文版》 【年(卷),期】1998(013)001
【摘要】Porotocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products.In this paper,we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN.We define Concurrent TTCN's operational semantics by using Labeled Transition System,and describe the interoperability test execution and test verdict based on Concurrent TTCN.This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system. 【总页数】12页(79-90)
【关键词】计算机网络;通信协议;网络协议 【作者】郝瑞兵;吴建平 【
作
者
单
位
】
DepartmentofComputerScience,TsinghuaUniversity,Beijing100084,P.R.China;DepartmentofComputerScience,Ts 【正文语种】英文 【中图分类】TP393
A Formal Approach to Protocol Interoperability Testing
