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

摘要：提出了一種基于有限狀態(tài)模型(FSM)的測(cè)試用例生成方法。首先，F(xiàn)SM中的狀態(tài)由Web服務(wù)與用戶交互產(chǎn)生的中間狀態(tài)表示，F(xiàn)SM中的狀態(tài)遷移及其標(biāo)注由Web服務(wù)與用戶間的消息交換表示；其次，借助正則表達(dá)式來(lái)描述Web服務(wù)交互過(guò)程的所有消息交換序列，并與Web服務(wù)的WSDL文檔結(jié)合產(chǎn)生測(cè)試數(shù)據(jù)；最后，給出了滿足FSM遷移覆蓋準(zhǔn)則的測(cè)試用例生成算法，并通過(guò)實(shí)驗(yàn)驗(yàn)證了該方法的有效性。

關(guān)鍵詞：Web服務(wù)；有限狀態(tài)機(jī)；正則表達(dá)式；覆蓋準(zhǔn)則；測(cè)試用例

注：本文中所涉及到的圖表、注解、公式等內(nèi)容請(qǐng)以PDF格式閱讀原文