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

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

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

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

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