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

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

业余从医手纪 无影灯下的报告——你照我,我就曝光你

记得高考后报志愿时,我曾打算报考军医大学,当时,曾经当过兵的老爸摇了摇头说,部队里的孩子身体一般比较好,将来你见到的病例不多,不利于提高技术。几年过去了,我虽没有在医科大学学习,但老爸所说的却从反面得到了说明。事情也很偶然,由于“硬件医护人员”缺乏,于是,赤脚医生只好穿起白大褂,挂上听诊器坐堂门诊了。     

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

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

应用于在线测试的状态判定算法

在线测试是通过观察线路上双方协议实体的会话来进行协议测试的方法,测试中需要判定会话双方的状态.本文提出的状态同步算法将传统的协议状态机转化为“事件状态表”,并通过表运算判定双方状态.该通用算法解决了在线测试中首先要解决的状态判定问题.通过对该算法进行的复杂度分析得出了影响其复杂度的因素,并进行了改进和优化.该算法应用于作者开发的在线测试系统中,已完成了若干通信协议和路由协议的一致性测试和互操作性测试,取得了较好效果.     

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

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

玫瑰天堂

软雕塑是以纤维材料为士．根据一定创作目的的需要而创作出的浮雕或圆雕艺术品．属于纤维艺术的一种。其创作媒材主要有毛、麻、丝、缎、棉皮、木等纤维类材料。由于这些材料都是自然之子，又纤细柔软．所以很具亲和力。它可以作为纯艺术品置入博物馆供人欣赏；也可进入星级酒店、娱乐空间、办公空间、别墅家庭等环境成为别具魅力的装饰艺术品。     

业余行医手记(三)——键盘鼠标蒙难记

“鼠标”来自英文Mouse,大概是因为这个设备拖着一根细细长长的电缆的缘故,在台湾,干脆就被称作“滑鼠”。鼠标有机械式的,也有光电式的。机械鼠肚皮下面趴着一个橡胶球,光电鼠的肚皮上有一个洞,洞里可能红光闪闪,也可能漆黑一片。和计算机打交道的方式多种多样:光电笔,游戏杆,触摸屏,乃至扫描仪,话筒,摄象机等等,都可以将信息输入计算机。不过对我们,在大多数时间里,使用计算机还要靠键盘和鼠标“手谈”。若是这两个东西出了问题,计算机用起来可就很不     

KILL it!——道魔之战,卫士与杀手

这回要介绍的伙伴有一个杀气腾腾的名字,显得有点儿残酷,可是如果看一看要被“杀”的对象,您可能就会觉得无过之而有不及了:可恶的计算机病毒!病毒惧怕的杀手就是我们可敬的卫士! 计算机病毒已经不是一个新名词了,不如先让我们回顾一份简要的历史记录:     

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。     

测试集自动生成方法中的可执行化研究

自动生成的测试集是可执行的才具有实用意义。讨论了在测试集自动生成系统TUGEN中实现的参数化可执行化算法。分析了该算法的效果,不足及其原因;讨论了可执行化处理中所涉及谓词可满足性问题的复杂度和测试路径可执行性问题,并在此基础上进一步提出并实现了“可执行参数”的算法,克服了前一算法的不足,提高了TUGEN的实用性和执行效率,在进行了讨论分析后,以实例进行了对比和说明,并对今后的研究方向进行了展望。