基于組件軟件系統(tǒng)的測試用例自動生成方法.pdf

1、基于組件的軟件工程正逐漸被人們用來進(jìn)行軟件開發(fā),這種把可重用的組件作為構(gòu)建軟件塊的方法使得軟件系統(tǒng)的擴展和改進(jìn)變得非常容易.同時,它提高了軟件的質(zhì)量和生產(chǎn)效率.雖然人們在開發(fā)基于組件的軟件系統(tǒng)方面取得了頗有成效的進(jìn)展,但是在測試基于組件的軟件方面進(jìn)展卻緩慢.而測試又是軟件開發(fā)過程中的一個不可缺少的重要階段.在這個階段中,通過實際運行程序發(fā)現(xiàn)軟件自身所存在的缺陷.然而,由于基于組件的軟件自身的一些特點,傳統(tǒng)的一些測試方法通常不能直接用來測

2、試基于組件的軟件.例如,由于組件實現(xiàn)的透明性,組件的源碼通常是不可用的,在這種情況下,基于源碼的白盒測試就不能直接用來測試.因而就非常需要一些新的技術(shù)測試和維護(hù)基于組件的軟件.本文提出一種測試基于組件的軟件方法,它首先假設(shè)每個組件是面向?qū)ο蟮?即組件由有狀態(tài)和行為的對象組成.狀態(tài)由每個對象的狀態(tài)變量決定,行為則由那些對一個或者多個對象進(jìn)行讀取操作或改變狀態(tài)變量的方法決定.我們把狀態(tài)和行為表示成組件狀態(tài)機.在組件狀態(tài)機中,狀態(tài)來源于對狀態(tài)

3、變量的判定,遷移則來源于每個方法的狀態(tài)遷移規(guī)格說明.接著把這種有限狀態(tài)機表示成一種有向圖.這個圖的頂點由這個有限狀態(tài)機的狀態(tài)、條件(guards)和遷移組成,邊則由方法調(diào)用所引起的數(shù)據(jù)流和控制流組成.最后在這個有向圖的基礎(chǔ)上得到一組覆蓋了所有潛在的數(shù)據(jù)流的測試用例.這種測試方法充分考慮到了基于組件軟件這種類型軟件的特征:缺乏組件的源碼;僅使用了所提供組件的部分功能;依賴于中間件;組裝組件以及依賴于狀態(tài)等組件特征.本文的主要工作步驟如下: