嵌入式软件在航天、航空、轨交、汽车、核能等领域广泛应用，是重大装备关键功能的主要实现载体。随着人工智能技术的飞速发展，嵌入式软件开发测试方法正发生深刻的变革。一方面，嵌入式软件自身正在成为人工智能的实现载体，另一方面，智能化软件工程新方法也成为高可信、高效率研制嵌入式软件的重要支撑。

本论坛由航天 502 所高可信嵌入式软件工程专业实验室和北京轩宇信息技术有限公司发起，旨在加强工业需求和学术前沿融合，为工业界现实问题凝练和学术界成果更好服务国家重大需求架起桥梁，至今已在ccf chinasoft举办4届，致力于成为学术界和工业界探讨可信嵌入式软件的交流平台。

本届论坛聚焦智能化高可信嵌入式软件开发、测试方向，将邀请来自工业界和学术界的多位专家在相关方向共同探讨工业界挑战和学术研究前沿。

01

论坛组织委员会

顾斌（航天502所）

江云松（航天502所，北京轩宇信息技术有限公司）

陈睿（航天502所，北京轩宇信息技术有限公司）

02

论坛议程

03

论坛报告嘉宾简介

孙昌爱

报告题目：面向智能软件的蜕变测试技术

报告摘要：

以人工智能技术为基础构件的智能软件正全方位、多领域地重新定义和实现现实世界。然而，智能软件系统的质量问题频频引发安全事故，造成了严重的经济损失和人员伤亡，如何保障智能软件系统的质量是一个亟待解决的重要问题。智能软件系统依赖训练数据、特定的算法模型、与环境紧密耦合等特点，使得其结构更加复杂、处理结果具有高度不确定性，因而智能软件系统的测试结果判定更加困难。本次报告汇报课题组在智能软件蜕变测试方向的研究成果。

报告人简介：

孙昌爱，北京科技大学教授、博士生导师，融合创新研究院副院长，计算机科学与技术系主任、软件与安全研究所所长，智能超算融合应用技术教育部工程研究中心技术委员会副主任。长期从事软件测试、程序分析、服务计算等方向的研究工作。承担国家自然科学基金等四十余项研究课题，在tosem、tse、tsc、tc、tr、tweb、中国科学、计算机学报、软件学报等国内外重要学术刊物和国际会议上发表论文100余篇。申请中国国家发明专利15项，登记计算机软件著作权24项，出版译著3部，获中国计算机学会主办的软件原型竞赛、服务创新竞赛等软件成果奖8项，应邀在国内外学术会议或国内外大学作学术报告50余次。担任中国蜕变测试研讨会指导委员会主席（2018-），trustcom 2008、apscc/rttsbs 2014、uic 2015、cbpm 2020、compsac/seta 2023、compsac/seta 2024等国际/全国学术会议程序委员会主席，国际会议 ieee soca 2015、全国服务计算学术会议 ncsc 2018 研讨会主席，icws 2024、icsoc 2024 等软件工程、服务计算领域国际会议程序委员会委员150余次。中国计算机学会杰出会员、ieee高级会员、中国计算机学会服务计算专业委员会委员/常务委员、中国计算机学会软件工程专业委员会委员。

王栓奇

报告题目：智能软件和算法测试验证技术和实践

报告摘要：

深度神经网络模型越来越多地被部署在智能软件系统中，安全性、可靠性、鲁棒性问题也日益凸显。测试是发现软件错误、保障质量的关键手段，传统软件测试方法及度量指标无法直接被移植到智能软件系统上，如何有效和充分测试智能软件和算法模型成为当前重要技术挑战。本报告围绕智能无人系统，介绍智能软件测试评估指标模型，提出智能算法安全性和鲁棒性测试方法，结合地面无人平台目标检测算法介绍案例应用，并对智能系统和软件测试验证技术挑战和问题进行探讨和展望。

报告人简介：

