摘要： 协议测试中的互操作性测试是保证不同厂商通信设备之间能够正确实施互操作的主要工程测试方法。针对互操作性测试过程中缺乏形式化测试框架和测试方法指导而导致无法保证测试可靠性的问题，在介绍ETSI定义的通用互操作性测试模型基础上，提出一个基于互操作性状态机的互操作性测试方法。通过一个面向IPsec VPN的互操作性测试实例表明该方法的有效性和可行性。
关键词:
协议测试,
互操作性,
互操作性状态机,
形式化方法
Abstract: Interoperability test, an approach of protocol test, is an important industrial test method while performing the interoperability of equipment from different vendors. Due to lack of formal test framework and test method, it is difficult to guarantee the reliability of entire test. After introducing a generic interoperability test model from ETSI, this paper presents an interoperability test method, which is based on an Interoperability State Machine(ISM), following with an example of an interoperability test which is designed for IPsec VPN environment, to show the effectiveness and feasibility of this method.
Key words:
protocol test,
interoperability,
Interoperability State Machine(ISM),
formal methods
中图分类号:
郑斯琦;平玲娣;陈小平;顾文婷. 基于ISM的互操作性测试方法[J]. 计算机工程, 2010, 36(3): 72-75.
ZHENG Si-qi; PING Ling-di; CHEN Xiao-ping; GU Wen-ting. Interoperability Test Approach Based on ISM[J]. Computer Engineering, 2010, 36(3): 72-75.