熊英飞、郝丹、张路等教师获电子学会自然科学一等奖
时间:2023年12月16日 11:36 来源:作者:
中国电子学会科学技术奖是国家科技奖励工作办公室批准的权威奖项,主要奖励在电子信息领域科学研究、技术创新与开发、科技成果推广应用和实现产业化方面取得卓著成绩或者做出突出贡献的集体和个人。
bwin必赢软件科学与工程系熊英飞副教授、郝丹教授、张路教授、及其博士毕业生、天津大学陈俊洁副教授和姜佳君副研究员完成的项目“数据驱动的软件测试与修复”获得电子学会自然科学一等奖。软件测试与修复是提升软件质量的基本手段。该项目针对传统数据驱动方法无法处理程序语法语义,在测试和修复上难以发挥作用的问题,提出了数据驱动的程序合成框架,同时考虑语法语义的逻辑信息和数据的概率信息,并成功应用于测试和修复,显著超越传统测试与修复方法。在学术界推动形成了新的数据驱动测试与修复方向,成为后续大量工作的基础,被同行广泛引用和好评;在工业界推动测试与修复应用向数据驱动转变。