王 任

摘要軟件測(cè)試是保證軟件質(zhì)量的重要技術(shù)手段。為保證Web Services的服務(wù)質(zhì)量,對(duì)其進(jìn)行完全、充分的測(cè)試是至關(guān)重要的。本文首先討論了對(duì)Web Services測(cè)試的必要性;然后討論了目前Web Services測(cè)試的研究現(xiàn)狀和一些代表性的Web Services測(cè)試技術(shù)。最后總結(jié)全文并給出未來(lái)的研究方向。

關(guān)鍵詞web服務(wù)測(cè)試測(cè)試用例

中圖分類號(hào):TP311.5文獻(xiàn)標(biāo)識(shí)碼:A

1引言

隨著網(wǎng)絡(luò)技術(shù)的發(fā)展,網(wǎng)絡(luò)應(yīng)用正朝著SOA(Service Objected Architecture)體系結(jié)構(gòu)方向轉(zhuǎn)變。Web Services(WS)采用SOA體系架構(gòu),引入了一種新的Web應(yīng)用的開(kāi)發(fā)、部署和集成的模式。其松散藕合性、簡(jiǎn)單性、高度可集成性、規(guī)范性、開(kāi)放性和行業(yè)支持是WS的幾大特點(diǎn)和優(yōu)勢(shì)。然而,由于 WS本身特殊的性質(zhì),很多傳統(tǒng)的軟件測(cè)試技術(shù)對(duì)于WS已失去其原有的功效。因此,我們需要研究針對(duì) WS的新的測(cè)試方法和技術(shù),從而為服務(wù)軟件的功能、性能、質(zhì)量和可靠性方面提供有力的支持。目前,國(guó)內(nèi)外已經(jīng)開(kāi)始對(duì)WS測(cè)試進(jìn)行研究并取得了一些研究成果,本文的目的是對(duì)現(xiàn)有的一些WS測(cè)試方法和技術(shù)進(jìn)行分析與探討,針對(duì)WS獨(dú)特的性質(zhì),從不同的角度詳細(xì)討論WS測(cè)試的國(guó)內(nèi)外研究現(xiàn)狀。最后對(duì)WS測(cè)試未來(lái)研究方向進(jìn)行了初步的探討。

2 Web Services測(cè)試研究現(xiàn)狀

WSDL協(xié)議是描述WS的基本信息,包括WS可以識(shí)別的數(shù)據(jù)類型、消息模式、交互方式、服務(wù)的位置、錯(cuò)誤信息和標(biāo)頭信息等。W.T.Tsai及其研究人員指出進(jìn)一步擴(kuò)展WSDL的定義,豍增強(qiáng)其描述能力,以支持對(duì)特定服務(wù)的測(cè)試。N.Looker和J.Xu采用錯(cuò)誤植入的技術(shù)來(lái)測(cè)試SOAP協(xié)議的可信性,豎他們分析了WS中間件層的錯(cuò)誤模式,并開(kāi)發(fā)了相應(yīng)的錯(cuò)誤植入工具軟件,通過(guò)與SOAP API掛鉤,將錯(cuò)誤注入消息流中。系統(tǒng)響應(yīng)被監(jiān)測(cè)并記錄,并對(duì)不可靠鏈接上的WS可靠性進(jìn)行分析和度量。

基于模型的軟件測(cè)試思想來(lái)自于硬件測(cè)試,其過(guò)程是首先構(gòu)建被測(cè)試軟件的模型及其派生模型(一般稱作測(cè)試模型),然后從模型中生成需要的測(cè)試用例,得到測(cè)試結(jié)果?？v觀目前國(guó)內(nèi)外有關(guān)WS組合驗(yàn)證的文獻(xiàn),Petri網(wǎng)、自動(dòng)機(jī)理論和進(jìn)程代數(shù)是使用最多的三種模型測(cè)試方法。用Petri網(wǎng)對(duì)服務(wù)建模,豏把服務(wù)的操作和服務(wù)輸入/輸出分別映射到Petri網(wǎng)中的轉(zhuǎn)移 (transition)和庫(kù)所(place),提出了服務(wù)Petri網(wǎng)模型。在將WS、WS組合表達(dá)成Petri網(wǎng)模型之后,服務(wù)組合的驗(yàn)證問(wèn)題就轉(zhuǎn)變成檢驗(yàn)服務(wù)Petri網(wǎng)的活性 (live)、有界性(bound)和死鎖/活鎖等。

軟件測(cè)試的核心問(wèn)題是測(cè)試用例的產(chǎn)生。好的測(cè)試用例不僅能有效的發(fā)現(xiàn)軟件中的缺陷,并可以減少軟件測(cè)試的工作量。利用擴(kuò)展的WSDL文檔,豐從消息定義中產(chǎn)生測(cè)試數(shù)據(jù),從參數(shù)的相關(guān)依賴中產(chǎn)生測(cè)試操作和操作序列,從而完成了整個(gè)測(cè)試用例的生成。提出了一種基于合約式設(shè)計(jì)的Web服務(wù)測(cè)試技術(shù),豑首先根據(jù)WSDL文檔采用隨機(jī)法自動(dòng)生成初始測(cè)試數(shù)據(jù),然后使用合約變異技術(shù)進(jìn)行測(cè)試數(shù)據(jù)的選擇。

3 總結(jié)

目前,關(guān)于WS測(cè)試的方法、技術(shù)和工具研究還存在很大的不足,以下幾個(gè)方面是未來(lái)研究的關(guān)鍵方向。(1)建立完整的WS測(cè)試過(guò)程模型。(2)測(cè)試與監(jiān)控相結(jié)合。(3)服務(wù)間通信信息的捕獲—分析和重演。(4)測(cè)試自動(dòng)化技術(shù)和工具研究。