计算机工程 ›› 2010, Vol. 36 ›› Issue (3): 72-75.doi: 10.3969/j.issn.1000-3428.2010.03.024

• 软件技术与数据库 • 上一篇    下一篇

基于ISM的互操作性测试方法

郑斯琦,平玲娣,陈小平,顾文婷   

  1. (浙江大学计算机科学与技术学院,杭州 310027)

  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2010-02-05 发布日期:2010-02-05

Interoperability Test Approach Based on ISM

ZHENG Si-qi, PING Ling-di, CHEN Xiao-ping, GU Wen-ting   

  1. (College of Computer Science and Technology, Zhejiang University, Hangzhou 310027)
  • Received:1900-01-01 Revised:1900-01-01 Online:2010-02-05 Published:2010-02-05

摘要: 协议测试中的互操作性测试是保证不同厂商通信设备之间能够正确实施互操作的主要工程测试方法。针对互操作性测试过程中缺乏形式化测试框架和测试方法指导而导致无法保证测试可靠性的问题,在介绍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

中图分类号: