乐于分享
好东西不私藏

陶传奇——国内消费移动App 测试、AI 智能系统测试、国防高安全验证三位一体的青年工程专家(26)

陶传奇——国内消费移动App 测试、AI 智能系统测试、国防高安全验证三位一体的青年工程专家(26)

陶传奇,男,1984 年 11 月生现任南京航空航天大学计算机科学与技术学院/ 软件学院副教授、硕士生导师;工信部高安全系统的软件开发与验证技术重点实验室主任助理是国内少有的同时深耕消费移动App 测试、AI 智能系统测试、国防高安全软件验证三位一体路线的青年工程专家。

一.求学与工作轨迹

·博士阶段(东南大学)本科、硕士就读后,进入东南大学计算机软件与理论专业攻读博士,师从国内软件工程知名学者李必信教授。2010–2011 年,依托国家公派留学基金,赴美国硅谷San Jose State University(加州圣何塞州立大学)开展联合培养博士研究,深耕移动云计算、移动端GUI 自动化测试,接触硅谷移动互联网软件工业界测试体系。

·工作第一阶段:南京理工大学(2013–2019)2013 年取得工学博士学位,入职南京理工大学计算机学院软件工程系讲师、硕导、系党总支副书记;同期在南京大学计算机软件新技术国家重点实验室从事博士后研究。此阶段确立核心研究主线:移动应用测试自动化、构件软件回归测试、移动众包测试,奠定移动应用测试方向学术根基。

·现阶段:南京航空航天大学(2019–至今)调入南航计算机学院/ 软件学院晋升副教授,担任工信部重点实验室主任助理。 研究方向升级:从传统移动 App 测试拓展至智能软件、高安全软件、AI 系统测试、无人系统软件质量验证(无人机、无人驾驶、智能装备软件)。

·学术身份:

CCF 高级会员、ACM 会员IEEE AITest、SEKE、QRS 等国际软件工程顶会程序委员(PC)

《软件学报》《计算机学报》、JSS、IST、TSE 系列国内外权威期刊常年审稿人

二、核心学术研究方向

主线1:移动应用测试(早期标志性方向)

国内较早系统开展移动端GUI 自动化测试、跨设备并行测试、移动众包测试、App 演化缺陷分析的学者。解决行业痛点:移动终端碎片化、多机型兼容测试成本高、手工测试效率低下。

代表性成果:

·提出基于GUI 遍历(GUI Ripping)的移动应用自动化生成测试用例框架;

·系统研究构件软件、移动App回归测试优化、测试复杂性度量

·长期研究移动应用众包测试理论,为工业界大规模App 兼容性测试提供理论方案。

主线2:智能软件开发与智能软件测试(当前主攻方向)

两大分支:

·AI4SE:人工智能赋能软件开发与测试使用机器学习、大模型方法自动生成测试用例、缺陷预测、代码分析、自动化漏洞挖掘;

·SE4AI:面向 AI 智能系统的软件质量保障针对自动驾驶、无人机、图像识别等智能系统,研究AI 模型可靠性、鲁棒性测试、数据质量检测、模型漂移监控。

·延伸方向:高安全软件漏洞检测、动态符号执行、污点分析、软件仓库挖掘、软件演化与维护。

三、科研项目、学术成果与产业价值

1. 纵向科研项目(负责人)

主持多项国家级、省部级课题:

·国家自然科学基金

·军委装备发展部预研项目(国防高安全软件测试方向)

·中国博士后面上基金

·江苏省博士后基金

·软件新技术国家重点实验室开放课题

·中央高校创新基金参与国家重点研发计划

·863 计划

·多项国防预研项目。

2. 论文、专利与著作

·ACM TOMSEM、Empirical SE、IEEE T-Reliability、WWW、AAAI、软件学报、计算机学报等国内外顶级期刊和会议发表SCI/EI 论文百余篇

·多篇移动应用测试、回归测试论文成为国内该方向经典参考文献

·学术标签:国内移动应用自动化测试、智能软件测试(AI4SE)代表性青年学者,IEEE AITest 国际人工智能测试会议创始人之一

·授权国家发明专利20 余项,软件著作权10 余项;

·合作出版国外学术专著1 部、国内软件工程教材 2 本。

3. 产学研合作

长期与华为、电力行业科研院所、中电科系列研究所开展合作:成果落地:移动端自动化测试平台、嵌入式/ 无人系统高安全软件验证工具链,面向军工装备、智能终端、工业软件质量保障。

四、标志性学术贡献与行业影响

·发起IEEE AITest(国际人工智能软件测试会议)作为创始人之一,搭建国际AI 软件测试学术交流平台,推动全球学术界融合人工智能与软件测试,是智能测试领域最重要国际会议之一。

·国内移动应用测试理论体系建设先行者2010 年代国内移动互联网爆发初期,率先系统研究碎片化环境下移动 App 自动化测试,多篇《软件学报》论文奠定国内移动端回归测试、GUI 测试理论基础,大量高校软件工程方向研究生引用其成果。

·打通民用移动App 测试→军工智能无人系统软件验证研究链路从消费端移动应用测试技术,延伸至无人机、无人舰艇等高安全嵌入式智能软件测试,实现民用测试方法向国防高可靠软件质量保障迁移。

五、教学与人才培养

主讲本科生、研究生课程:《软件测试与质量保证》《高级软件工程》《软件开发方法》《软件测试理论与技术》

·硕士生招生方向:计算机科学与技术、软件工程、网络空间安全、电子信息

·指导研究生多次参与国际会议、发表高水平论文,实验室与中电15 所等国家级科研院所联合培养

·曾获南航计算机学院“五好导学团队” 称号。

六、结语

陶传奇是横跨“民用移动应用测试” 与 “军工智能高安全软件验证” 的青年软件工程专家发展脉络清晰:早期抓住移动互联网浪潮,攻克移动端碎片化测试难题;人工智能兴起后,及时转向大模型+ 智能软件测试前沿;依托南航国防学科优势,把软件测试技术落地到无人智能装备领域,是国内少有的同时深耕消费移动App 测试、AI 智能系统测试、国防高可靠软件验证三位一体路线的青年学者。