1503
3
0
2023-01-26 11:08:07
2023-01-26
論文信息如下：
基于多樣性SAT求解器和新穎性搜索的軟件產(chǎn)品線測(cè)試方法
向毅1, 黃翰1, 羅川2, 楊曉偉1
1(華南理工大學(xué) 軟件學(xué)院, 廣東 廣州 510006)
2(北京航空航天大學(xué) 軟件學(xué)院, 北京 100191)
通訊作者:黃翰, E-mail: [email protected]
摘 要: 軟件產(chǎn)品線測(cè)試是一項(xiàng)非常具有挑戰(zhàn)性的工作. 基于相似性的測(cè)試方法通過提升測(cè)試集的多樣性以達(dá)到提高測(cè)試覆蓋率和缺陷檢測(cè)率的目的.因其具有良好的可拓展性和較好的測(cè)試效果,目前已成為軟件產(chǎn)品線測(cè)試的重要手段之一. 在該測(cè)試方法中,如何產(chǎn)生多樣化的測(cè)試用例和如何維護(hù)測(cè)試集的多樣性是兩個(gè)關(guān)鍵問題. 針對(duì)以上問題,本文提出了一種基于多樣性可滿足性（SAT）求解器和新穎性搜索(Novelty Search, NS)的軟件產(chǎn)品線測(cè)試算法. 具體地,該算法同時(shí)采用兩類多樣性SAT求解器產(chǎn)生多樣化的測(cè)試用例. 特別地,為了改善隨機(jī)局部搜索SAT求解器的多樣性,提出了一種基于概率向量的通用策略產(chǎn)生候選解. 此外,為同時(shí)維護(hù)測(cè)試集的全局和局部多樣性,設(shè)計(jì)并運(yùn)用了兩種基于NS算法思想的歸檔策略. 在50個(gè)真實(shí)軟件產(chǎn)品線上的消融和對(duì)比實(shí)驗(yàn)驗(yàn)證了多樣性SAT求解器和兩種歸檔策略的有效性,以及本文算法較其他主流算法的優(yōu)越性.
關(guān)鍵詞: 軟件產(chǎn)品線測(cè)試;可滿足性求解器;新穎性搜索
