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

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

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

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