随着网络的日益普及,互联网用户对网络的健壮性、安全性与灵活性提出了更高的要求。Peer-to-Peer(P2P)是一种新兴的分布式网络结构,它不同于以往的C/S、B/S的服务模式,允许网络参与者们共享他们的一部分资源,而且这些资源可以被其他对等节点直接访问而不经过其他中间实体的组织。伴随越来越多的P2P软件的产生,针对这类软件的测试就变得非常有意义。本文选择了基于P2P网络的BitTorrent协议来进行协议一致性测试,首先分析了BitTorrent协议的工作原理,并且采用有限自动状态机(FSM)来对BitTorrent协议进行形式化建模。随后使用基于变迁覆盖的UIO方法对BitTorrent协议的FSM模型进行测试生成,得到了BitTorrent协议一致性测试的抽象测试序列。在分析了ISO9646中的四种测试结构后,最终决定采用分布式测试结构。之后详细分析了分布式测试中可能出现的可控制与可观察问题,并且据此检查了之前生成的抽象测试例,发现其中存在可控制问题。在综合考虑了两种常见的此类问题解决方法后,最终采用增加管理模块,统一协调管理各个测试器的方法来解决可控制问题。并且就仿真和模拟两种测试环境,提出了具体的解决方法。在模拟环境下,通过编写模拟程序来模拟Tracker服务器和Peer端,对BitComet和BitSpirit两款支持BitTorrent协议的文件共享软件进行了实际测试,给出了测试结论。最后给出本文的结论及下一步需要研究的问题。