CCF软件大会2026|移动软件工程论坛

一、论坛介绍

移动软件工程论坛关注移动智能终端、移动OS（安卓、iOS、鸿蒙）、移动APP、小程序的软件工程问题，包括但不限于功能缺陷、非功能缺陷（安全、性能、兼容性）等方面的突破性、创新性研究进展和成果，并重点讨论移动软件工程未来的发展趋势和方向。

随着超过 99% 的中国网民通过移动智能终端设备访问互联网，风靡全球的移动智能终端已然成为人们日常生活中必不可少的组成部分。不幸的是，智能终端应用程序在满足用户美好数字生活需要的同时，也暴露出功能缺陷、兼容性以及个人信息泄露与滥用等问题。经过10余年的发展，移动软件工程已经发展成为一个热门且成熟的研究领域。学术界和工业界在该领域开展了大量研究工作，开展移动软件工程研究具有重要意义。

此外，随着国产智能终端系统鸿蒙的商业应用，由于全新的鸿蒙系统所使用的技术栈与Android和iOS均不相同，业界需要全新研发针对鸿蒙原生应用的软件工程工具。本论坛也希望推动鸿蒙相关研究成为移动软件工程领域一个新兴、热门且重要的研究领域。

二、论坛组织委员会

• 黎立（北京航空航天大学）
• 苏亭（华东师范大学）
• 王浩宇（华中科技大学）

三、论坛安排

日程安排：

时间：2026年11月6日，09:00-12:00

地点：天津市社会山国际会议中心酒店，四层3号多功能厅

论坛议程：

四、论坛报告嘉宾简介

1. 报告人：刘烃 教授

题目：从恶意检测到合规分析：移动应用安全的研究变迁与产业演化

摘要：从智能手机普及开始，移动应用安全成为软件工程和网络安全共同关注的热点。随着移动应用生态的日渐成熟和安全技术的快速发展，移动应用安全关注焦点也从恶意应用的检测，扩展到权限管控、隐私保护、合规分析等，既是移动产业演化的需求，也是安全体系左移的体现。

简介：刘烃，西安交通大学二级教授、领军学者，网络空间安全学院副院长、信息物理融合系统教育部工程研究中心主任。主持国家自然科学基金青A项目、重大项目课题、重点项目，重点研发计划等科研项目30余项；获得2026 ICSE、2024 ASE、2019 INFOCOM等会议杰出/最佳论文奖8项；获得2017年国家科技进步二等奖，以及2022年教育部自然科学一等奖等省部级科技奖励6项；获得国家网信创新人才、教育部青年长江学者、陕西青年科技奖等荣誉。

2. 报告人：王莹 教授

题目："码"上迁徙：安卓应用一键转鸿蒙背后的智能体力量

摘要：鸿蒙生态的崛起，正在倒逼一场规模空前的应用"大迁徙"。面对存量庞大的安卓应用，如何低成本、高效率地完成向鸿蒙的移植适配，成为开发者与产业共同面对的核心命题。本报告聚焦两大关键技术路径：其一是"一键式"安卓转鸿蒙应用技术，它试图以工程化手段实现代码、UI与能力的自动化迁移，让应用"搬得动、跑得起"；其二是编码智能体在鸿蒙软件移植适配中的应用，它不再满足于机械转换，而是以"理解—推理—重构"的方式，让应用真正"融得进、用得好"，基于跨平台框架使得应用实现"一码多端"，便于维护。报告将剖析两条路径的技术原理、协同逻辑与现实边界，探讨从"形似"到"神似"的迁移进阶之路，并展望一个由AI驱动的鸿蒙适配新范式。

简介：王莹博士，东北大学软件学院教授，博士生导师。主要研究方向是开源软件供应链安全、鸿蒙软件智能迁移适配。担任CCF系统软件专委执委、CCF软件工程专委会执委、CCF开源发展技术委员会执委。担任东北大学开源鸿蒙技术俱乐部主任；是中国计算机学会优秀博士论文提名奖、辽宁省优秀博士论文奖、微软亚洲研究院铸星计划、ACM SIGSOFT杰出论文奖(ICSE 2021、ESE/FSE2023)获得者、担任软件工程领域期刊IEEE Transactions on Software Engineering编委、ChinaSOFT 2023-2025软件工程女性学者论坛主席。是开源软件生态"依赖地域"问题、跨语言安全漏洞传播影响分析和开源鸿蒙软件供应链智能移植适配解决方案的最早提出者之一。多项软件缺陷检测与测试方面技术在微软、华为、龙芯中科、微众银行等企业落地应用。

3. 报告人：燕季薇 副研究员

题目：从功能抽象到缺陷触发：GUI 缺陷检测探索

