[發明專利]基于代數規約的Web服務單線測試用例生成方法

有效

• 申請號: 201810957226.9
• 申請日: 2018-08-22
• 公開（公告）號: CN109408363B
• 公開（公告）日: 2022-01-11
• 發明（設計）人: 劉冬梅;何娟娟;杜益寧;朱鴻;吳獻;張鑫;周子健
• 申請（專利權）人: 南京理工大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 南京理工大學專利中心 32203
• 代理人: 陳鵬

本發明公開了一種基于代數規約的Web服務單線測試用例生成方法，在使用代數規約對Web服務進行形式化描述的基礎上，首先對代數規約中每條公理等式進行浮動實例化和可觀察化處理，生成一組可檢查浮動測試用例；然后針對每個可檢查浮動測試用例，構造其帶逆項測試執行圖TEG?R，用來表示測試執行序列和被測服務的狀態變化；最后判斷TEG?R是否存在單線測試執行序列，若存在，則根據TEG?R生成可檢查浮動測試用例的一個單線測試執行序列。本發明解決了現有基于代數規約的測試用例生成方法無法適用于Web服務在線自動化測試的問題。

技術領域

本發明涉及Web服務自動化測試技術，特別是一種基于代數規約的Web服務單線測試用例生成方法。

背景技術

Web服務由于自治性、平臺獨立性以及服務技術的廣泛性得到了迅速地發展，然而并沒有獲得預期的廣泛應用，其主要原因是服務消費者和服務提供者之間存在著信任問題，尤其在服務動態選擇和使用時，服務提供者能否提供可靠的Web服務給服務消費者是一個關鍵問題。測試是建立信任的一種有力解決途徑，是保證Web服務功能正確的重要技術。

面向服務架構(SOA)的特性使得Web服務測試比傳統軟件測試更加困難，面臨一些新的挑戰。一方面，測試人員很難獲得服務的設計文檔、源代碼甚至是可執行代碼，這使得測試人員只能根據服務提供商發布的WSDL、OWL-S、WSMO、BPEL等服務描述文檔進行基于規約的測試，服務規約的多樣性以及規約的不完整性給測試帶來了極大挑戰，很難進行充分和有效的測試活動。另一方面，服務運行架構的獨立性使得測試人員缺乏對服務運行時的控制以及有效的觀察手段，組合服務執行中Web服務的動態性和自適應性也使得測試人員很難離線確定被激活的服務，這些動態特性要求測試人員實施在線測試。和傳統測試不同的是，這種在線測試不可能手工進行，所有在線測試活動必須是高度自動化的。因此，如何在缺乏被測服務完整規約信息以及有效觀察手段的情況下，對Web服務進行完全自動化測試是一個非常具有挑戰性的問題。

作為一種基于數學的方法，形式化規約是實現自動化測試的重要基礎。形式化規約不僅可以消除歧義減少軟件開發中引入錯誤的機會，而且自動生成測試用例以及檢驗軟件輸出結果的正確性。和其他形式化規約相比，代數規約高度抽象，完全獨立于軟件實現細節，能夠在不暴露被測系統實現細節的前提下描述系統的可觀察行為，且支持自動化測試。這些特點使得Web服務測試在缺乏服務實現細節的情況下可以描述服務可觀察行為，支持服務動態發現和組合時進行自動化在線測試。

盡管代數規約已成功地應用于面向對象程序和基于構件系統測試，但已有基于代數規約的自動測試工具的實現技術均依賴于對被測對象進行創建、初始化和復制等操作來設置測試環境，通過保存和比較被測對象的狀態等操作來檢驗測試結果的正確性，而面向服務的體系結構和Web服務并不支持這些操作。因此，如何基于代數規約進行Web服務自動化測試仍是一個具有挑戰性的課題。

發明內容

本發明的目的在于提供一種基于代數規約的Web服務單線測試用例生成方法，用于解決Web服務測試過程中難以控制和觀察被測服務問題。

實現本發明目的的技術方案為：一種基于代數規約的Web服務單線測試用例生成方法，包括如下步驟：

步驟1，通過對規約公理進行浮動實例化和可觀察化處理生成可檢查浮動測試用例；

步驟2，構造可檢查浮動測試用例的帶逆項測試執行圖TEG-R，用于表示該測試用例的測試執行序列和被測服務的狀態變化；

步驟3，根據TEG-R判斷測試用例是否存在單線測試執行序列，若存在則生成該測試用例的一個單線測試執行序列。