[發明專利]一種基于路徑的軟件實現與設計一致性驗證方法及系統

在審

• 申請號: 201410568963.1
• 申請日: 2014-10-22
• 公開（公告）號: CN104317711A
• 公開（公告）日: 2015-01-28
• 發明（設計）人: 牟永敏
• 申請（專利權）人: 牟永敏;北京信息科技大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京遠大卓悅知識產權代理事務所(普通合伙) 11369
• 代理人: 賀持緩

技術領域

本發明涉及軟件測試技術領域，具體地，涉及一種基于路徑的軟件實現與設計一致性驗證方法及系統。

背景技術

在過去的幾十年里,軟件數量激增,同時軟件的代碼量和代碼復雜度不斷增加,軟件測試工作的復雜程度也隨之不斷提高，大量的軟件產品導致軟件測試工作需要高效的完成,自動化的測試工具已經成為軟件測試的迫切需求。軟件實現與設計一致性驗證是指對已完成軟件系統,驗證其功能實現是否按照軟件設計說明書的要求完成,是一種非常重要的測試工作。黑盒測試只能保證軟件完成了指定的功能,而不能驗證其完成的方式；人工代碼走查和代碼審查的白盒測試需要測試人員有豐富開發經驗,充分理解源代碼、系統設計結構以及各個代碼模塊實現方法,這對測試人員有著十分高的要求并且測試效率低，易出錯，對大型軟件的分析工作是一個十分耗時且昂貴的工作。

現有技術中提出了一種基于Module?Documentation-based?Testing?(MD-Test)的測試方法,該方法從形式化的設計文檔中提取軟件設計信息,指導測試工作,自動生成測試用例,執行測試用例,計算測試結果。但是該方法是基于嚴格格式化的軟件設計文檔的,并不考慮軟件代碼實際的實現過程,不能驗證軟件實現方法是否與設計說明書中的方法一致。另外還有一種基于場景的分析方法來發現執行路徑中的錯誤,基于格式化的說明文檔中自動生成測試用例檢測執行路徑的正確性，但是該方法需要分析每一個場景下的每一條執行路徑，需要產生大量的測試用例。

針對上述問題，本發明提出了一種基于路徑的軟件實現與設計一致性驗證方法及系統。

發明內容

本發明所要解決的技術問題是提供一種基于路徑的軟件實現與設計一致性驗證方法及系統，用于解決軟件實現與設計一致性驗證的技術問題。

本發明解決上述技術問題的技術方案如下：一種基于路徑的軟件實現與設計一致性驗證方法，包括：

基于軟件設計說明書生成設計函數調用關系圖，根據設計函數調用關系圖生成設計函數調用路徑，再根據設計函數調用路徑建立被測軟件系統的設計功能簇模型；

基于源代碼生成實際函數調用關系圖，根據實際函數調用關系圖生成實際函數調用路徑，并基于函數特征從源代碼中提取出函數功能回填到實際函數調用路徑中，再根據實際函數調用路徑建立被測軟件系統的實際功能簇模型；

比較設計功能簇模型與實際功能簇模型，驗證被測軟件系統的功能實現是否達到軟件設計說明書的要求。

本發明的技術方案還包括一種基于路徑的軟件實現與設計一致性驗證系統，包括：

設計功能簇模型構建模塊，其用于根據軟件設計說明書生成設計函數調用關系圖，根據設計函數調用關系圖生成設計函數調用路徑，再根據設計函數調用路徑建立被測軟件系統的設計功能簇模型；

實際功能簇模型構建模塊，其用于根據源代碼生成實際函數調用關系圖，根據實際函數調用關系圖生成實際函數調用路徑，并基于函數特征從源代碼中提取出函數功能回填到實際函數調用路徑中，再根據實際函數調用路徑建立被測軟件系統的實際功能簇模型；

功能簇比對模塊，其用于比較設計功能簇模型與實際功能簇模型，驗證被測軟件系統的功能實現是否達到軟件設計說明書的要求

本發明的有益效果是：本發明設計了一種基于函數特征的函數功能提取方法，能準確地獲得被測軟件系統的功能結構，并進一步實現基于函數調用路徑的軟件實現與設計方法，豐富了軟件測試方法，為設計文檔的自動化測試提供了新的思路，能夠幫助測試人員完成對源代碼的分析，自動提取實現系統的功能與實現方法，提高了軟件實現與設計的一致性驗證效率。

附圖說明

圖1為本發明所述的基于路徑的軟件實現與設計一致性驗證方法的流程示意圖；

圖2為本發明實施例中的函數功能提取過程示意圖；

圖3為本發明實施例中的函數特征相似度計算過程示意圖；

圖4為本發明所述的基于路徑的軟件實現與設計一致性驗證系統的結構示意圖。

具體實施方式

以下結合附圖對本發明的原理和特征進行描述，所舉實例只用于解釋本發明，并非用于限定本發明的范圍。

本發明以函數調用路徑為基礎建立模型,認為軟件實現中的一條函數調用路徑實現了軟件系統的一個功能。基于這樣的思路，首先對帶有功能描述的函數調用關系圖和帶有功能描述的函數調用路徑進行重新定義，即是定義了系統功能關系圖和系統功能路徑。