日前，中国智能交通协会公布了2024年度科学技术奖获奖名单，由研究设计院集团牵头，联合西南交通大学申报的“基于符号执行的高安全复杂程序自动测试技术研究”项目获中国智能交通协会科学技术奖二等奖。
中国智能交通协会科学技术奖，面向全国智能交通行业是该行业的权威奖项，旨在奖励为中国智能交通科学技术发展做出突出贡献的个人、群体及单位，加速智能交通科学技术事业的发展。
《基于符号执行的高安全复杂程序自动测试技术研究》项目，为解决搞复杂度软件白盒测试工作完全依赖人工测试时间成本高、工作强度大、分支覆盖率低的问题，引入了基于符号执行自动化测试技术，研发了一款针对列控信号控制系统的高安全自动测试辅助工具。该工具能够在测试过程中减少人工操作，利用并行化处理方式，极大缩短单次测试时间，自动完成系统测试中的测试用例生成、用例管理、测试数据分析、测试报告生成等关键工作。同时，工具能够解决传统人工测试难以完成的高复杂度测试任务，具有高语句覆盖率和MC/DC覆盖率，大幅提升测试案例设计的质量。在列控系统的实际测试应用中，项目成果实现40%以上的测试效率提升，利用自动化技术，实现测试效率的飞跃，为列控系统安全性与稳定性提供有力保障。
此次该项目获奖标志着利用自动化技术实现了测试效率的显著提升，为列控系统乃至整个智能交通系统的安全性与稳定性提供了强有力的技术支撑和保障。未来，这一技术成果有望在全国范围内的列控测试领域得到广泛的应用与推广，进一步推动我国智能交通事业的高质量发展。