ChinaSoft 论坛巡礼 | 移动软件工程论坛

?  +

+

论坛巡礼

论坛名称：移动软件工程论坛

时间: 2022年11月25日上午8:30-12:30

论坛简介：

       移动互联 的统计数据表明信息时代已经向移动化、智能化深入发展。随着iOS、Android和Harmony等移动智能终端系统的崛起，移动智能终端和移动App数量快速增长，并广泛应用于人们生活的方方面面，已经成为人机物融合重要载体。因此，移动软件相关的安全隐私、质量保障、智能分析等多方面问题越来越受到学术界和工业界的关注。

       为促进国内移动软件工程的发展，展现当前移动软件工程研究现状和热点方向，本论坛重点关注移动智能终端和移动App的安全和质量等方面的突破性、创新性研究进展和成果，并重点讨论移动软件工程未来的发展趋势和方向。论坛邀请了学术界和工业界多位专家学者共同探讨移动软件工程发展所面临的问题与挑战，进一步推动国内移动软件工程的稳步发展。

日程安排

Schedule

苏亭

华东师范大学软件工程学院

   华东师范大学软件工程学院教授/博导，入选国家级青年人才计划，相关研究成果获得了CCF科技成果奖技术发明一等奖、Google教授研究奖、三项ACM SIGSOFT杰出论文奖等。

  主要研究方向为软件工程、程序语言和软件安全，已发表学术论文40余篇，担任ESEC/FSE、ICSE、OOPSLA等国际重要会议的评委。研究工作主要集中在对各类复杂软件与系统的质量和可靠性保障。其中，设计研发的App自动化测试工具已为字节、腾讯、Google等拥有亿级用户数量的软件产品发现了不少真实的软件错误，多项技术成果已经落地集成到了字节跳动官方APP测试平台工具FastBot；研发的工业控制软件自动化单元测试工具SmartRocket TestGrid已服务于国内十余家大型企业的软件生产部门。其研究工作受到了中国/瑞士国家自然基金委、谷歌、字节、蚂蚁和华为等公司的资助。个人主页：https://tingsu.github.io

董震

复旦大学计算机科学技术学院

   德国海德堡大学博士，复旦大学青年副研究员，曾任新加坡国立大学计算机系高级研究员。致力于软件分析与软件测试研究。先后参与完成多个国际联合项目，包括卡巴斯基公司、新加坡电信公司、澳大利亚蒙纳士大学等与新加坡国立大学的合作项目，在ICSE，FSE， ISSTA， ASE等国际会议上发表研究论文20余篇，获得ICSE’20 ACM SIGSOFT Distinguished Paper Award、AsiaCCS’21 Best Paper Award (1/370)、ASE’22 Distinguished Reviewer等奖项或荣誉称 ，长期担任知名期刊审稿人、国际会议程序委员会委员，个人主页：https://zhendong2050.github.io

谢涛

北京大学

   北京大学讲席教授，高可信软件技术教育部重点实验室（北京大学）副主任，国家高等学校学科创新引智（“111”计划）基地负责人。曾任美国伊利诺伊大学香槟分校（UIUC）计算机科学系正教授。当选欧洲科学院外籍院士、国际计算机学会（ACM）会士、电气电子工程师学会（IEEE）会士、美国科学促进会（AAAS）会士、中国计算机学会（CCF）会士。曾获科学探索奖，国家自然科学基金委海外杰青及其延续资助，ACM软件工程领域（SIGSOFT）杰出服务奖，IEEE软件工程领域（TCSE）杰出服务奖，软件仓库挖掘奠基性贡献奖等。担任CCF软件工程专委会副主任，2020年中国计算机大会程序委员会主席等。

告及讲者

Reports and reporters

范铭

西安交通大学 络空间安全学院

   西安交通大学 络空间安全学院副教授，博士生导师；获香港理工大学、西安交通大学双博士学位；承担国家自然科学基金、中国博士后基金、CCF腾讯犀牛鸟基金等10余项课题；在IEEE TIFS、IEEE/ACM ICSE、ACM ISSTA等国际顶级期刊会议上发表学术论文30余篇，获IEEE QRS 2021， IEEE ISSRE 2016等最佳论文奖4项；获2022年陕西省科协青年人才托举计划、2021年陕西省百篇优秀博士学位论文等荣誉奖励。

告题目：

小程序隐私数据合规分析

告摘要：

   以健康码、乘车码、生活缴费等为代表的小程序，已经成为中国 民日常工作生活中方便快捷的基础服务产品。小程序依托第三方平台，更易得到用户的信任，和获取到用户的行程轨迹、支付行为等隐私信息，在给广大群众带来生活便利的同时，其违规信息收集行为成为了国家数据安全领域的痛点。本团队重点通过程序分析技术与自然语言处理技术来缓解移动应用的隐私数据合规问题，并撰写了小程序隐私安全风险研究 告，助力保障小程序生态健康发展。

燕季薇

中国科学院软件研究所

    中国科学院软件研究所助理研究员。主要研究方向是程序分析和软件测试，具体关注于从应用软件的字节码出发，采用程序分析等自动化手段查找和定位应用中普遍存在的缺陷。目前在ICSE、FSE、ISSTA、ASE、SCP等软件工程领域的国际知名会议、期刊发表论文二十余篇。主持国家自然科学青年基金1项，华为横向合作课题1项，作为骨干成员参与中科院前沿项目、国家自然科学基金面上项目等。

告题目：

面向安卓组件间交互特性的质量保障方法

告摘要：

   安卓的组件间交互特性是其最重要的框架特性之一，不同组件之间通过接收及发送满足特定规范的消息实现组件间通讯（ICC），使得框架层的函数调用行为对上层应用透明。组件间通讯消息的建模和提取是获取应用完整控制流、数据流行为的重要一环，对移动应用的分析和测试具有重要意义。真实应用中组件间交互往往复杂程度高、分析难度大，本 告将介绍在真实ICC消息提取和评估方面的最新研究进展，以及如何应用ICC解析结果指导上层应用的质量保障。

邵勇强

华为技术有限公司

    2000年加入华为，一直从事软件研发工作，目前为华为公司鸿蒙专家组成员，负责华为鸿蒙开放能力HMS Core架构设计工作。

告题目：

HMS Core开放能力赋能千行百业，繁荣鸿蒙生态

告摘要：

    基于鸿蒙的设备在人们的生活中使用越来越广泛，期望和学术界一起讨论，如何快速的构筑鸿蒙开放能力，使能千行百业，繁荣鸿蒙生态。