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

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

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

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