BitTorrent协议一致性测试的研究

来源 :内蒙古大学 | 被引量 : 5次 | 上传用户:zj1280
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着网络的日益普及,互联网用户对网络的健壮性、安全性与灵活性提出了更高的要求。Peer-to-Peer(P2P)是一种新兴的分布式网络结构,它不同于以往的C/S、B/S的服务模式,允许网络参与者们共享他们的一部分资源,而且这些资源可以被其他对等节点直接访问而不经过其他中间实体的组织。伴随越来越多的P2P软件的产生,针对这类软件的测试就变得非常有意义。本文选择了基于P2P网络的BitTorrent协议来进行协议一致性测试,首先分析了BitTorrent协议的工作原理,并且采用有限自动状态机(FSM)来对BitTorrent协议进行形式化建模。随后使用基于变迁覆盖的UIO方法对BitTorrent协议的FSM模型进行测试生成,得到了BitTorrent协议一致性测试的抽象测试序列。在分析了ISO9646中的四种测试结构后,最终决定采用分布式测试结构。之后详细分析了分布式测试中可能出现的可控制与可观察问题,并且据此检查了之前生成的抽象测试例,发现其中存在可控制问题。在综合考虑了两种常见的此类问题解决方法后,最终采用增加管理模块,统一协调管理各个测试器的方法来解决可控制问题。并且就仿真和模拟两种测试环境,提出了具体的解决方法。在模拟环境下,通过编写模拟程序来模拟Tracker服务器和Peer端,对BitComet和BitSpirit两款支持BitTorrent协议的文件共享软件进行了实际测试,给出了测试结论。最后给出本文的结论及下一步需要研究的问题。
其他文献
移动电子商务利用手机等移动终端随时随地接入网络的特点,使用户得以脱离Internet网络环境接入的束缚,最大限度地进行高效自由的商务活动,促进了高效商务活动的发展。随着3G
信息技术的发展和网络应用的普及,给人类社会各个方面都带来了极大的便利并产生了巨大的经济效益,但同时也引发了一系列的安全问题。而密码技术是保证信息安全的关键。公开密
3D打印机是三维建模技术和传统打印产业结合的前瞻产品,目前以迅猛的速度向前发展。随着3D打印技术、先进制造业技术和网络技术的结合,3D打印产品创意呈现海量增长趋势,数据
本文对配电网中基波潮流和谐波潮流算法进行了研究和改进。首先,选择一种高效的算法作为谐波潮流计算的算法基础。其次,对粒子群优化算法(Particle Swarm Optimization,PSO)做详细分析并加以改进。对差分进化算法(Differential Evolution,DE)进行研究。并将改进后的PSO算法与其结合。最后,对无功补偿设备的优化配置做合理建模。鉴于辐射状配电网的网络特性,提出
随着计算机科学的飞速发展,计算机相关领域的应用已经深入到人们生活的各个方面,并起着十分巨大的作用。其中,人工智能与模式识别是计算机科学研究中比较前沿的研究课题,是计
为了求解问题,人们提出了各种处理精确信息、随机信息和模糊信息的方法,并且解决了不少问题。然而,在人类社会中还存在矛盾问题和矛盾信息,这种问题是对立的和不相容的。可拓学的
果蝇优化算法是由台湾学者潘文超在2011年提出的一种基于果蝇觅食行为的一种新型元启发式优化算法。相比其它一些群智能优化算法,果蝇算法拥有结构简单、参数少、易调节、易
网络隐蔽信道是信息隐藏技术的一个分支,属于网络安全研究范畴。与正常通信不同,网络隐蔽信道违反系统的安全控制策略,用本不用于通信的资源进行信息传输,将机密信息毫无察觉
人脸识别技术是近二十年逐步发展成熟起来的一门崭新的信息技术,是模式识别领域的重要研究课题,90年代更成为科研热点,在计算机视觉、客户身份鉴别、多媒体数据检索等领域有
无线传感器网络(Wireless Sensor Networks,简称WSN)因其广阔的应用前景和独特的技术挑战吸引了众多学者的研究兴趣,并逐渐成为了近几年来计算机网络领域中最为热门的研究内