一种基于贝叶斯筛选的测试用例生成器自适应优化方法

本发明公开一种基于贝叶斯筛选的测试用例生成器自适应优化方法，是面向逻辑综合工具的参数配置测试场景，构建基于高斯过程代理模型的贝叶斯优化搜索框架，通过提取测试程序日志特征与网表特征构成单程序行为向量，依靠欧式距离计算行为覆盖增益；结合差分测试、运行异常检测识别程序崩溃与输出偏差故障，统计新增缺陷得到缺陷收益；以行为覆盖增益、缺陷收益加权得到综合效用值，指导采集函数自适应筛选待评估配置；实现测试配置空间探索与缺陷挖掘协同优化，能够以更少仿真次数高效发现逻辑综合工具隐藏缺陷，提升测试行为多样性，克服了传统随机测试盲目性强、缺陷检出效率低的问题。