网络移动IPv6协议测试生成的研究与实现

协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。     

一致性测试中的TTON和MSO

计算机网络中，描述一种协议并对其进行标准化并不能确保成功的通信。这是因为协议标准目前基本上是使用自然语言描述的，对协议的不同理解会导致不同的协议实现。一致性测试就是测试协议实现是否符合协议说明。TTCN是一致性测试中最常用的技术，本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展，以及可以将测试用例可视化的技术MSC。     

一致性测试中的TTCN和MSC

计算机网络中,描述一种协议并对其进行标准化并不能确保成功的通信,这是因为协议标准目前基本上是使用自然语言描述的,对协议的不同理解会导致不同的协议实现.一致性测试就是测试协议实现是否符合协议说明.TTCN是一致性测试中最常用的技术,本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展,以及可以将测试用例可视化的技术MSC.     

基于TTCN-3的移动IPv6并行测试的设计与实现

协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3（Testing and Test Control Notation version 3）这一新的国际标准化测试语言,对移动IPv6协议实现进行并行测试的设计方案,并重点分析了多PTC（Parallel Test Compo-nent）情况下,测试适配器的开发方法.该适配器与使用TTCN-3编写的测试例结合后,只使用一台测试机就可以实现并行测试.使用这样的测试方法可以使得测试人员专注于协议的逻辑过程,而不必关心底层的编码工作.     

基于TTCN-3的移动IPv6并行测试的设计与实现

协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3(Testing and Test Control Notation version 3)这一新的国际标准化测试语言,对移动IPv6协议实现进行并行测试的设计方案,并重点分析了多PTC(Parallel Test Component)情况下,测试适配器的开发方法.该适配器与使用TTCN-3编写的测试例结合后,只使用一台测试机就可以实现并行测试.使用这样的测试方法可以使得测试人员专注于协议的逻辑过程,而不必关心底层的编码工作.     

TOP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差,B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明,B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

组播路由协议PIM-SMv2及其实验测试

概述了组播路由协议PIM-SMv2的设计实现,并搭建实验测试环境完成了PIM-SMv2协议BSR及RP竞选的正确性测试.     

TCP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明.B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

基于TCL的PIM—SM协议一致性测试系统设计

针对PIM-SM组播协议,提出了一种协议一致性测试系统的设计方法.其核心思想是通过创建虚拟测试体,用简单的PC机模拟复杂的网络环境和协议行为,并针对协议测试过程中同时要求报文高效处理和网络场景频繁修改的问题,进行了系统层次的划分,实现了模拟配置灵活性和运行效率的统一,具有良好的扩展性.基于该方法实现的系统,成功地对多个不同的PIM-SM组播协议实现进行了一致性测试.     

TD-SCDMA移动终端协议一致性测试技术的研究

根据我国基于TD-SCDMA技术的第三代移动通信系统的发展战略,提出TD-SCDMA移动终端 协议一致性测试技术的研究,着重介绍了一致性测试的原理,TD-SCDMA移动终端协议一致性测试的方 法.测试系统的设计和实现,抽象测试集的生成8通过对该项技术的研究,可为TD-SCDMA移动终端设备 提供标准的,实用的协议一致性测试方法和工具,以解决接入网络时产生的协议非一致性问题.