王栓奇，兵器工业信息中心（兵器软件评测中心）正高工，博士，中国兵器青年科技带头人，主要研究方向为智能软件和智能算法测试验证、关键软件失效分析、软件可靠性测试评估等。主持完成多项预研和专项研究课题，负责完成几十项智能测评、软件定型测评、第三方测试、外贸鉴定测评等项目。担任《火力与指挥控制》青年编委，中国指挥与控制学会可靠性系统科学与工程专业委员会委员、火力与指挥控制专业委员会委员等。以第1完成人获gf科技进步奖1项、集团科技进步奖1项，发表学术论文10多篇，授权和受理发明专利10余项，参与出版专著1部。

白家驹

报告题目：航天嵌入式软件的模糊测试技术

报告摘要：

由于航天飞行器功能更加丰富，其嵌入式控制软件的代码逻辑和处理情况愈发复杂，因此如何保障这些软件的可靠性和安全性成为重要的技术挑战。本报告将重点介绍模糊测试用于航天嵌入式软件缺陷检测的重要挑战，并结合航天嵌入式软件特点，提出多维度测试用例生成、硬件仿真执行监控、中断处理监控等创新技术，以提升缺陷检测效果。

报告人简介：

白家驹，北京航空航天大学网络空间安全学院副教授，博士生导师，开源系统软件安全实验室主任。2018年博士毕业于清华大学计算机系，获得清华大学优秀博士毕业论文奖。研究方向为系统软件安全、操作系统和程序分析，主导研发的程序分析框架在主流开源和国产系统软件中数千个真实缺陷和漏洞，涵盖操作系统、数据库、网络协议栈等。以第一/通讯作者在系统和安全会议期刊上发表30余篇学术论文，其中ccf-a类论文16篇，多次担任国际顶级学术会议的程序委员，并担任中国计算机学会高级会员和系统软件专委会执行委员。主持国家自然科学基金、中国计算机学会科研基金、企业合作项目等10余个项目，研究成果应用于华为、腾讯、蚂蚁等国内知名企业，已获得多项应用证明和感谢信。

陈振邦

报告题目：符号执行：进展与挑战

报告摘要：

符号执行是一种基于约束求解的通用程序分析技术，近年来被广泛应用于各类软件系统的自动测试与分析，并取得不错效果，但符号执行的进一步发展与应用仍面临路径空间爆炸和约束求解这两个根本挑战。本报告将介绍团队近期在应对这两个挑战的相关成果和研究思考，包括如何使用数据驱动的智能技术来提升符号执行的效果，并对不同层面和背景下的具体技术挑战进行探讨，同时展望符号执行未来的发展。

报告人简介：

陈振邦，国防科技大学计算机学院教授、博士生导师，主要研究方向为程序分析、形式化方法及其在不同背景下的应用。近年来主要围绕符号执行相关的理论、技术和应用开展研究，成果发表在icse、fse、issta、ase、fm、tcs等重要国际会议或期刊上，获acm sigsoft杰出论文奖2次。获国家科技进步二等奖1项、省部级科技进步二等奖2项，获nasac青年软件创新奖。

李力行

报告题目：基于aixcoder代码大模型的智能化软件开发应用实践

报告摘要：

软件研发领域的基于大模型的智能化，是当前软件开发技术与工具的关注热点和发展趋势，越来越多的企业对于基于代码大模型的智能化软件研发应用有强烈需求，但同时也面临诸多挑战。aixcoder团队在该领域的探索和实践已有10年时间，是基于ai的智能化开发领域的开拓者和推动者。本报告将围绕基于大模型的软件开发技术与范型，汇报aixcoder在代码大模型领域的最新进展，分享aixcoder在代码大模型企业落地实践方面的一些探索与思考。

报告人简介：

李力行，aixcoder首席运营官，北大/中科院数学所 计算机软件与理论博士，曾任阿里优酷搜索团队算法负责人、医疗ai创业公司联合创始人及cio，15年以上ai算法研究和团队管理经验。长期从事人工智能应用相关工作，当前负责aixcoder智能化软件开发系统的产研和应用落地。

王博

报告题目：基于大语言模型的c程序单元测试生成

报告摘要：

