网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

在协议集成测试系统上开展路由协议测试

在分析路由协议的特性及其测试需求的基础上，提出利用窗口黑盒来描述被测协议，利用多通道测试方法扩展对被测实现的控制和观察，通过扩充参考实现增强系统的测试能力。将这些理论，技术应用于系统中，对路由协议开展了有效的测试活动，为国产高性能路由器的开发提供了有力的支持，也进一步增强了PITS系统的功能和适用性。     

一种线性时间复杂度的高效路由保护方法

如何高效快速地应对网络中的故障是设计路由协议的基本要求和主要任务。由于动态路由协议在应对网络中的故障时,在协议动态收敛的过程中将会有大量的报文被丢弃。因此,目前路由器厂商普遍采用路由保护方法来克服网络故障,在众多的路由保护方法中,DC（downstream criterion）规则是一种被普遍认可的方法。然而,已有的实现 DC规则算法的时间复杂度普遍较高,并且复杂度随着网络节点平均度的增加而迅速增加。为了应对上述问题,提出一种线性时间复杂度的高效路由保护方案ERPLR（an efficient routing protection method with linear time complexity）,该方法首先提出了备份下一跳计算规则,然后在已有最短路径树的基础上,根据备份下一跳计算规则为所有的源目的节点对计算备份下一跳。在计算备份下一跳的过程中,每个节点和其邻居最多被访问一次,因此ERPLR的时间复杂度为O（V+E）。实验结果表明,与已有的实现DC规则相比较,ERPLR在故障保护率和路径拉伸度两个度量指标结果相似的情况下,在真实网络拓扑和模拟拓扑中,ERPLR分别降低了大约74.93%和78.91%的计算开销,该方法可以极大地降低DC规则的计算开销。     

基于TTCN的测试序列选择技术研究

测试序列选择技术一直是协议测试领域中一个研究热点,本文对此技术进行了深入地探讨,建立了测试集动态关系模型,并以此为基础邮综合静态选择和动态选择的一种实现方案。     

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

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

IPv6中RIPng协议的一致性测试研究与实践

协议的一致性测试是保证协议实现正确高效的重要手段。在介绍RIPng协议的基础上，提出了适合RIPng一致性测试的多端口的测试结构，采用适用于中继系统的穿越式测试法，设计了RIPng一致性测试集及相应的参考实现，并在CNGI骨干网设备选型中对7款路由器进行了测试实践。     

应用于路由协议测试的增强参考实现

参考实现是协议测试系统中接收测试执行的命令和数据，通过服务提供者与被测模块进行通信的功能模块．本文讨论了协议集成测试系统(PITS)中参考实现的扩充和增强技术．通过引入测试数据产生、动态计算等子模块增强其处理能力，通过引入多个通道以增强控制、观察能力，为适应高速网络的测试，将参考实现划分为接收子层和提交子层，与帧扩展等技术相配合，增强了参考实现的功能，解决了系统在路由协议测试中遇到的问题，提高了PITS的灵活性和效率，并保证了PITS的兼容性．增强的参考实现在路由协议的测试中发挥了良好的作用．     

无机化学课程教学方法的改进和实施

我们在无机化学课程教学中采用了启发式教学模式与思维导图相结合的方法,实现了"以学生为主体,教师为主导"的教学理念。本文通过两个教学案例说明了包含多种教学手段的启发式教学模式及思维导图在教学活动中的运用和教学效果。     

证据理论在热保护火工品高温安全性评估中的应用

为了评估热保护火工品的高温安全性,根据假设的装药和保护结构失效温度分布及温升历程模型,建立了热保护火工品的安全性分析模型.采用证据理论中的专家判断方法处理模型参数确定中的不确定性问题,基于专家判断获得的参数区间分布情况,使用随机抽样方法,生成了N组模型参数,完成安全性分析并进行结果的统计表达.分析结果表明,证据理论可以成功用于热保护火工品高温安全性的量化评估.     

容器放气性能研究

以较大容器和多段不同内径、长度的细长导管和自动阀门组成的放气系统为对象,研究了该系统从0.6 MPa初始压力放至剩余压力为0.001 MPa时所需的放气时间.将该放气系统简化为定容器和流量特性参数为S和b的气动元件,并假设气体为理想气体,放气过程为等温,推导出了相关的计算公式.通过放气系统的实验结果、理论分析结果的对比...