協(xié)議的動態(tài)測試.pdf

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

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

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