报告人简介
孙静翎，女，现为电子科技大学信息与软件工程学院讲师。本科与博士皆毕业于华东师范大学软件工程学院，博士期间曾受国家留学基金委支持赴新加坡管理大学联合培养一年。主要研究方向为程序分析与测试。曾在ISSTA，FSE，ICSE，TSE，ASE等软件工程国际顶级会议或期刊上发表过多篇论文，曾获ISSTA 2023的 ACM SIGSOFT杰出论文奖， ASE 2024的ACM SIGSOFT杰出论文奖，中国计算机学会系统软件专业委员会2024 年度博士学位论文激励计划提名，曾为FCS，JCST，ISSRE，EMSE-D，TSE，TOSEM等会议或期刊的受邀审稿人。
内容简介
功能错误是移动应用软件（简称移动应用）中最常见的一类错误，可能导致严重的后果。然而，功能错误检测对手动和自动化测试而言皆具挑战性。基于性质的测试方法融合人工测试的知识优势与自动化测试的低成本优势，在移动应用功能测试中展现重要价值，但仍存在尚未解决的关键难题。为此，报告人进行了一系列研究，旨在解决现有技术存在的性质定义和错误定位难的问题。报告人首先提出跨应用的抽象性质定义方法，允许刻画功能在不同移动应用中应遵守的性质。此外，分别提出了基于性质的自动化功能错误检测与定位方法，可在移动应用中充分探索、准确识别违反性质的功能错误，并定位其关键触发路径及错误代码位置。本次报告将介绍报告人在基于性质的移动应用测试领域上的一些代表性的工作，并介绍的一些工业实践经验。
