基于有限狀態(tài)機的Web服務測試用例生成方法.pdf

1、隨著信息技術的發(fā)展，軟件規(guī)模的不斷擴大，如何保證和提高軟件質(zhì)量成為軟件界最為關心的問題之一。近年來，Web服務的松散藕合性、簡單性、高度可集成性、規(guī)范性、開放性和行業(yè)支持等特點使其得到了迅猛的發(fā)展，Web服務的出現(xiàn)解決了語言差異、平臺差異、協(xié)議差異、數(shù)據(jù)差異所帶來的高代價的系統(tǒng)集成問題，顯著降低了開發(fā)的代價，但Web服務的可靠質(zhì)量是服務選擇、應用和集成的關鍵依據(jù)之一，因此，確保Web服務的質(zhì)量成了一個至關重要的問題。軟件測試作為保證軟件

2、質(zhì)量的關鍵技術之一，能夠有效地發(fā)現(xiàn)軟件中的故障。軟件測試的核心問題是測試用例的產(chǎn)生。好的測試用例不僅能有效的發(fā)現(xiàn)軟件中的缺陷，并可以減少軟件測試的工作量。測試用例的生成將直接關系到Web服務測試的效率和成本。隨著面向服務軟件開發(fā)技術的廣泛應用和軟件測試自動化的要求，基于模型的軟件測試逐漸得到重視。在幾種有代表性的基于模型的軟件測試中，基于有限狀態(tài)機的測試模型已經(jīng)成為軟件測試研究領域的一個熱點。它能夠很好地反映被測試系統(tǒng)中動態(tài)行為的交互信

3、息，容易被開發(fā)和測試人員理解，并且它的使用可降低軟件測試成本，提高軟件測試效率和自動化程度，改進了傳統(tǒng)測試方法技術中的很多不足。
　　 為了提高Web服務的可靠性，本文利用有限狀態(tài)機模型來構建Web服務測試模型，并在得到的測試模型基礎上生成Web服務的測試用例。本文的主要思想是用有限狀態(tài)機模型來描述Web服務對象行為以及Web服務對象之間的交互特性，以便生成Web服務的測試用例。本文在結合Web服務和有限狀態(tài)機特點的基礎上，為了

4、能構建基于有限狀態(tài)機的Web服務測試模型，文中用有限狀態(tài)機模型的狀態(tài)來描述Web服務交互產(chǎn)生的中間狀態(tài)，并且有限狀態(tài)機模型的狀態(tài)遷移及其標注描述Web服務與用戶間的消息交換，然后，借助正則表達式來描述Web服務交互過程的所有消息交換序列。正則表達式結合Web服務的WSDL文檔可生成測試數(shù)據(jù)。為使得Web服務測試用例能自動生成，本文還給出了滿足有限狀態(tài)機模型測試覆蓋準則的用例生成算法。
　　 本文以股票交易服務(Trading S