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

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

路由协议测试的窗口黑盒模型和多通道的测试方法

路由协议测试中的效率和覆盖率亟待提高,原有通信协议测试理论将被测实现作为黑盒,使得大量可增强控制观察能力的手段无法利用,因此在路由协议测试中以窗口黑盒模型描述被测实现,在测试结构上实现了多通道测试方法,提高了测试效率和测试覆盖率,通过与被测模块交互的其它模块,增强了测试的控制观察能力,测试便的执行时间相比原有方式下降50％;消除或减小了以往不能测试的范围和内容,相应测试例个数增加3倍以上;为目前急需的大规模的路由器测试工作奠定了基础。     

IPv6中继系统一致性测试系统的设计

通过对IPv6协议中继系统一致性测试目的和方法的深入分析,设计了基于PITS的IPv6中继系统一致性测试系统,介绍了该测试系统的测试方法与结构,通过一个测试实例给出了一致性测试的实现过程,并对测试结果进行了分析.     

路由协议一致性测试系统研究及实现

文章通过对路由协议特点的分析,指出了路由协议一致性测试所包含的内容和目的,根据测试的内容和对现有的测试方法和测试系统的研究,提出了一种针对路由协议一致性测试的分布式虚拟测试法,它使用一个控制模块组织多个虚拟测试体协同工作实现对待测体的测试。依据这种方法,实现了一个可扩展的路由协议测试系统,并完成了IPv6路由协议的一致性测试。文中以对OSPFv3的测试作为示例。     

远程IP/ICMP协议一致性测试研究

在 INTERNET迅速发展的今天 ,作为 INTERNET的核心的 IP协议的地位已日趋重要 ,IP协议的一致性测试已成为协议工程学的研究重点 .ICMP协议作为 IP模块的差错报告和控制报文 ,与 IP协议的一致性测试具有十分密切的关系 .测试实践向 IP/ ICMP的测试活动提出了新的要求——远程测试 .在 PITS系统 〔1〕基础上 ,清华大学 CNPT实验室进一步开发了 IP/ ICMP远程测试模块 .本文分析了 IP/ ICMP一致性测试远程化的可行性 ,提出了一种测试方法并加以实现     

移动IPv6协议的测试研究

移动IPv6作为IPv6协议族中非常重要的一个协议，对它的一致性测试和互操作性测试将有助于协议的完善，发现协议实现中存在的错误，保证不同厂商产品之间的正确协作，本文分析了移动IPv6协议的测试方法和技术，提出IPv6协议一致性测试系统的参考实现扩展方案，使之适用于移动IPv6协议的一致性测试和互操作性测试，既增强了测试能力，又提高了测试过程可配置和自动化程度，并在此基础上进行了测试实践，最后提出了未来的研究方向．     

基于TCL的IPsec协议一致性测试

IPsec协议体系是IETF制定的新一代网络安全协议标准，用于在IP层为IPv4和IPv6提供可交互操作的、高质量的、基于加密的安全．针对协议一致性测试的要求和IPsec协议体系的特点，设计了一种基于Tcl的IPv6协议体系中的IPsec协议一致性测试系统，并给出一个实例说明如何使用该系统进行测试例的开发,实践表明，该系统具有方便、灵活、模块独立性好等优点，基于Tel的一致性测试是一种有效的协议一致性测试技术．     

简单邮件传输协议的一致性测试研究

Internet协议的一致性测试是保证厂商的Internet产品和服务实现互连和互通的重要技术手段。文章在扼要地介绍简单邮件传输协议SMTP的基础上,理论上分析了SMTP的测试组织、抽象测试方法和测试集的设计,提出了适合于SMTP一致性测试的测试结构和测试描述技术。最后讨论了在协议集成测试系统PITS中SMTP一致性测试的实际应用。     

一个路由协议测试平台的设计与实现

提出了一种应用于路由协议测试的平台设计方案。它通过IP(Internet Protocol)组播技术实现，具有高效、系统扩展性强的优点，可支持IPv4／IPv6路由协议的测试。     

