協(xié)議的動(dòng)態(tài)測(cè)試.pdf

1、網(wǎng)絡(luò)技術(shù)在近二三十年來(lái)飛速發(fā)展，隨著Internet的迅速普及，網(wǎng)絡(luò)規(guī)模不斷擴(kuò)大，不幸的是，隨著網(wǎng)絡(luò)規(guī)模的增加，出現(xiàn)問題的可能性也在增加，這就對(duì)通信協(xié)議測(cè)試技術(shù)提出了巨大的挑戰(zhàn)。傳統(tǒng)的通信協(xié)議測(cè)試方法是根據(jù)一定的測(cè)試序列生成算法生成測(cè)試集，按照靜態(tài)的固定的順序?qū)f(xié)議實(shí)現(xiàn)進(jìn)行測(cè)試，一般稱這種測(cè)試方法為“靜態(tài)測(cè)試”。但是這種測(cè)試方法忽略了測(cè)試過程之中的反饋，存在測(cè)試效率和測(cè)試覆蓋率相對(duì)較低的問題?！皠?dòng)態(tài)測(cè)試”是另一種測(cè)試思想：在已生成測(cè)試集

2、的基礎(chǔ)之上，在測(cè)試過程之中根據(jù)測(cè)試的階段性結(jié)果對(duì)測(cè)試順序進(jìn)行重組，并進(jìn)一步重新生成有效的測(cè)試序列，以期提高測(cè)試效率和測(cè)試覆蓋率。本文研究了有限狀態(tài)機(jī)模型上動(dòng)態(tài)測(cè)試的一些理論和方法，本論文的主要工作包括： 1、測(cè)試序列動(dòng)態(tài)排序的問題： 在某些情況之下，測(cè)試并不需要運(yùn)行所有的測(cè)試序列：測(cè)試目的為檢測(cè)出第一個(gè)錯(cuò)誤。此時(shí)測(cè)試代價(jià)只是檢測(cè)出第一個(gè)錯(cuò)誤之前執(zhí)行的測(cè)試序列代價(jià)。明顯的，對(duì)于每一種特定的錯(cuò)誤，都存在一種最優(yōu)的排序，使第一

3、個(gè)錯(cuò)誤最早的出現(xiàn)。但是這樣將導(dǎo)致不同的錯(cuò)誤對(duì)應(yīng)不同的排序，而實(shí)際測(cè)試中不可能事先知道是什么錯(cuò)誤，所以從平均效果來(lái)看，任何一種靜態(tài)排序方法都不會(huì)導(dǎo)致最小的測(cè)試代價(jià)。因此提出動(dòng)態(tài)排序方法，即在測(cè)試中不事先指定測(cè)試順序，而是根據(jù)已經(jīng)測(cè)試過的試結(jié)果來(lái)動(dòng)態(tài)安排剩余的測(cè)試子序列的測(cè)試順序。 本文給出了三種動(dòng)態(tài)重排序算法，分別針對(duì)多錯(cuò)誤情況、單錯(cuò)誤情況和對(duì)測(cè)試效率要求高并且測(cè)試機(jī)計(jì)算能力較強(qiáng)的情況。 2、測(cè)試序列動(dòng)態(tài)生成的問題：