《面向SOA軟體的蛻變測試技術研究》是依託北京科技大學，由孫昌愛擔任項目負責人的面上項目。
基本介紹
- 中文名：面向SOA軟體的蛻變測試技術研究
- 依託單位：北京科技大學
- 項目負責人：孫昌愛
- 項目類別：面上項目
項目摘要,結題摘要,
項目摘要
面向服務的架構(SOA)逐漸成為應用程式開發的主流范型。如何對SOA軟體中的Web服務及其組合進行充分有效的測試非常重要。由於SOA軟體可測試性與可控性差,測試預期問題不僅存在而且更加突出,本課題旨在探索在測試預期不存在情形下適用於SOA軟體的高效新型軟體測試理論，重點解決蛻變測試方法套用於SOA軟體的關鍵問題,包括建立面向服務的蛻變測試模型、探索蛻變關係的獲取與表達方法、設計基於蛻變關係的測試用例生成算法與測試結果驗證算法、構造面向服務及其組合的蛻變測試框架.探索將動態隨機測試與蛻變測試相結合，進一步改進蛻變測試的效率。基於上述理論研究成果，研製面向服務及其組合的蛻變測試工具，提高蛻變測試的自動化程度。採用實例研究與變異分析相結合方式驗證蛻變測試技術的可行性和有效性.預期的研究成果可以有效緩解SOA軟體測試中廣泛存在的測試預期問題，為開發可靠的SOA軟體提供高效新型的測試理論與工具支持。
結題摘要
針對Web服務的可測試性與可控性差的特點，SOA 軟體的測試預期問題更加突出。本項目探索了適用於SOA軟體的新型軟體測試理論，系統地研究了蛻變測試套用於SOA 軟體的關鍵問題。取得了如下主要成果： （1）面向SOA的通用蛻變測試框架：結合蛻變測試的基本原理與SOA的特點，提出了一種面向Web服務及其組合的蛻變測試框架。 （2）蛻變關係獲取與描述：（1）設計了一種蛻變關係通用描述語言MRDL，開發了基於MRDL的衍生測試用例生成算法和測試結果判定算法；（2）提出了一種基於數據變異的蛻變關係獲取方法；（3）在基於範疇劃分的蛻變關係識別框架METRIC中引入軟體的輸出行為，提出了一種改進的METRIC方法METRIC*。 （3）蛻變測試用例生成與優先權：（1）設計與實現疊代蛻變測試算法，改進蛻變測試中原始測試用例生成效率；（2）通過將符號執行與約束求解相結合，提出一種基於符號執行的原始測試用例生成技術；（3）依據測試用例覆蓋的程式路徑，提出一種基於路徑距離的原始測試用例優先權排序方法。 （4）高效的蛻變測試過程：提出基於馬爾可夫鏈和基於獎懲機制的兩種適應性分區控制策略，將反饋控制引入到蛻變測試過程，改進蛻變測試的故障檢測效率。 （5）蛻變測試支持系統：研製出一個面向Web服務的蛻變測試支持系統MT4WS，實現了本課題提出的蛻變測試框架、蛻變關係的定義與獲取方法、測試用例生成技術、測試過程控制方法，提高了蛻變測試的效率與自動化程度。 本項目研究成果提出了一種新型的SOA軟體測試理論，開發了面向Web服務蛻變測試支持系統，解決了測試預期問題突出的情形下如何有效測試SOA軟體的難題。在國內外重要期刊和國際會議論文集上發表學術論文19篇，在審/返修論文4篇；授權國家發明專利3項；登記計算機軟體著作權8項；培養研究生19人；獲全國軟體原型競賽二等獎、三等獎、優秀獎各1項，全國服務創新大賽一、二等獎各1項；主辦全國/國際會議4次、在國際會議上宣讀論文5次、應邀做學術報告14次、邀請國內外學者來校交流19次、參加全國會議24人次。
