小组研究成果被IEEE期刊 TSE 2024接收

清华大学软件系统安全保障小组研究成果“HSTCG: State-Aware Simulink Model Test Case Generation with Heuristic Strategy”被期刊IEEE Transactions on Software Engineering接收。该论文提出了一个针对Simulink模型的启发式状态感知的测试用例生成器HSTCG。HSTCG对模型每次迭代执行进行单步约束求解来触发新覆盖，并通过动态执行来获得新的模型状态。接着HSTCG采用三种启发式的状态搜索方法来快速探索新的覆盖。相比Simulink自带的SLDV工具和学术界的SimCoTest工具，HSTCG可以在决策覆盖率上取得平均55%和103%的提升，在条件覆盖率上取得平均53%和62%的提升，在MCDC上取得平均192%和201%的提升。同时，启发式策略带来了平均62%的测试效率提升。该工作由博士后苏卓、硕士生喻泽弘等人完成。

IEEE Transactions on Software Engineering是IEEE 软件工程领域著名期刊，也是CCF推荐A类期刊，当前影响因子为6.5，主要发表软件开发与维护方法，软件测试与验证，软件系统研究，软件评价方法和软件项目管理等领域的前沿研究工作。