A Formal Approach to Protocol Interoperability Testing

作     者：郝瑞兵 吴建平 

作者机构：DepartmentofComputerScienceTsinghuaUniversityBeijing100084P.R.China DepartmentofComputerScienceTs 

出 版 物：《Journal of Computer Science & Technology》 (计算机科学技术学报（英文版）)

年 卷 期：1998年第13卷第1期

页      面：79-90页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 0808[工学-电气工程] 08[工学] 0835[工学-软件工程] 0701[理学-数学] 0811[工学-控制科学与工程] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：This Research is supported by the National Natural Science Foundation of China under GrantNo.69473011 

主　　题：Interoperability testing concurrent semantics concurrent TTCN FDT-based application. 

摘      要：Protocol 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.