活动预告 | CodeWisdom软件智能化开发系列学术报告第20期: 基于大模型的网络协议规约生成与测试技术

Summary

大模型已成为软件工程领域不可或缺的基础工具，如何将大模型作为黑盒工具有效应用于软件工程，缓解其固有的“幻觉”问题已成为当前重要的研究课题。本报告将以网络协议规约生成与测试为例，探讨一套旨在提高大模型生成形式化软件规约能力，并指导软件测试的综合方法：我们提出通过诸如“系统分治”、“自主对抗” 等机制引导与约束大模型，使其生成语法、语义都精确可靠的协议规约。实验表明，使用该方法获得的网络协议规约在语法、语义方面的精度及召回率接近99.9%，已帮助发现数十个传统模糊测试不能检测的非内存安全类问题。

时清凯，南京大学计算机学院副教授，博士生导师，国家级青年人才。2020年于香港科技大学获得博士学位，曾任源伞科技联合创始人、蚂蚁集团技术专家、美国普渡大学博士后研究员。主要从事软件分析与软件安全技术研究，研究成果广泛发表于程序设计语言（PLDI、OOPSLA、CAV）、软件工程（ICSE、FSE、ASE）、网络安全（SP、CCS、USENIX Security）等领域的CCF A类会议或期刊。曾获ACM SIGPLAN或SIGSOFT杰出论文奖4次、Google论文奖、Hong Kong PhD Fellowship，曾三次参加全国软件大会原型竞赛均获一等奖。

Schedule