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

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

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

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

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