BT協議的互操作測試生成方法研究.pdf

1、隨著信息技術的發(fā)展,網絡的日益普及,網絡協議扮演著越來越重要的角色,協議測試則是保證協議能正常工作的基礎,協議測試一般可以分為一致性測試、互操作測試、健壯性測試及性能測試,本文以BitTorrent協議為例,介紹了互操作測試生成方法。本文的研究內容如下:
　　 第一,根據BitTorrent的規(guī)約說明,詳細的分析了BitTorrent協議的工作原理,給出了BitTorrent的有限狀態(tài)機(FSM)模型。
　　 第二,介紹

2、了MSC,并用其形式化地描述測試目的,然后使用了互操作測試中的全局測試目的的分解算法,將全局測試目的分解為多個單邊的測試目的,然后采用單邊的測試生成方法進行測試生成,最后以BitTorrent協議中Tracker和Peer之間的交互為例,生成測試例。
　　 第三,分析了測試數據的選擇方法,對測試數據選擇方法進行了綜述,從而指導BT協議數據包的組建。
　　 第四,介紹了分布式測試結構,闡述了什么是可控制和可觀察問題,分析了