論文信息如下：

基于多樣性SAT求解器和新穎性搜索的軟件產(chǎn)品線測試方法

向毅¹,  黃翰¹,  羅川²,  楊曉偉¹

¹(華南理工大學(xué) 軟件學(xué)院, 廣東 廣州  510006)

²(北京航空航天大學(xué) 軟件學(xué)院, 北京 100191)

通訊作者:黃翰, E-mail: hhan@scut.edu.cn

摘  要: 軟件產(chǎn)品線測試是一項非常具有挑戰(zhàn)性的工作. 基于相似性的測試方法通過提升測試集的多樣性以達到提高測試覆蓋率和缺陷檢測率的目的.因其具有良好的可拓展性和較好的測試效果,目前已成為軟件產(chǎn)品線測試的重要手段之一. 在該測試方法中,如何產(chǎn)生多樣化的測試用例和如何維護測試集的多樣性是兩個關(guān)鍵問題. 針對以上問題,本文提出了一種基于多樣性可滿足性（SAT）求解器和新穎性搜索(Novelty Search, NS)的軟件產(chǎn)品線測試算法. 具體地,該算法同時采用兩類多樣性SAT求解器產(chǎn)生多樣化的測試用例. 特別地,為了改善隨機局部搜索SAT求解器的多樣性,提出了一種基于概率向量的通用策略產(chǎn)生候選解. 此外,為同時維護測試集的全局和局部多樣性,設(shè)計并運用了兩種基于NS算法思想的歸檔策略. 在50個真實軟件產(chǎn)品線上的消融和對比實驗驗證了多樣性SAT求解器和兩種歸檔策略的有效性,以及本文算法較其他主流算法的優(yōu)越性.

關(guān)鍵詞:   軟件產(chǎn)品線測試;可滿足性求解器;新穎性搜索