Web服務(wù)編排語言的分析與測試.pdf

1、Web服務(wù)編排描述語言(Web Services Choreography Description Language，簡稱WS-CDL)從全局的視點描述服務(wù)組合各個參與方的行為規(guī)范，并且具有可重用性以可及描述事務(wù)性等特點。在部署前對WS-CDL程序驗證和測試可以有效降低部署風險和項目成本。但是WS-CDL只是描述語言其程序不可執(zhí)行，目前由于WS-CDL程序沒有解析器或模擬器，WS-CDL程序的驗證與測試變得十分困難。
　　 本論

2、文提出了通用的XML語言靜態(tài)約束的驗證方法。該方法與經(jīng)典的模型檢查的方法類似，可以統(tǒng)一地驗證不同語言的靜態(tài)性質(zhì)也可以統(tǒng)一地驗證相同語言的不同版本。該方法中用于描述靜態(tài)制約的語言被稱為約束邏輯，它基于一階謂詞邏輯。論文同時提出了用于描述XML文檔的形式化模型。另外，我們還設(shè)計了使用模型化簡技術(shù)優(yōu)化后的驗證算法用來驗證XML文檔是否滿足其靜態(tài)制約。
　　 在我們小組自己開發(fā)的WS-CDL程序模擬器上，我們提出了一種自動測試WS-CD

3、L程序的方法。該方法通過使用從動態(tài)符號執(zhí)行生成能達到分支覆蓋標準的測試用例從而自動完成對WS-CDL程序的測試。該方法支持Web服務(wù)組合的異常處理，正常結(jié)束處理等特性，而其他研究往往沒有處理這些特性。另外我們提出了兩種處理WS-CDL程序中斷言的方法，這些斷言可以描述WS-CDL程序預(yù)期的行為。
　　 我們在模塊化的開源Eclipse插件CDLChecker上實現(xiàn)了這些方法。CDi，Checker是WS-CDL的一個集成開發(fā)環(huán)境