[05-10]移动应用质量保障关键技术研究

文章来源:  |  发布时间:2023-05-10  |  【打印】 【关闭

  
 
Title:   移动应用质量保障关键技术研究
Speaker: 潘敏学(副教授,南京大学)
Time:  05-10(周三) 14:00-14:30 
Venue: 线上:腾讯会议 646-891-661
Abstract:   移动应用已全面渗透社会生产生活的方方面面,成为不可替代的公共基础软设施。移动应用需要尽可能避免错误,测试与分析是常用的质量保障途径。如何提高移动应用质量保障技术的有效性并降低成本,是学术界和工业界长期共同关注的重要问题。本报告将介绍我们近期在移动应用质量保障方面的一系列研究工作。我们通过有效融合程序分析、软件测试和机器学习等多种技术,显著提高了移动应用质量保障的自动化和智能化水平。
Bio:  潘敏学,南京大学软件学院副教授、博导。研究方向主要为软件系统建模与验证、软件分析与测试。研究工作受江苏省“青蓝工程”、南京大学“紫金学者”计划支持。发表学术论文50余篇,创新性工作以第一作者和通讯作者发表在软件工程旗舰期刊ACM TOSEM、IEEE TSE以及软件工程领域 A类会议ICSE、FSE、ASE、ISSTA上,并获得软件测试领域顶级国际会议ISSTA 2020杰出论文奖。获得发明专利与知识产权 30 余项,研究成果在航天、通信等领域得到广泛应用。