[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 余项，研究成果在航天、通信等领域得到广泛应用。 |
