基于模型的MS-PCCRR协议的测试.docVIP

  基于模型的 MS-PCCRR 协议的测试 沈鹏，辛阳** （北京邮电大学信息安全中心，北京 100876） 5 10 15 20 25 30 35 40 摘要：随着计算机网络的发展，网络协议发挥着越来越重要的作用而成为网络的灵魂。通信 系统能否正常运转，网络产品能否互通互联取决于与网络协议是否完善和正确实现。所以网 络协议的测试就至关重要，尤其是一致性测试。随着协议日益复杂化，手工测试也要付出越 来越大的代价，而有些问题也不容易发现。而基于模型的软件测试，可以通过模型自动生成 测试用例，大大提高测试的自动化，并且往往能发现其他测试技术难以发现的故障，保证了 软件质量。本文将基于模型的软件测试方法应用于协议一致性测试，并完成对 MS-PCCRR 协议的建模测试。 关键词：协议一致性测试；基于模型的测试；有限状态自动机；Spec Explorer 中图分类号：TP393 Model Based Testing for MS-PCCRR Protocol SHEN Peng, XIN Yang (Information Security Center, Beijing University of Posts and Telecommunications, Beijing 100876) Abstract: With the network developing, the protocol is becoming so important that it is the soul of network. Whether the communication system runs normally and whether the network products could connect with each other, they all depend on a perfect and correctly implemented protocol. As a result, protocol testing is crucial, especially the compliance testing. As the protocol becoming more complex day by day, the manual testing turned to be more expensive and non-effective. At the same time, Model-Based Testing (MBT) could derive the test cases automatically from the model. What is more, MBT could detect the problem that is harder to be found by other technology, which improves the quality of protocol. In the paper the method of MBT is applied to protocol compliance testing for MS-PCCRR. Keywords: Protocol Compliance Testing; Model-Based Testing; FSM; Spec Explorer 0 引言 随着计算机技术的发展, 网络在人们日常生活中的作用越来越重要。网络协议[1]是为计 算机网络中进行数据交换而建立的规则、标准或约定的集合，是网络产品互通互联的基础， 所以协议测试就变的尤为重要。协议测试是协议工程的一个重要分支，协议测试理论经过十 几年的发展, 在许多方面都取得了很大的进展, 其中最为成熟的是关于协议一致性测试的理 论。随着网络技术的发展，协议的规模变得越来越大，也越来越复杂。基于此，可以将基于 模型的测试技术应用于协议一致性测试，来提高测试效率和完整性[2]。 1 基于模型的测试 1.1 基于模型的测试基本概念 协议测试理论是协议工程学的重要分支，目的是确保协议的实现之间能够成功的彼此通 [3] 白盒测试、黑盒测试和灰盒测试[5]。协议测试仅仅是一种黑盒测试，它并不检查协议代码， 作者简介：沈鹏，（1984-），男，学生，网络信息安全。 通信联系人：辛阳，（1977-），男，副教授，主要研究方向：移动通信网络安全、计算机网络安全。E-mail: yangxin@ -1-   而是按照协议标准，通过控制观察被测协议实现或系统的外部行为对其进行评价。协议测试 可分为四种：一致性测试、性能测试、互操作性测试、坚固性测试，其中一致性测试是基础， 也是目前唯一能给出理论框架的[6]。 45