[發明專利]軟件自動測評工具包

無效

• 申請號: 200610021044.8
• 申請日: 2006-05-30
• 公開（公告）號: CN101082876A
• 公開（公告）日: 2007-12-05
• 發明（設計）人: 李志蜀;袁德森;王莉;陳震秋;金虎;孫繼榮;殷鋒
• 申請（專利權）人: 四川華智信息技術有限公司;四川大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 成都信博專利代理有限責任公司
• 代理人: 潘育敏

所屬技術領域

本發明涉及一種提高計算機運行質量的方法，屬計算機軟件開發的監測系統，具體是軟件自動測評工具包。

背景技術

軟件自動測評的研發是軟件工程領域的一個研究難題，目前國際上只有Microsoft、IBM、MI、Segue等公司有較完善的商用產品，包括捕獲/回放工具、Web測試工具、性能測試工具、測試管理工具、源碼測試工具等等。這些工具一般由開發公司通過測試定制的方式為客戶提供專項服務。并且這些工具主要建立在國外長期軟件工程開發積累的基礎上，對測試使用人員的專業知識要求較高，而且多數引進的測試工具不能兼顧本地化軟件開發，不能很好地融合到國內軟件工程中。

發明內容

本發明的目的是提供一種功能完善，適用國內軟件開發市場的軟件測評工具，它不要求測試人員必須具有高水平的專業知識。

本發明的目的是這樣達到的：

一種軟件自動測評工具包，其特征在于：對被測軟件生命周期中的不同階段，采用相對獨立的測評工具，包括軟件測試框架實現工具、單元測試工具、集成測試的優化工具和軟件可靠性評測工具。所述單元測試工具是指任意指定路徑自動生成測試數據的白盒測試和測試用例集約簡技術。所述集成測試的優化工具，是基于組件依賴的測試優化模型。所述軟件可靠性評測工具是采用數據倉庫來收集和存儲失效數據，并基于基因表達式編程來構建軟件可靠性預測模型，分析多模型的評測結果，給出完善的定性和定量可靠性分析報告。

任意指定路徑自動生成測試數據的白盒測試是利用Gupta方法建立謂詞函數的線性約束系統，在求解該線性系統之前進行相容性判定分析，所述測試用例集約簡技術是指采用程序切片，分析程序的I/O關系，然后利用I/O關系對黑盒測試用例集進行約簡，最后證明約簡后的測試用例集和原來的測試用例集具有相同的錯誤檢測能力。

集成測試的優化工具是基于組件依賴的測試優化模型，是指該模型首先分析和描述了組件間復雜的依賴關系，然后借助組件間的依賴關系對組件進行分組，即利用組件的事件驅動傳遞依賴關系，構建出系統的“基本關鍵組件集”，賦予最高優先級；借助組件間的程序依賴關系，找出與這些基本關鍵組件密切相關的其它較關鍵組件，構建出“相關關鍵組件集”，賦予次高優先級；余下的組件賦予最低的測試優先級。

程序切片是分析程序的I/O關系是對所有的輸出變量y??分析其靜態后向切片，確定影響該輸出變量的所有輸入變量，得到各輸出變量的I/O關系，所述利用I/O關系對黑盒測試用例集進行約簡是指對I/O關系自身進行約簡后進行關聯性分析，劃分成若干個彼此獨立的相關組；接著對各相關組分別進行處理：僅對每個輸出涉及到的輸入變量進行組合覆蓋，進而利用組內元素的關聯性通過公共元素進行水平拼接；最后再把各個相關組的結果進行水平拼接。

本發明具有以下優點：

1.能從開發人員和測試人員的需求角度考慮問題，解決目前商用測試工具和本地軟件工程需求之間的不完全匹配的矛盾，為研發和測試人員提供有力的工具，保證開發軟件的高質量。

2.從軟件工程整個流程中開發測試并行、自動生成測試用例、集成測試優化、自動收集和處理失效數據到最后依據不同的評判準則和模型給出定性和定量的評測報告，整合了當前時新的測試驅動開發理論、測試用例生成和約簡規則、組件依賴以及自動樁生成原理、數據挖掘思想和模型選擇依據等。軟件評測工具技術含量高，更有生命力，更符合軟件工程的發展。

3.軟件評測工具包將顯著提高系統開發效率，縮短了軟件的開發周期，降低了開發成本和開發風險，對測試人員的專業要求大大降低，尤其是通過集成測試的優化，將在保證軟件質量的同時極大地減輕測試人員的負擔。這是目前很多自動化測試工具沒有的。

4.軟件評測工具的界面和語言更符合用戶的要求，更能使用戶產生滿意感。

具體實施方式

本發明從軟件工程角度，針對被測軟件生命周期中不同階段，開發出一系列相對獨立的評測工具。包括軟件測試框架實現工具，單元測試工具，集成測試的優化工具和軟件可靠性評測工具。

在單元測試工具中，針對白盒測試過程中確定測試數據的成本較高而且費時，為任意指定路徑自動生成測試數據是白盒測試的關鍵。利用Gupta方法建立謂詞函數的線性約束系統，在求解該線性系統之前進行相容性判定分析，即當系統無解的時候分析究竟是由于線性化謂詞函數帶來的還是真的路徑不可行。通過改進了的相容性判定分析算法，然后對相容的線性約束系統引入基因表達式進行求解。