论文部分内容阅读
BitTorrent是一种流行的文件共享软件，它允许文件分块，并将每个数据块作为独立的传输单位在下载者之间进行交换。本文分析了P2P应用中的BitTo—nt（BT）协议的特点和工作原理，对BT协议的Peer端进行了形式化建模，得到Peer端的有限状态机模型（FiniteStateMachine，FSM），并基于该模型以及变迁覆盖标准，给出了结合UIO方法的一致性测试的测试序列产生方法，最后给出下一步的研究工作。