计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (29): 11-16.DOI: 10.3778/j.issn.1002-8331.2008.29.003

• 博士论坛 • 上一篇    下一篇

网络协议测试的符号化一致性关系研究

邢 熠1,2,3,叶新铭2,谢高岗1   

  1. 1.中国科学院 计算技术研究所,北京 100080
    2.内蒙古大学 计算机学院,呼和浩特 010021
    3.中国科学院 研究生院,北京 100049
  • 收稿日期:2008-04-21 修回日期:2008-07-11 出版日期:2008-10-11 发布日期:2008-10-11
  • 通讯作者: 邢 熠

Research on symbolic conformance relationship of network protocol test

XING Yi1,2,3,YE Xin-ming2,XIE Gao-gang1   

  1. 1.Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100080,China
    2.Inner Mongolia University,Hohhot 010021,China
    3.Graduate University of Chinese Academy of Sciences,Beijing 100049,China
  • Received:2008-04-21 Revised:2008-07-11 Online:2008-10-11 Published:2008-10-11
  • Contact: XING Yi

摘要: 协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础。网络协议的特点之一是控制消息中会携带大量数据。针对网络协议的该特点提出了符号化的一致性关系模型。建立了网络协议的输入输出符号变迁系统,并且依据数据符号实例化策略建立了对应的语义模型,在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成,对所提出的一致性关系进行了简化。在上述过程中数据的处理通过符号化的变量进行建模,这样可以使用统一符号进行数据处理,而不必总是关心具体的数值,只需在适当的时机进行符号的实例化。文中所提出的一致性关系模型充分利用了符号化的变量,增加了该模型的抽象程度,避免了处理过程的复杂性,且可以指导测试套的自动生成。最后使用IPv6的邻居发现协议对该一致性关系进行了说明。

关键词: 符号化一致性关系, 一致性测试, 输入输出符号变迁系统(IOTS)

Abstract: Protocol conformance test is used to verify the conformance of the protocol implementation.The conformance relation is the foundation of the test generation.A mount of data are usually carried in the control messages in network protocols.A symbolic model of conformance relation is proposed in this paper for this property.Firstly,an input/output symbol transition system(IOSTS) for network protocols is set up.A corresponding semantic model is established according to the policy of data symbol instantiation.In this model,the activities of system are integrated of controls and data.Secondly,a symbolic conformance relation for test suite generation is given based on IOSTS.Finally,this conformance relation is simplified for automatically generating test suite.All data processes are modeled with symbolic variables so that data are not manipulated in real values but in uniform symbols.The symbols are instanced only if necessary.In this way,the abstract level of model is improved.The complexity of processes is also reduced and test suite can be generated much more automatically.Neighbor discovery protocol in IPv6 protocols is used to demonstrate the symbolic conformance relation.

Key words: symbolic conformance relation, conformance test, Input/Output Symbol Transition System(IOTS)