基于BCCFG的WS-BPEL測(cè)試用例生成研究.pdf

1、Web服務(wù)為網(wǎng)絡(luò)服務(wù)提供了統(tǒng)一的接口和調(diào)用模式，而服務(wù)組合的目標(biāo)是在SOA的架構(gòu)內(nèi)實(shí)現(xiàn)對(duì)已有服務(wù)的重用、生成新服務(wù)，它將是Web服務(wù)技術(shù)繼續(xù)發(fā)展的技術(shù)動(dòng)力和研究熱點(diǎn)，目前對(duì)服務(wù)組合方面的研究主要集中在組合的描述和協(xié)作機(jī)制上。隨著服務(wù)組合的發(fā)展，確保它的質(zhì)量也越來越重要。WS-BPEL是服務(wù)組合中廣泛使用的標(biāo)準(zhǔn)，對(duì)其進(jìn)行結(jié)構(gòu)測(cè)試的現(xiàn)有研究不能完全表達(dá)其并發(fā)結(jié)構(gòu)和同步結(jié)構(gòu)的復(fù)雜語義，本文以此為出發(fā)點(diǎn)，研究WS-BPEL結(jié)構(gòu)測(cè)試的測(cè)試用例生成

2、方法。 本文提出了一個(gè)描述WS-BPEL的測(cè)試模型BCCFG，該模型能夠表示W(wǎng)S-BPEL的并發(fā)結(jié)構(gòu)和同步結(jié)構(gòu)，并且能夠明確表達(dá)其復(fù)雜語義，例如死亡路徑消除，對(duì)不執(zhí)行活動(dòng)的link的處理等。本文給出了WS-BPEL到BCCFG的轉(zhuǎn)換規(guī)則；提出了針對(duì)BCCFG的測(cè)試覆蓋準(zhǔn)則，用于指導(dǎo)測(cè)試用例的選??；給出了滿足并發(fā)路徑覆蓋的測(cè)試路徑生成算法，以及層次化生成測(cè)試路徑的算法。 在測(cè)試路徑自動(dòng)生成的基礎(chǔ)上，結(jié)合已有的測(cè)試數(shù)據(jù)自動(dòng)生