基于TTCN-3的ISATAP协议一致性测试工具的研究与设计

来源 :北京邮电大学 | 被引量 : 5次 | 上传用户:sjk29001431
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
下一代互联网的核心将是IPv6协议。长度为128bit IP地址的IPv6协议,彻底地解决了IPv4地址不足的难题,并且其在地址容量、安全性、网络管理、移动性以及服务质量等方面有明显的改进。但IPv4与IPv6共存将是一个长期的过程。目前,在IPv4网络上还有大量的IPv4设备和各种应用系统,为了实现从IPv4向IPv6的平滑过渡,出现了很多过渡技术,包括IPv6/IPv4双栈技术、隧道技术、IPv4/IPv6协议转换技术。其中隧道技术的优点是,不用把所有的设备都升级为双栈,只要求IPv4/IPv6网络的边缘设备实现双栈和隧道功能。这样可以大大利用现有的IPv4网络投资,所以,技术获得了大量的支持。其中ISATAP技术是主要的基于隧道的过渡技术之一。随着过渡技术的发展,过渡协议也受到相应的重视。IETF、OMA等国际组织针对ISATAP技术,制定了相应的协议。然而,各种协议实现与协议标准的不一致将可能导致设备间互操作性困难。因此,开展对ISATAP协议一致性测试是协议实现与协议标准相一致的重要保障,有助于协议实现的进一步完善。TTCN-3 (Testing and Test Control Notation 3rd version,测试和测试控制表示法第三版)是一种由ETSI (European Telecommunications Standards Institute,欧洲电信标准协会)制定的新一代协议和软件测试标准,具有强大的功能和广泛的应用范围。本文所涉及的使用TTCN-3对ISATAP协议进行一致性测试工具的设计是一次研究性的有益尝试。本文的研究内容为基于TTCN-3的ISATAP协议一致性测试工具的研究与设计。通过分析ISATAP协议的特点,采用基于有限状态机模型测试生成技术和TTCN-3测试语言相结合的方法设计实现ISATAP测试套。采用原始SOCKET等技术设计和实现了支持ISATAP协议测试的TTCN-3适配器,并介绍了基于TTCN-3的比特流数据编码解码器的设计与实现思想。最后设计测试方案,搭建测试环境对ISATAP协议实现一致性测试,并得出测试结果。
其他文献
近年来,随着互联网技术的迅速发展,IP多媒体系统支持的服务类型越来越多,用户可选择空间随之增大。然而,虽然服务类型的多样化和服务的大量涌现很大程度丰富了人们的生活、满
语义Web服务是Web服务和语义网的融合,它通过语义Web标记语言来描述Web服务的语义,使计算机可以理解Web服务,从而实现Web服务的自动发现和组合。单个Web服务功能有限,往往难
企业车间生产调度MES系统可以实现生产计划编制、生产统计和设备能力等管理的一体化,达到车间生产作业的优化调度和制造资源的合理配置,从而为企业缩短制造周期、降低生产成
回答集编程(Answer Set Programming, ASP)的出现是非单调推理领域的突破性成果,其理论基础是Gelfond和Lifschitz提出的回答集语义。目前,ASP在规划、诊断、行动推理、智能机
蛋白质具有在不同构象状态(非功能状态和功能状态)之间相互转换的内在能力。这种构象转换对蛋白质生物功能的产生与完成起着重要作用,如蛋白酶的催化能力、动力蛋白中动力的产生
随着电子技术和互联网技术的发展,以无线传感器网络为标志的物联网是继计算机、互联网与移动通信网之后的又一次信息产业浪潮,已经引起了学术界和工业通信领域的关注。物联网