基于SDL实现的GPRS网络一致性测试技术研究.doc

基于SDL实现的GPRS网络一致性测试技术研究 本文首先论述了GPRS网络结构以及有关一致性测试的基本方法和原则，从系统的整体构架、模块划分和数据处理流程等方面，详细描述了GPRS网络协议栈测 试系统，深入地研究和分析了基于SDL实现的GPRS协议栈一致性测试方法，最后对系统测试案例的设计思想和实现过程进行了说明。测试结果表明，该方法能显著提高GPRS协议一致性测试效率。 ??? 1、前言 ??? 在现代通信领域，要保证通信系统的正常运行和通信业务的顺利开展，取决于协议软件是否满足协议规范的要求，必须进行专门的协议测试加以保证，需要通过完备 的协议测试进行系统验证。GPRS作为当今移动通信应用热点之一，业务功能的实现的前提，同样取决于通信软件是否符合协议的要求，因此进行GPRS协议栈 中有关功能实体和接口的测试十分重要。解决GPRS协议一致性问题首当其冲，对于准确地验证GPRS网络的接口规范、开放性各项技术具有十分重要的意义。 本文针对一致性测试，采用形式化的SDL测试语言作为协议标准的描述语言，协议语义不存在二义性，该抽象描述采用标准实用的测试方法和工具实现，达到了简 化测试模型，提高测试效率的目的，非常适合于GPRS协议的软件自动测试。 ??? 2、GPRS网络协议栈 ??? GPRS网在GSM网的基础上增加了GPRS业务支持节点（SGSN）和GPRS网关支持节点（GGSN）两个功能实体，提供基于IP的分组数据传输，符 合ISO定义的OSI网络七层结构。GPRS采用TCP或UDP协议进行应用层数据传输，所谓协议栈就是对信息进行多次封装和解封的过程，以便能够在不同 的实体间传送信息。GPRS网络协议栈是一种对等的协议结构，其结构如图1所示。 ??? 图1? GPRS网络协议栈结构 ??? GPRS骨干网一般有两种构建方式：基于因特网和虚拟专网VPN的方法，后者增加了系统的隐蔽性和报文的保密性。GPRS骨干网采用GTP（GPRS隧道 协议），该协议允许多种协议包如IP包或X.25包等在GSN组件间用隧道方式穿过，通过隧道方式可以封装任意数据，实现GPRS骨干网与多种外部数据网 互通。 ??? 3、SDL一致性测试原理 ??? 所谓一致性，是指协议的形式规范和协议实现行为之间的一致，即检验协议是否符合规范的要求。协议一致性测试则是通过测试程序，检查测试实现（IUT）是否 符合协议规范的要求。近年来，协议一致性测试是国际上非常关注的、也是发展较快的一个研究领域，相对其他测试领域，一致性测试唯一能给出理论框架和方法 论，目前，一致性测试通常采用抽象测试方法完成，即根据对IUT（被测协议实现）输入的控制和输出的观察来描述测试进程。OSI协议标准规定了协议直至一 致性测试的基本模型，如图2所示。该模型根据协议实体的PDU（协议数据单元）和协议实体上下的ASP（抽象服务原语）来定义协议实体所允许的行为。其中 N层实体的行为根据（n）ASP和（N-1）ASP来定义，借助协议测试模型，可以实现对各层ASP之间行为的观察和控制。 ??? 图2? 协议一致性测试的基本模型 ??? 图2关于一致性测试的基本模型可以通过形式化模型，即形式化描述语言进行表达。其中SDL（规格和描述语言， SpecificationandDescriptionLanguage）是ITU开发的一种形式描述语言，是一种能够精确定义通信系统功能规格及对其 行为进行描述的国际标准化的正式语言，它主要用于实时的交互分布式系统的形式化描述。SDL使用扩展有限状态机（EFSM）的概念来描述对象。SDL一般 有两种表示法：SDL/PR文字表示法和SDL/GR图形表示法。在实际应用中，开发人员将应用SDL图形描述，再由SDL工具将其转化为C语言源代码， 或者CHILL源代码，最后嵌入到实际开发环境中。SDL采用多层结构来描述整个系统，非常适合GPRS协议栈的抽象描述。图3是SDL测试的一般原理。 ??? 图3? SDL协议测试描述 ??? 4、GPRS协议栈测试系统 ??? 采用SDL语言描述抽象测试集的4个部分：测试集概况、声明部分、约束部分和动态部分。利用SDL语言抽象出GPRS协议的系统、块、进程和过程并对其进 行形式化描述，以SDL形式化描述的TTCN树表结合表示法作为测试工具，在短时间内完成了稳定的通信协议程序。系统选择黑盒测试法，首先将IUT看作一 个测试实体，根据测试者的测试目的，通过选择IUT与测试环境的接口来进行测试，以达到测试和验证IUT的目的。通过与SDL的联合使用（协同仿真），生 成消息序列流图（MSC），通过观察IUT内部和IUT与环境（测试系统）之间的消息序列和数据流，达到查找错误的目的。在GPRS协议栈的测试过程中， 测试用例设计是完成一致性测试的关