近日，我院碩士研究生李磊的長論文“On Estimating the Feasible Solution Space of Multi-Objective Testing Resource Allocation”被《ACM Transactions on Software Engineering and Methodology (TOSEM)》（CCF A類）錄用并在線刊出：
https://dl.acm.org/doi/10.1145/3654444
該論文針對成本和可靠性約束的多目標(biāo)軟件測試資源分配問題，利用優(yōu)化目標(biāo)函數(shù)的凹凸性，基于拉格朗日乘數(shù)法和分段二分查找從理論和算法兩個(gè)維度估計(jì)問題的可行解空間，推導(dǎo)出新的更嚴(yán)格的變量上下限，可以幫助軟件項(xiàng)目經(jīng)理確定他們的約束條件設(shè)置是否合理；同時(shí)，推導(dǎo)出的約束條件正好可以包圍微小的可行解空間，幫助現(xiàn)成的約束多目標(biāo)優(yōu)化器在可行解空間內(nèi)進(jìn)行搜索；此外，為了進(jìn)一步充分利用這些約束條件，論文提出了一種廣義的約束條件處理方法，多目標(biāo)優(yōu)化器可以利用這種方法，在理論保證的前提下，將不可行解重新拉回估計(jì)的解空間，從而更高效的挖掘可行解，提高軟件測試的效率。
李磊同學(xué)已于2023年4月在《IEEE Transactions on Software Engineering》上發(fā)表論文“New Reliability-Driven Bounds for Architecture-Based Multi-Objective Testing Resource Allocation”：
https://ieeexplore.ieee.org/document/9960830
至此，實(shí)現(xiàn)了國際軟件工程領(lǐng)域最頂級的兩個(gè)期刊的覆蓋。
太陽集團(tuán)tyc5997
2024年3月29日
TOP
