摘要：

移动应用中的功能错误会影响应用所提供的功能，其中的一些可能引起严重的后果。由于测试预言问题的存在，现有的自动化测试技术无法系统地对移动应用进行功能测试，只能检测到一些特定类型的功能错误。为了弥补现有技术的不足，我们着眼于移动应用功能的几个重要的质量属性，分别提出了对应的自动化测试技术并实现了测试工具，以检测那些难以被现有技术所检测到的移动应用中的功能错误，这些工具在包括微信、抖音、Instagram在内的多个移动应用中检测到上百个难以被现有测试技术所检测到的功能错误。

报告人：

孙静翎，电子科技大学信息与软件工程学院讲师。博士毕业于华东师范大学软件工程学院，博士期间曾受国家留学基金委支持赴新加坡管理大学联合培养。主要研究方向为程序分析与测试。曾获美国计算机协会举办的ICSE2021国际学生学术竞赛银奖，曾在ISSTA，FSE，TSE等会议或期刊上发表过多篇论文，获ISSTA2023杰出论文奖。