小组研究成果被第60届ACM/IEEE DAC 2023接收

清华大学软件系统安全保障小组研究成果论文“STCG: State-Aware Test Case Generation for Simulink Models”被第60届"Design Automation Conference"会议接收。该论文提出了一个针对Simulink模型的状态感知的测试用例生成器STCG。STCG尝试对模型每次迭代执行进行单步约束求解来达成对一个目标分支的覆盖。之后利用求解而来的单步输入来动态执行整个模型以获得模型的新状态。接着基于新的模型状态对其它未被覆盖的分支进行单步求解，直到所有分支都被覆盖。当已获得的所有模型状态都无法对剩余未被覆盖分支进行有效求解的时候，STCG使用已求解到的单步输入来随机执行模型，这样可以实现复杂分支逻辑的触发。相比Simulink自带的SLDV工具和学术界的SimCoTest工具，STCG可以在决策覆盖率上取得平均58%和132%的提升，在条件覆盖率上取得平均52%和70%的提升，在MCDC上取得平均239%和237%的提升。该工作由博士生苏卓、硕士生喻泽弘等人完成。

DAC会议是集成电路辅助设计和嵌入式系统领域的国际顶级会议, 迄今已有60年的历史，主要关注芯片、电路以及系统设计的新工具和新方法。近几年的接收率为20％左右。