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

無效

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

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

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

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

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