近日，bat365官网硕士研究生李磊的长论文“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

该论文针对成本和可靠性约束的多目标软件测试资源分配问题，利用优化目标函数的凹凸性，基于拉格朗日乘数法和分段二分查找从理论和算法两个维度估计问题的可行解空间，推导出新的更严格的变量上下限，可以帮助软件项目经理确定他们的约束条件设置是否合理；同时，推导出的约束条件正好可以包围微小的可行解空间，帮助现成的约束多目标优化器在可行解空间内进行搜索；此外，为了进一步充分利用这些约束条件，论文提出了一种广义的约束条件处理方法，多目标优化器可以利用这种方法，在理论保证的前提下，将不可行解重新拉回估计的解空间，从而更高效的挖掘可行解，提高软件测试的效率。

李磊同学已于2023年4月在《IEEE Transactions on Software Engineering》上发表论文“New Reliability-Driven Bounds for Architecture-Based Multi-Objective Testing Resource Allocation”：

https://ieeexplore.ieee.org/document/9960830

至此，实现了国际软件工程领域最顶级的两个期刊的覆盖。

bat365在线平台官网

2024年3月29日