路由协议测试研究——边界网关路由协议BGP-4测试

现有测试理论和方法在路由协议测试中面临挑战。由于路由协议具有与通信协议不同的特点 ,现有测试系统的能力已经难以满足测试需求。本文介绍了在路由协议测试中进行的探索和实践 ,深入分析了路由协议的特点 ,在此基础上对现有测试方法的适用性进行考察 ,选择了相应的测试方法和结构 ;扩充了测试系统中的参考实现增强测试能力 ,设计了TTCN格式的测试集。通过测试实践 ,证实所用方法手段的有效性 。

基于协议集成测试系统的BGP-4协议测试

针对ＢＧＰ－４作为路由协议的特点，对现有测试方法进行了分析，选择了测试方法和测试结构；对参考实现进行了扩展，引入了动态计算等子模块以增强测试能力；ＴＴＣＮ格式的测试集采用自动生成和手工编写相结合的方式，以提高覆盖率； ＢＧＰ－４测试在协议集成测试系统（ＰＩＴＳ）上进行，测试发现了包括Ｃｉｓｃｏ产品在内的ＢＧＰ－４协议实现中的错误，证实了测试工作的有效性。测试成果促进了国产高性能路由器的开发与改进，为其他路由协议的测试提供了有益的借鉴，同时增强了ＰＩＴＳ系统的测试能力，扩大了系统的适用范围。

基于TTCN-3的LDP一致性测试研究

为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP的测试适配器模块;设计了LDP的测试集并使用TTCN-3语言实现了该测试集,从而完成了PITSv3系统对LDP的功能扩展。最后进行了PITSv3系统对于LDP的一致性测试实践。

基于形式化技术的帧中继信令协议一致性测试研究

帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 。

基于形式化技术的帧中继拥塞控制协议一致性测试

帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限。本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致性测试研究和实际测试。针对帧中继拥塞控制协议的特点,采用穿越测试法设计生成了基于形式化技术的一致性测试集,并且将利用协议集成测试系统取得的一致性测试的研究成果应用到路由器的开发和研制过程中。