小组研究成果被 IEEE TSE 接收

清华大学软件学院安全保障小组研究成果 “GATES: Accelerating Solving-Based Testing Through Adaptive Solving and Guided Execution” 被国际软件工程领域顶级期刊 IEEE Transactions on Software Engineering（TSE）接收。该论文聚焦 Simulink 模型自动化测试中的效率问题。该论文针对嵌入式系统测试时面临的庞大状态空间和复杂状态依赖的痛点，提出基于自适应求解与引导执行的测试用例生成方法：通过异步不可达分支过滤器主动剪枝，并利用动态优先级求解任务队列将计算资源优先分配给更有价值的任务；同时复用和组合已成功求解的输入，引导模型探索新的状态与分支，减少代价高昂的重复求解。在一组开源及工业 Simulink 基准模型上的实验表明，与商业工具 SLDV 相比，GATES 的决策覆盖率、条件覆盖率和修正条件/决策覆盖率（MCDC）平均分别提升 89.0%、93.5% 和 330.3%；与近期学术工具 HSTCG 相比，GATES 在取得更高 MCDC 的同时，将达到峰值覆盖率的平均时间缩短 70.0%。该工作由硕士生邱皓炜、北京航空航天大学副教授苏卓、博士生喻泽弘等人共同完成。

IEEE Transactions on Software Engineering（TSE）由 IEEE Computer Society 出版，主要刊载软件系统构建、分析、管理及演化等方向的高水平研究成果，是国际软件工程领域具有重要影响力的权威学术期刊，也是中国计算机学会（CCF）推荐的 A 类国际学术期刊。