BT協(xié)議的互操作測(cè)試生成方法研究.pdf

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

2、了MSC,并用其形式化地描述測(cè)試目的,然后使用了互操作測(cè)試中的全局測(cè)試目的的分解算法,將全局測(cè)試目的分解為多個(gè)單邊的測(cè)試目的,然后采用單邊的測(cè)試生成方法進(jìn)行測(cè)試生成,最后以BitTorrent協(xié)議中Tracker和Peer之間的交互為例,生成測(cè)試?yán)?br>　　 第三,分析了測(cè)試數(shù)據(jù)的選擇方法,對(duì)測(cè)試數(shù)據(jù)選擇方法進(jìn)行了綜述,從而指導(dǎo)BT協(xié)議數(shù)據(jù)包的組建。
　　 第四,介紹了分布式測(cè)試結(jié)構(gòu),闡述了什么是可控制和可觀察問(wèn)題,分析了