基于TTCN-3同步扩展的协议一致性测试研究.docVIP

基于TTCN-3同步扩展的协议一致性测试研究 　　摘要：随着网络技术的发展，通信协议变得日益复杂，人们对协议实现质量的要求不断提高。因此，确保各种协议实现的正确性和有效性的协议测试技术有待进一步深化研究。该文介绍了协议测试的基础：协议一致性测试技术及其测试描述语言TTCN-3，分析了TTCN-3在同步描述上存在的不足，以及扩展TTCN-3的必要性，引入了一种互通性测试框架，并在此框架的基础上提出新的状态量的概念。通过对TTCN-3的同步机制进行完善，使得协议一致性测试在分布式测试环境中的应用更为方便、，范围更加广泛。 　　关键词：协议一致性测试；TTCN-3；同步；扩展 　　中图分类号：TP311文献标识码：A文章编号：1009-3044(2011)01-0063-03 　　The Research of Protocol Conformance Testing Based on an Extension to TTCN-3 Synchronization 　　WEN Xiao1,2, GAO Fu-xiang2, LAI Ming2 　　(1.Institute of Command and Control, PLA University of Science and Technology, Nanjing 210007, China; 2.Institute of China Electronic Systems Equipment Company, Beijing 100141,China) 　　Abstract: With the development of network technologies, the quality requirement of the much more complicated protocols of communication is strict. Therefore, the protocol test technology to keep the implementation of protocol correctable and effectible is on the demand of changing continuously. The paper introduces the foundation of the protocol test: Protocol Conformance Testing and its testing description language TTCN-3, and analyses the shorting of present TTCN-3 in describing synchronization and the necessity of its extension. A new inter-communication frame is introduced and a new concept of state based on the frame is given out. Using this way to improve the synchronization of TTCN-3 could make the protocol conformance testing become more convenient in the distributed testing environment. 　　Key words: protocol conformance testing; TTCN-3; synchronization; extension 　　随着IT的飞速发展，人们对通信传输速率和传输质量的需求不断增长，支撑通信传输的通信协议测试也因此变得日趋重要。协议测试作为一种黑盒测试，主要目的在于验证协议实现是否按照协议规范稳定可靠的地运行。协议测试包括多种测试类型，如：协议一致性测试、协议性能测试，协议互操作测试等。其中，协议一致性测试技术作为一种重要的测试手段，应用的范围越来越广泛，对其开展的相关研究也从未停止。 　　协议一致性测试遵从国际标准ISO/IEC9646，此标准主要针对自然语言描述的协议测试，在ISO/IEC9646中对协议一致性测试的定义为：“一个一致性的实现应该满足静态一致性需求和动态一致性需求，并与协议实现一致性声明(Protocol Implementation Conformance Statements,简称PICS)中所声明的功能相符合”[1]。ISO/IEC 9646提出了关于一致性测试的框架和方法，其中最重要的一种方法就是半形式化的测试描述语言―数表结合表示法TTCN（Tree an