BT协议的形式化建模与一致性测试的测试序列生成

摘要

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