近日，软件工程领域国际学术会议ISSTA 2023 (International Symposium on Software Testing and Analysis) 在美国西雅图召开。云顶集团官网登录入口博士生熊一衡对研究工作“An Empirical Study of Functional Bugs in Android Apps”做了在线报告，该工作荣获了大会颁发的ACM SIGSOFT杰出论文奖 (ACM SIGSOFT Distinguished Paper Award)。

ISSTA是软件工程领域公认的国际顶级会议之一，创办于上世纪90年代初，已有近30年历史，对软件工程领域具有重要影响，也是中国计算机学会推荐的A类国际学术会议（CCF-A）。ISSTA本年度的“杰出论文奖”由评审委员会从119篇录用论文中遴选产生，仅有9篇获得此奖项。其中有三篇来源于国内科研院所，分别来自北京大学、中科院和云顶yd2223线路检测。

ISSTA 2023杰出论文奖颁奖现场

获奖证书

该获奖论文指导老师为苏亭教授和蒲戈光教授，论文由学院熊一衡（2022级博士生）、许梦倩（2021级硕士生）、孙静翎（2018级博士生）、文贺（2019级本科生）、苏亭教授、蒲戈光教授、何积丰教授、王珏博士（南京大学）和苏振东教授（苏黎世联邦理工学院）共同完成。云顶yd2223线路检测为第一完成单位。

研究论文概览

该获奖论文聚焦于移动应用软件业务逻辑功能错误的研究，分别从根本原因、表现形式、测试预言和现有工具的检测能力对功能错误展开全方面的实证研究，发现有至少42%左右的功能错误需要设计复杂的测试预言机制才可发现，因此如何有效保障业务逻辑功能正确性仍然是一个具有挑战性的问题。

基于该项研究的发现，熊一衡等提出了一种基于差分测试的自动化测试方法，该方法对应的研究原型工具在5个开源应用中找到了14个功能错误，已经全部被开发者修复，大部分错误无法被现有测试方法所找到。基于此项研究工作，研究小组正在设计一种基于性质的移动应用软件测试框架，该框架期望以形式化、轻量级的方式定义软件性质以实现高效的自动化测试（该项研究也和字节跳动的研究部门合作）。

关于研究小组在移动应用软件质量保障方向的更多研究工作可参考 https://mobile-app-analysis.github.io/。