系统软件测试验证论坛
2023年12月2日（星期六），15:40 – 17:40
上海国际会议中心，3A会议室
论坛简介
在安全攸关系统中，如自动驾驶控制系统、航空航天控制系统、核反应堆控制系统、电力设备控制系统，这些系统中的软件功能或性能问题可能导致灾难性后果，软件测试验证也被广泛应用于这类系统的分析，保证系统的正确性。然而，传统的软件测试验证研究大多聚焦在应用软件的分析上，忽视了底层系统软件的建模和分析。系统软件为应用提供必要的运行基础，包含操作系统、中间件、数据库管理系统、协议、容器等，具有重要的支撑作用。系统软件的运行机制复杂、代码规模庞大，传统的测试验证方法，在系统软件上，对性能和功能等缺陷的分析效率和效果受到极大制约。 针对操作系统、数据库、协议、容器等系统软件的功能、性能等问题，“系统软件测试验证”论坛关注系统软件分析、测试、验证和演化等过程的技术方法，针对学术和产业面临的难题、挑战和瓶颈，征集国内外研究人员在软件测试验证等方面，取得的理论、技术方法突破和具有创新性、影响力的高水平研究成果，实现系统软件多维度多手段的深度分析，为相关研究者和实践者提供发表最新成果的学术交流平台。
论坛日程
| 时间 | 主题 | 汇报人 | 主持人 |
|---|---|---|---|
| 15:40-15:50 | 开场致辞 | 田 聪 | |
| Session 1 测试与验证 | |||
| 15:50-16:00 | 基于嵌入式系统需求的VHDL代码的自动生成与测试验证 | 杨 波 | 卜 磊 |
| 16:00-16:10 | 模型检验驱动的分布式系统深层缺陷测试技术综述 | 张宇奇 | |
| 16:10-16:20 | 基于参数值切换成本的组合测试用例优先级方法 | 王子元 | |
| 16:20-16:30 | 大规模软件性能缺陷检测研究综述 | 何浩辰 | |
| Session 2 安全 | |||
| 16:30-16:40 | 异常信息敏感的框架API生命周期模型构造 | 燕季薇 | 姜 宇 |
| 16:40-16:50 | 基于 Windows 的二进制程序污点分析与模糊测试 | 杨镒箫 | |
| 16:50-17:00 | 基于强化学习的网络扰动下系统不确定行为检测 | 季瑞骅 | |
| 17:00-17:10 | 基于固件仿真的嵌入式设备CGI程序模糊测试研究 | 吴志勇 | |
| Session 3 质量评估 | |||
| 17:10-17:20 | 整洁代码在实践中遇到的挑战与机遇 | 严大鹏 | 李姗姗 |
| 17:20-17:30 | 面向RISC-V内存模型的代码分析与自动修复 | 杨德亨 | |
| 17:30-17:40 | 一种 RISC-V 对比 ARM64 的跨架构操作系统细粒度性能评估方法 | 徐天宇 | |
论坛主席
1.论坛主席：田聪（西安电子科技大学）
简介：
西安电子科技大学教授，国家级高层次人才，曾获国家自然基金重大项目、优青、国家重点研发计划、陕西省青年科技新星等资助，获教育部和陕西省科技成果一等奖，担任陕西省重点科技创新团队负责人，研究方向为系统软件与可信保障。
2.论坛主席：卜磊（南京大学）
简介：
南京大学教授，2010年在南京大学计算机与科学技术系获取博士学位；曾在CMU、MSRA等科研机构进行访学与合作研究；主要研究领域涉及软件工程、可信软件、形式化方法，研究工作集中在模型检验技术、实时混成系统、信息物理融合系统等方面，部分创新性工作发表在相关领域重要期刊与会议如《中国科学》、TCAD、TC、TDSC、TCPS、RTSS、ICSE、ISSTA、ASE等上；入选国家级青年人才计划、高校计算机专业优秀教师奖励计划、CCF-IEEE CS青年科学家奖、中创软件人才奖、NASAC青年软件创新奖等。
3.论坛主席：李姗姗（国防科技大学）
简介：
国防科技大学计算机学院教授，国家级青年人才。长期致力于高可信软件的科研工作，主要研究兴趣包括软件代码缺陷检测、韧性配置管理、智能化软件开发等，研究成果发表于ICSE、FSE、ASE、ISSTA、VLDB、TOSEM、TSE等高水平刊物，获ICSE'23杰出论文奖等论文奖励 6 次。曾荣获湖南省科技创新领军人才、中创软件人才奖、CCF NASAC青年软件创新奖，国家科技进步二等奖、军队科技进步一等奖、湖南省技术发明一等奖等。
4.论坛主席：姜宇（清华大学）
简介：
清华大学软件学院长聘副教授。研究方向为软件系统的安全分析，重点关注操作系统、数据库等软件的测试与防护，在MySQL、Safari和Linux等广泛使用的系统软件中挖掘300+漏洞被收入中美国家信息安全漏洞库。研发的自动化漏洞挖掘技术被并入谷歌ClusterFuzz，微软OneFuzz等平台。在ACM SOSP, IEEE S&P, PLDI等会议和期刊上发表论文100余篇，获EMSOFT, FSE等会议的最佳论文或提名奖6次，主持基金委优秀青年科学基金、科技部重点研发计划项目、华为大颗粒研究计划项目等20余项。曾获2015年CCF优秀博士论文奖、2020年阿里巴巴达摩院青橙奖，2021年微众学者等奖励。