近日,软件工程领域国际学术会议ASE 2024 (the 39th IEEE/ACM International Conference on Automated Software Engineering) 在美国加州首府萨克拉门托召开。华东师范大学软件工程学院(滴水湖国际软件学院)博士研究生熊一衡作为论文“General and Practical Property-based Testing for Android Apps”的第一作者到现场参会并在大会上做论文报告。该工作荣获了大会颁发的ACM杰出论文奖 (ACM SIGSOFT Distinguished Paper Award),这也是熊一衡等去年在ISSTA 2023上获得杰出论文奖后,再次获此殊荣。
ASE 2024杰出论文奖颁奖现场
获奖证书
获奖论文聚焦于移动应用软件业务逻辑功能错误的研究,首次将基于性质测试(Property-based Testing)的思想应用于移动应用软件测试,提出并设计了一种通用且实用的测试方法,旨在发现此类错误。具体来说,该方法包括:(1) 一个性质描述语言(PDL),用于描述移动应用的预期性质;(2) 两种探索策略,作为有效验证这些性质的输入生成器。论文作者将该方法实现为名为Kea的工具,并在八个真实世界中广泛使用的安卓应用中的124个历史错误上进行了评估,评估结果证明了其在发现功能错误方面的通用性和实用性。其中,Kea在这八个应用的最新版本中发现了25个新的功能性错误,其中21个目前已被开发者修复。该获奖论文对应的工具开源在https://github.com/ecnusse/Kea,详细的使用手册可参考https://Kea-doc.readthedocs.io/en/latest/。
基于性质测试的工具Kea概览
获奖论文指导老师为学院苏亭教授和蒲戈光教授,论文由熊一衡(学院2022级博士研究生)、苏亭教授、王珏博士(南京大学)、孙静翎(学院2018级博士研究生,现为电子科技大学助理教授)、蒲戈光教授和苏振东教授(苏黎世联邦理工学院)共同完成。华东师范大学为第一完成单位。
ASE是由国际电气与电子工程师协会和美国计算机协会共同主办,是软件工程领域历史最悠久、最负盛名的国际性盛会之一,在软件工程领域具有重要影响,也是中国计算机学会推荐的A类国际学术会议(CCF-A)。