軟件測試技術(shù)及軟件構(gòu)件驗證的研究.pdf

1、本文對軟件質(zhì)量保證的重要手段-軟件測試進行了論述，首先給出一些基本理論，隨著軟件測試研究的進展，軟件測試提出了一些比較前沿的理論。如測試驅(qū)動開發(fā)，探索性測試，基于模型的測試，自動化測試和基于構(gòu)件的軟件測試等。 本文重點研究構(gòu)件測試問題。構(gòu)件和基于構(gòu)件的軟件開發(fā)是目前軟件工程領(lǐng)域研究的熱點，構(gòu)件測試類似于傳統(tǒng)的單元測試，基于構(gòu)件的軟件測試則類似于傳統(tǒng)的集成測試方法。 軟件采用構(gòu)件是一種為實現(xiàn)可擴展和可靠應(yīng)用的現(xiàn)代化方式，為

2、確保高可靠性，構(gòu)件應(yīng)用一定要經(jīng)過驗證，如模型檢查，來證明它具有一定的特性。由于應(yīng)用的執(zhí)行常常過于復(fù)雜而難以直接證明，因此，一個抽象執(zhí)行的模型被使用。行為協(xié)議是一個為軟件構(gòu)件的行為建模的平臺。使用詳盡的模型狀態(tài)空間來評價復(fù)合構(gòu)件間的橫向依從和縱向依從關(guān)系是相當費時的，目前協(xié)議檢查機版本的限制狀態(tài)空間在108的大小內(nèi)，在某些情況下是不夠的，相比較而言，SPIN是目前最先進的模型檢測機。 在這篇文章中，提出了一種方法，將行為協(xié)議轉(zhuǎn)變成