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