BitTorrent协议一致性测试地研究.pdf

协议一致性测试的研究摘要随着网络的日益普及,互联网用户对网络的健壮性、安全性与灵活性提出了更高的要求。����甈����是一种新兴的分布式网络结构,它不同于以往的�疭、�疭的服务模式,允许网络参与者们共享他们的一部分资源,而且这些资源可以被其他对等节点直接访问而不经过其他中间实体的组织。伴随越来越多的��砑�牟���攵哉饫嗳砑�牟馐跃捅涞梅浅S幸庖濉�本文选择了基于���绲腂����协议来进行协议一致性测试,首先分析了�����协议的工作原理,并且采用有限自动状态机���炊訠����协议进行形式化建模。随后使用基于变迁覆盖的��椒ǘ訠����协议的��P徒�胁馐陨�桑�玫搅薆�����协议一致性测试的抽象测试序列。在分析了����械乃闹植馐越峁购螅�钪站龆ú捎梅植际讲馐越峁埂V�笙�细分析了分布式测试中可能出现的可控制与可观察问题,并且据此检查了之前生成的抽象测试例,发现其中存在可控制问题。在综合考虑了两种常见的此类问题解决方法后,最终采用增加管理模块,统一协调管理各个测试器的方法来解决可控制问题。并且就仿真和模拟两种测试环境,提出了具体的解决方法。在模拟环境下,通过编写模拟程序来模拟�����衿骱蚉��耍�訠����和�����娇钪С諦����协议的文件共享软件进行了实际测试,给出了测试结论。最后给出本文的结论及下一步需要研究的问题。关键词:��������,可控制问题,可观察问题,模拟与仿真���内蒙古大学硕士学位论文
,����.�����������������瑃�����:�������������������������,����������甈������������⋯��������������,����������协议一致性测试的研究��籭����,�����疧���.��,����������������甀���.������—�������,������,�����������疭�����琲��疭�����琣�����.�����甌����.�����.���Ⅱ
图表目录�����系统组织结构示意图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯�表��简化�����模型的状态对应表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯�表��简化�����模型的输入输出对应表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。������模型中各状态的��蛄斜怼�����������������������模型中各变迁的测试序列表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯�图��一致性测试过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.�图����/����榈男蛄型肌���������������������协议的序列图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯������协议的���������������������������������协议的简化������������������������������协议的分布式测试结构图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。�图��可控制问题示意序列图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..�图��可观察问题示意序列图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯������测试序列中的可控制问题序列图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。�图��仿真测试示意图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯�图��构造数据包的��侄问疽馔肌����������������������表�������协议测试目的表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯�内蒙古大学硕士学位论文�������
学位论文作者签名:量:丝�蝴�期:丝塑笸丝活��。心��原创性声明西贸。�在学期间研究成果使用承诺书�除本文己经注明引用的内容外,论文中不包含其他人己经发表或撰写过的研究成果,也不包含为获得内苤直太堂及其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对用涉及在学期间主要研究内容或研究成果,须征得内蒙古大学就读期间导师的同意;若用于本人声明:所呈交的学位论文是本人在导师的指导下进行的研究工作及取得的研究成果。木研究所做的仟何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名:指导教师签名:期:厂\’�本学位论文作者完全了解学校有关保留、使用学位论文的规定,即:内蒙古大学有权将学位论文的全部内容或部分保留并向国家有关机构、部门送交学位论文的复印件和磁盘,允许编入有关数据库进行检索,也可以采用影印、缩印或其他复制手段保存、汇编学位论文。为保护学院和导师的知识产权,作者在学期间取得的研究成果属于内蒙古大学。作者今后使发表论文,版权单位必须署名为内蒙古大学方可投稿或公开发表。日
第一章引言��选题研究方向每个数据块作为独立的传输单位在下载者之间进行交换。相比较把整