Research of TTCN-3 Test Method for Protocol Conformance Verification in GSM-R Interoperability Testing

摘要：

Protocol testing theory is derived from software testing theory. Protocol conformance testing is the foundation of other protocol testing, such as interoperability testing (IOT) and performance testing; it can test the protocol implementation according to its specification to improve the probability of successful intercommunication between two protocols. The ISO/IEC9646 standard described by ISO is the most mature theory in protocol conformance testing theories. In this paper it summarizes and analyzes the theory in the standard combined with the requirement of the GSM-R IOT. The TTCN-3 (Tree and Tabular Combined Notation-3) based on ISO/IEC 9646 standard is adopted to describe test suite of GSM-R protocol, and it introduces Specification and Description Language (SDL) commonly used for the development of test system.

关键词： protocol conformance testing TTCN-3 GSM-R IOT

作者: Yan Yang Li Su Yuan-mou Gao Zhang-dui Zhong

作者单位: State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing

会议类型: 国际会议

会议名称: 2010 Cross-Strait Conference on Information Science and Technology(2010 海峡两岸信息科学与技术学术交流会)

会议地点: 秦皇岛

会议语种:英文

页码: 363-367

在线出版日期: 2010-07-09（万方平台首次上网日期，不代表论文的发表时间）