摘要：随着移动应用功能和交互复杂度不断提升，隐藏在功能交互过程中的复杂缺陷难以被快速、准确地检测。本报告将围绕"从功能抽象到缺陷触发"的智能化GUI缺陷检测技术，介绍面向移动应用的智能化测试方法FuncDroid，以及相关探索与实践。通过构建功能流模型刻画不同功能及其之间的交互关系，引导测试探索跨功能执行路径，从而发现传统 GUI 测试难以触及的复杂功能缺陷；在此基础上，进一步融合基于静态代码分析的缺陷摘要技术，快速识别潜在缺陷并指导 GUI 探索过程，为复杂移动应用中面向功能的智能化缺陷检测提供了一种新的技术思路。基于上述技术， FuncDroid 在真实移动应用中已发现了上百处缺陷，涵盖逻辑错误、UI 错误和崩溃等多类缺陷，该工具已在GitHub开源https://github.com/SQUARE-RG/FuncDroid。

简介：燕季薇，中国科学院软件研究所副研究员，硕士生导师，CCF软件工程专委会执行委员。主要研究智能化代码缺陷检测技术，包括大模型增强的静态代码分析、智能化测试用例生成、AI生成代码的质量保障等。在软件工程CCF-A类国际会议期刊发表论文20余篇，担任ISSTA、FSE等国际会议的程序委员会委员及TSE、TOSEM、TDSC等国际期刊审稿人。研究成果应用在华为、腾讯等公司。

4. 报告人：陈驰 技术专家

题目：HomeTrans: AI Coding使能安卓应用鸿蒙化

摘要：HomeTrans致力于通过AI Coding的方式将安卓应用快速鸿蒙化，丰富鸿蒙生态。HomeTrans的核心思想为将翻译任务转变为生成任务，遵从软件工程思想，通过AI Coding赋能需求分析到设计到开发再到测试的全流程。HomeTrans将安卓应用鸿蒙化分解为UI迁移、需求逆向、逻辑代码生成三阶段，并将复杂问题拆解为AI善于求解、人工便于校验的小问题，用流程的确定性保障模型的不确定性。当前HomeTrans支持0-1的安卓应用鸿蒙化，同时支持1-N的增量迁移，UI还原度80%，功能迁移完备度70%。

简介：陈驰，华为终端BG软件部AI Coding技术专家。2021年博士毕业于复旦大学，博士研究方向为基于深度学习的API推荐、注释生成、缺陷修复等。同年加入华为，在华为长期从事AI Coding相关工作，包括但不限于安卓应用鸿蒙化、代码实现与架构设计一致性检测、缺陷修复、AI辅助开源软件变更升级、基于大模型的代码补全、基于图神经网络的代码补全、continue pretraing等。

5. 报告人：杨哲慜 副教授

题目：小程序生态安全：现状、机遇与挑战

摘要：近年来，小程序凭借便捷的使用方式和超级应用的广泛覆盖，深入支付、医疗等服务场景，已经成为社会数智化进程中极具代表性的应用形态。随着小程序数量持续增长、业务场景不断丰富，安全问题的来源更加多样，如何及时发现风险、有效识别威胁并形成持续治理能力，正成为小程序生态健康发展的重要课题。团队围绕小程序应用与宿主平台持续开展漏洞挖掘、安全研究和风险治理，积累了大量真实案例与生态治理实践经验。与此同时，以大模型和智能体为代表的人工智能技术正在重塑漏洞发现与安全治理的方式，也为应对小程序生态的规模化安全风险带来新的可能。本报告将以上述内容为基础，讨论小程序生态安全的现状及未来发展的关键问题。

简介：杨哲慜，复旦大学副教授、博士生导师。入选国家部委级高层次人才计划，获评新耀东方风采人物等。研究聚焦软件与数据安全保护技术，承担国家重点研发计划、自然科学基金联合重点项目等重要科研项目，在 IEEE S&P、USENIX Security、ACM CCS、NDSS、TIFS 等国际顶级学术期刊会议上发表 CCF-A 类论文 40 余篇，多项成果获安全顶会焦点论文、杰出论文奖，担任 ACM CCS、USENIX Security、NDSS 等多个国际顶会程序委员会委员。作为主要完成人获上海市技术发明一等奖、中国计算机学会自然科学二等奖、上海市计算机学会自然科学一等奖等。带领团队发现万余项安全漏洞，发现并上报数十个国家级平台重大安全隐患。相关成果影响谷歌、华为、三星、百度、阿里、腾讯、抖音、小米、高通等国内外知名企业及全球数十亿用户，获得国家互联网应急中心"2021年最具价值漏洞奖"，"华为安全奖励计划特别贡献奖"等奖项。

6. 报告人：胡强 副教授

题目：数据为中心的AI测评与增强：从通用到端侧

