Web服務(wù)工作流變異測(cè)試技術(shù)研究.pdf

1、Web服務(wù)因其強(qiáng)大的集成能力而受到廣泛重視。單個(gè)Web服務(wù)提供的功能通常是有限的，因此實(shí)際應(yīng)用中需要對(duì)網(wǎng)絡(luò)上分布的Web服務(wù)進(jìn)行組合以滿足用戶需求，這種組合的方法為Web服務(wù)測(cè)試帶來(lái)了新的挑戰(zhàn)。由于目前大多數(shù)Web服務(wù)組合是基于業(yè)務(wù)流程構(gòu)建的，業(yè)務(wù)流程測(cè)試作為組合Web服務(wù)測(cè)試的一部分，越來(lái)越受到業(yè)界的關(guān)注。目前，對(duì)于業(yè)務(wù)流程測(cè)試所做的工作集中于通過形式化驗(yàn)證流程是否安全和符合需求，主要是檢驗(yàn)流程的死鎖情況和流程的可達(dá)性。組合服務(wù)是由服

2、務(wù)組合語(yǔ)言編寫的流程以及與流程交互的成員服務(wù)組成的有機(jī)整體，對(duì)于流程的描述文檔應(yīng)進(jìn)行詳盡的測(cè)試。
　　 本課題采取變異的思想對(duì)Web組合服務(wù)工作流進(jìn)行測(cè)試?；贠WL-S描述文檔提供的流程信息設(shè)計(jì)了4種共15個(gè)變異算子，涵蓋了流程設(shè)計(jì)過程中常見的錯(cuò)誤。在本方法中，通過模擬錯(cuò)誤，能夠?qū)ふ矣行У臏y(cè)試用例集合，且能夠?yàn)闇y(cè)試過程提供衡量準(zhǔn)則，最終達(dá)到對(duì)組合服務(wù)測(cè)試的目的。文中同時(shí)給出了變異測(cè)試框架，詳細(xì)闡述了變異測(cè)試的步驟和部分功能部件