[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 余項，研究成果在航天、通信等領域得到廣泛應用。 |