摘要：测评与维护是人工智能（AI）系统开发生命周期中的两个关键环节。 数据作为人工智能基础要素，在测评与维护中扮演重要角色。 本报告聚焦以数据为中心的人工智能系统测评与增强的技术和实践，聚焦通用和端侧两个场景，从高质量测评Benchmark构建、自动化测评数据生成与筛选、以及低代价的人工智能系统质量增强三个角度出发，探讨数据质量对测评与维护的影响，探索低代价高效的人工智能系统开发的可能性。

简介：胡强，天津大学英才副教授/特聘研究员，博士生导师，主要研究方向为可信人工智能、软件安全以及智能软件工程。在ICSE、S&P等会议和TOSEM、TSE等期刊发表论文60余篇，获得ICSE 2025杰出论文奖，ML4CS最佳论文奖。主持科技部重点研发计划课题、国自然青年C类等项目。 长期担任ICSE、ASE、ISSTA等CCF A类会议程序委员会委员。

7. 报告人：王柳 博士后

题目：AI时代移动应用生态的合规挑战与机遇

摘要：随着移动应用生态与AI服务之间的联系日益紧密，用户数据的使用方式、内容生成与传播呈现出新的特征，相关监管与合规要求也在持续完善。用户数据作为智能服务的输入，越来越多地需要在终端与云端之间传递；模型生成的内容作为输出，又进一步进入应用生态并在不同平台之间传播。由此，移动应用中的合规问题不再局限于传统的数据采集与应用行为，还进一步涉及用户信息向云端披露，以及AI生成内容在应用平台传播中的标识与识别等问题。与此同时，大模型和智能体在规范理解、界面感知和交互执行等方面的能力，也为复杂合规问题的自动化分析与验证提供了新的技术手段。本次报告将探讨 AI 时代移动应用生态中的新型合规问题，以及大模型和智能体技术在移动应用合规分析与验证中的应用。

简介：王柳，华中科技大学网络空间安全学院博士后，博士毕业于北京邮电大学。研究聚焦于软件安全、隐私以及大模型智能体的可信合规治理。在CCF-A类软件工程领域 ASE、FSE、ICSE 和计算机安全领域 Usenix Security、S&P 等国际顶会发表论文20余篇，担任 FSE、TOSEM、EMSE、APSEC、AAAI、WWW等高水平学术期刊会议的审稿人或程序委员会委员。主持国家自然科学基金青年科学基金项目、中国博士后科学基金面上项目，入选中国博士后科学基金湖北省联合资助（特别资助）项目。

五、论坛组织委员会简介

1. 论坛组委会：黎立 教授

简介：北京航天航天大学教授，主要研究方向为移动软件工程、智能软件工程和软件安全，累计发表高水平期刊和会议论文100余篇，谷歌学术引用超15000次（H-index为57），获得软件工程顶会ICSE10年最有影响力论文奖1项，最佳/杰出论文奖励10项，包括2项ACM SIGSOFT杰出论文奖、2项IEEE TCSE杰出论文奖、1项ACM SIGPLAN杰出论文奖等。获得IEEE 2024 TCSE新星奖，ACM 2024新星奖（北京），MSR 2023 Ric Holt青年研究成就奖，入选澳大利亚2020年优秀青年基金(DECRA)，曾被评为全球前三最有影响力的青年软件工程研究人员。受邀担任中科院一区期刊（ACM Computing Survey）和CCF B类期刊（EMSE: Empirical Software Engineering, STVR: Software Testing, Verification and Reliability）编委以及包括TOSEM、TSE、ICSE、ESEC/FSE、ASE、ISSTA在内的CCF A类期刊和国际会议的审稿人，多次受邀在国际会议上作特邀报告。

2. 论坛组委会：苏亭 教授

简介：华东师范大学软件工程学院教授、副院长（科研），入选国家级青年人才计划，主要研究方向为软件分析、测试、验证与安全，以及工业软件等。相关技术成果形成了商业化软件测试与验证工具或被头部企业工具集成，应用领域涉及集成电路制造、航空航天、金融支付、国产鸿蒙系统等。曾获得CCF科技成果奖技术发明一等奖、CCF青年科技奖（软工和系统专委）、研究成果曾入选 CCF产学合作基金项目成果合集、荣获七项CCF-A类国际会议的ACM SIGSOFT杰出论文奖等；主持中国国自然面上项目、科技部重点研发计划课题、以及企业项目十余项。个人主页：http://tingsu.github.io/。

3. 论坛组委会：王浩宇 教授

简介：华中科技大学网络空间安全学院教授、博导，教育部青年长江学者，华中卓越学者， Security PRIDE团队负责人。研究方向为新兴软件系统安全，近年共发表CCF A类论文150余篇，Google Scholar引用超1.5万次，获北京市科技进步一等奖等省部级科技奖励三项。