一种面向对象的协议测试环境研究

该文介绍了协议集成测试系统PITS中的一个子系统─—面向对象的协议测试环境00-PTE,它包括消息管理机制、共享缓冲区管理机制、公用时钟、系统日志机制和辅助通道五个组成部分。OO－PTE解决了测试系统内部的通信和相互协调问题,前两个组成部分实现了测试系统中消息的传送功能,后三者是建立在前两者基础上的系统共享功能。基于面向对象协议的测试环境OO－PTE减少了模块间的耦合度,增强了可维护性,提高了协议测试系统的通用性。     

From Active to Passive—Progress in Testing Internet Routing Protocols

Routing protocols play an important role in the Internet and the test requirements are running up.To test routing protocols more efficiently,several enhancing techniques are applied in the protocol integrated test system described in this paper.The Implementation Under Test is modeled as a black box with windows.The test system is endowed with multiple channels and multiple ports to test distributed protocols.The test suite and other related aspects are also extended.Meanwhile,the passive testing is introduced to test,analyze and manage routing protocols in the production field,which is able to perform the conformance test,the interoperability test and the performance test.The state machine of peer sessions is tested with the state synchronization algorithm,and the routing information manipulation and other operations are checked and analyzed with the methods like the topology analysis and the internal process simulation,With both the active testing and the passive testing,the routing protool test is going further and more thoroughly and helps a lot in the developmnt of routers。     

一种用于测试数据生成的动态程序切片算法

介绍了程序切片技术的基本概念，提出了一种基于前向分析的动态程序切片算法，探讨了程序切片在软件测试数据生成中的应用，结果表明可以有效地提高基于路径的测试数据生成效率。     

IS-ISv6协议一致性测试系统设计与实现

IPv6协议作为下一代互联网最有竞争力的核心协议已经成为研究热点，它主要解决路由器之间通信的问题。如何保证各网络设备协议实现的一致性，是保证各设备互联，互操作的关键。本文在介绍IS—ISv6协议和协议一致性测试的基础上，设计并实现了IS--ISv6的协议一致性测试系统，并对一基于Linux平台的IS—ISv6一致性测试实现的结果进行了分析。     

基于广义随机Petri网的并行自动测试系统性能分析研究

为了提高并行自动测试系统的测试效率,改善系统总体性能,运用基于广义随机Petri网的系统性能分析方法,对并行测试任务过程建立广义随机Petri网模型,将并行测试过程同构于马尔科夫过程,并对该过程进行性能分析,进而得到并行测试系统中各种测试资源的利用率以及任务过程的平均延时数据;根据模型计算所得到的测试资源利用率,确定影响并行测试系统性能的瓶颈所在;通过分析并行测试系统中测试资源调用的分布情况,调整测试资源同测试任务的匹配关系,以达到进一步提高测试系统测试效率的目的。     

温度试验可视化系统的关键技术研究

随着数值模拟精度的不断提高以及温度试验测量手段的不断丰富,传统的以一组2维曲线显示多通道采集数据的试验可视化方式无法满足需求,为此提出了一种新的温度试验可视化系统,该系统采用数值模拟技术和试验相结合的方法来进行温度试验的分析和评估,这就为提高试验数据的显示度开辟了新途径。该系统将随时间变化的试验数据,以彩色云图方式动态地显示在有限元模型上,并通过数值模拟结果和试验数据的映射来获得无法布置测点的位置的温度分布情况;同时针对试验测量数据3维可视化的特点,设计了系统的可视化数据结构,并实现了剖切探测、模型比对和云图绘制。该系统的构造方法还可以推广应用到静力、离心等其他环境试验数据3维可视化中。     

Internet路由仿真系统研究与实现

