一句话：系统刻画微信小程序在执行环境、生命周期和异步机制等方面的缺陷，并研究其检测方法。
微信小程序构建于微信社交平台，日活跃用户超过4亿，因此其可靠性至关重要。然而，小程序面临执行环境、生命周期管理、异步机制等多类缺陷，这些问题会显著影响用户体验，甚至造成严重后果。论文围绕微信小程序中的缺陷展开研究，目标是对其进行特征刻画并加以检测。标题表明工作兼具实证总结与检测技术探索：一方面需要理解缺陷的类别、成因与表现，另一方面需要提出或评估能够发现这些缺陷的方法。摘要未详细说明具体的数据来源、检测算法与评估指标，但该研究的问题域明确指向小程序这一特殊运行环境下的软件可靠性。其贡献在于提升社区对小程序特有缺陷的认识，并为后续测试、调试与修复工具的设计提供依据。
Built on the WeChat social platform, WeChat Mini-Programs are widely used by more than 400 million users every day. Consequently, the reliability of Mini-Programs is particularly crucial. However, WeChat Mini-Programs suffer from various bugs related to execution environment, lifecycle management, asynchronous mechanism, etc. These bugs have seriously affected users' experience and caused serious impacts.
@inproceedings{WangXCDZXDYYWH22,
title = {Characterizing and detecting bugs in WeChat mini-programs},
author = {Tao Wang and Qingxin Xu and Xiaoning Chang and Wensheng Dou and Jiaxin Zhu and Jinhui Xie and Yuetang Deng and Jianbo Yang and Jiaheng Yang and Jun Wei and Tao Huang},
booktitle = {ICSE},
year = {2022},
doi = {10.1145/3510003.3510114}
}