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