随着Internet不断的发展扩大,如何测量路由协议实现在实际网络环境中的运行特性成为一个重要难题.针对这个问题,设计实现了Internet路由仿真系统IRES(Internet routing emulation system),为这种特性的测试和评价提供了试验床.首先提出了一种将Internet拓扑生成和路由协议实现相结合的思想,并基于此给出了IRES的总体结构.接着研究了将GT-ITM网络拓扑模型转换到面向BGP-OSPF的Internet拓扑结构的方法.最后给出了IRES的应用实例,通过与CISCO2600路由器的路由交互,分析得到了被测系统OSPF协议实现的复杂度为O((lgN)⁴),并给出了其所支持的网络规模上限.实验证明,IRES系统作为试验床,具有其他测试系统不可取代的重要作用.     

The r‐interdiction selective multi‐depot vehicle routing problem

The protection of critical facilities has been attracting increasing attention in the past two decades. Critical facilities involve physical assets such as bridges, railways, power plants, hospitals, and transportation hubs among others. In this study we introduce a bilevel optimization problem for the determination of the most critical depots in a vehicle routing context. The problem is modeled as an attacker–defender game (Stackelberg game) from the perspective of an adversary agent (the attacker) who aims to inflict maximum disruption on a routing network. We refer to this problem as the r‐interdiction selective multi‐depot vehicle routing problem (RI‐SMDVRP). The attacker is the decision maker in the upper level problem (ULP) who chooses r depots to interdict with certainty. The defender is the decision maker in the lower level problem (LLP) who optimizes the vehicle routes in the wake of the attack. The defender has to satisfy all customer demand either using the remaining depots or through outsourcing to a third party logistics service provider. The ULP is solved through exhaustive enumeration, which is viable when the cardinality of interdictions does not exceed five among nine depots. For the LLP we implement a tabu search heuristic adapted to the selective multi‐depot VRP. Our results are obtained on a set of RI‐SMDVRP instances synthetically constructed from standard MDVRP test instances.     

Energy-aware routing in hybrid optical network-on-chip for future multi-processor system-on-chip

With the development of Multi-Processor System-on-Chip (MPSoC) in recent years, the intra-chip communication is becoming the bottleneck of the whole system. Current electronic network-on-chip (NoC) designs face serious challenges, such as bandwidth, latency and power consumption. Optical interconnection networks are a promising technology to overcome these problems. In this paper, we study the routing problem in optical NoCs with arbitrary network topologies. Traditionally, a minimum hop count routing policy is employed for electronic NoCs, as it minimizes both power consumption and latency. However, due to the special architecture of current optical NoC routers, such a minimum-hop path may not be energy-wise optimal. Using a detailed model of optical routers we reduce the energy-aware routing problem into a shortest-path problem, which can then be solved using one of the many well known techniques. By applying our approach to different popular topologies, we show that the energy consumed in data communication in an optical NoC can be significantly reduced. We also propose the use of optical burst switching (OBS) in optical NoCs to reduce control overhead, as well as an adaptive routing mechanism to reduce energy consumption without introducing extra latency. Our simulation results demonstrate the effectiveness of the proposed algorithms.     

基于有限状态机的一致性测试例自动生成方法

一致性测试通俗地讲是测试被测设备（ＩＵＴ）是否符合有关标准。随着被测设备类型的增多，用手工方法产生测试例将是不可能的，所以，迫切需要寻找一种自动生成测试例的方法。本文提出的方法可以自动生成测试例，用这种方法产生的测试例的数目有一确定的上限。     

FLAR: AN ADAPTIVE FUZZY ROUTING ALGORITHM FOR COMMUNICATIONS NETWORKS USING MOBILE ANTS

Swarm intelligence, as demonstrated by a natural biological swarm, such as an ant colony, has many powerful properties that are desirable for effective routing in communications networks. In this paper, we propose an intelligent routing algorithm that we are calling Fuzzy Logic Ant-based Routing (FLAR), which is inspired by ant colonies and enhanced by fuzzy logic techniques. Using a fuzzy system as an intelligent and expert mechanism allows multiple constraints to be considered in a simple and intuitive way. Simulation results and a comparison of the proposed method with two state-of-the-art routing algorithms show better performance and a higher fault tolerance for our approach, particularly in regard to link failures.