軟件測試技術及軟件構件驗證的研究.pdf

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

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