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

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

關鍵詞：Web服務；有限狀態(tài)機；正則表達式；覆蓋準則；測試用例

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