单元测试用于检验软件单一模块的功能是否正确，是软件开发过程中的重要步骤。由于手动编写单元测试费时费力，经常遗漏覆盖重要的代码逻辑。为此，研究者提出单元测试自动生成技术。近来，预训练大语言模型(llm)已经被广泛应用于代码生成相关任务，并已有在java和javascript等语言上的单元测试生成工作。然而，在航天等安全攸关领域中主要使用c语言程序开发。为了填补这一空白，我们面向c语言程序，设计并实现了基于llm多智能体交互的单元测试生成方法。我们构建了没有数据泄露风险的程序集，并针对这些程序生成测试。实验结果表明大模型生成的测试行覆盖率和测试预言正确率取得了良好效果。

报告人简介：

王博，北京交通大学计算机科学与技术学院讲师、硕士生导师，ccf会员、ccf系统软件专委执行委员、ccf开源发展委员会执行委员。分别于北京大学、中国科学技术大学和中南大学获得博士、硕士和学士学位。研究兴趣为软件测试与调试，已在ase、issta、tosem、软件学报等发表多篇论文。担任tse、tosem、tdsc、emse、jss、asej、iet software、jsme、软件学报等多个期刊审稿人，担任fse、ase、icst、internetware等会议程序委员会成员。获得issta 2017 杰出论文奖，全国大学生系统能力大赛优秀指导教师和北京市高校优质教案。

樊平

报告题目：面向fpga系统安全和代码可靠性的设计自动化技术

报告摘要：

随着设计规模和功能复杂度持续提升，fpga作为航空航天等高可信嵌入式系统的核心器件，以往将fpga视为硬件模块的保守设计和管理已不再适用。本报告将从设计自动化的角度考虑，探讨fpga系统安全和代码可靠性的问题和技术。在fpga代码层次，保守的可靠性冗余设计往往损害系统的性能和能效，而智能化的fpga设计抗辐照自动加固技术可有效降低费效比。在fpga架构层次，故障注入与自动验证技术的结合，可以全面而有效地评估自动加固的正确性和可靠性。在fpga系统层次，动态重构、内存管理、资源调度等技术的引入，增加了fpga系统的复杂性，同时也带来安全性和可靠性方面的挑战与机遇。

报告人简介：

樊平，北京深维科技创始人/ceo。ccf容错计算专委。20年以上eda与芯片研发经验，cadence仿真工具高级研发工程师，京微雅格fpga eda软件及芯片架构总监，核高基重大专项子课题负责人，拥有50 技术发明专利。目前专注fpga虚拟化技术，抗单粒子翻转设计加固，故障注入与分析eda工具设计，以及集成电路设计缺陷分析与漏洞检测等领域。

04

论坛组织委员会简介

论坛主席：顾斌 研究员

个人简介：

顾斌，航天科技集团 502 所研究员，博士生导师。主要研究方向为航天器控制、可信软件、软件智能化开发和形式化方法等。

论坛主席：江云松

个人简介：

江云松，航天科技集团 502 所研究员，轩宇信息总经理。长期从事航天嵌入式软件质量保证、软件测试等工作。带领团队建立了覆盖软件研制全生命周期的保障技术体系和工具类，在载人航天、深空探测、北斗导航等重要航天领域实现自主可控工具替代。主持并参与国防科工局某重点验证项目与研发项目，完成了智能软件测试、缺陷测试等多个装备发展部的课题。获中国专利奖、中国质量协会质量技术奖、航天贡献奖等。

论坛主席：陈睿

个人简介：

陈睿，航天科技集团 502 所研究员，轩宇信息副总经理，ccf 形式化方法专委会常务委员。长期从事嵌入式软件可信保障技术的研究，以及相关工具软件的研制。负责研制了覆盖嵌入式软件测试全过程的完整工具链，推动程序分析、符号执行、形式化验证等技术工具化并解决国家重大需求，在载人飞船和空间站、嫦娥系列探测器、北斗导航卫星等绝大部分飞行软件的开发测试中广泛应用，在军民200 余家单位实现了对国外产品的替代。获北京市科技进步一等奖、航天贡献奖。