BitTorrent協(xié)議一致性測試的研究.pdf

1、隨著網(wǎng)絡(luò)的日益普及，互聯(lián)網(wǎng)用戶對(duì)網(wǎng)絡(luò)的健壯性、安全性與靈活性提出了更高的要求。Peer-to-Peer(P2P)是一種新興的分布式網(wǎng)絡(luò)結(jié)構(gòu)，它不同于以往的C/S、B/S的服務(wù)模式，允許網(wǎng)絡(luò)參與者們共享他們的一部分資源，而且這些資源可以被其他對(duì)等節(jié)點(diǎn)直接訪問而不經(jīng)過其他中間實(shí)體的組織。伴隨越來越多的P2P軟件的產(chǎn)生，針對(duì)這類軟件的測試就變得非常有意義。
　　 本文選擇了基于P2P網(wǎng)絡(luò)的BitTorrent協(xié)議來進(jìn)行協(xié)議一致性測試，

2、首先分析了BitTorrent協(xié)議的工作原理，并且采用有限自動(dòng)狀態(tài)機(jī)(FSM)來對(duì)BitTorrent協(xié)議進(jìn)行形式化建模。隨后使用基于變遷覆蓋的UIO方法對(duì)BitTorrent協(xié)議的FSM模型進(jìn)行測試生成，得到了BitTorrent協(xié)議一致性測試的抽象測試序列。在分析了ISO9646中的四種測試結(jié)構(gòu)后，最終決定采用分布式測試結(jié)構(gòu)。之后詳細(xì)分析了分布式測試中可能出現(xiàn)的可控制與可觀察問題，并且據(jù)此檢查了之前生成的抽象測試?yán)?，發(fā)現(xiàn)其中存在可控