姓名:肖鹏
性别:男
在岗性质:全职硕导
最高学位:博士
专业技术职务:讲师
毕业学校:北京航空航天大学
行政职务:软件工程支部书记
所在院校:软件学院
联系电话:18279624807
电子邮箱:buaaxp@foxmail.com
2020/07 -至今 南昌航空大学 讲师
2019/01-2020/07 江西吉安市工业与信息化局 (主任科员,挂职吉州区樟山镇党委副书记)。
2014-2018 北京航空航天大学 (博士) 系统工程 工学博士学位
2011-2014 北京航空航天大学 (硕士) 工业工程 工程硕士学位
2006-2010 成都理工大学 (本科) 计算机科学与技术 工学学士学位
研究方向为:软件测试与验证、软件安全性与可靠性、复杂软件系统、软件缺陷预测技术。曾参与多个国家重点型号的嵌入式机载软件测试任务,研发自主可控软件测试工具MPT Platform。
主持纵向课题:
[1] 国防纵向(中央军委装备发展部):复杂软件共因失效防御技术研究,50万,2022年3月——2024年2月
[2] 省级纵向(江西省自然科学基金青年项目):基于缺陷精准预测的智能化软件测试技术研究,10万,2021年11月—2022年12月
[3] 校级纵向,反馈式软件测试技术,20万,2020年09月—2022年12月
主持横向课题:
[1] 国防横向(中国航空无线电电子研究所):面向模型协同仿真的流程测试验证工具,112万,2021年07月——2023年03月
[2] 国防横向(中国电子科技集团公司第二十研究所):消息一致性评估系统,73万,2022年09月——2023年01月
[3] 国防横向(中国电子科技集团公司第二十研究所): 消息建模及测试用例生成系统,67万,2022年10月——2023年02月
[4] 国防横向(中国船舶工业综合技术经济研究院),基于任务剖面的装备软件测试用例自动生成原型系统研制,21万,2022年05月—2023年12月
[5] 国防横向(江西洪都航空工业集团),航空产品实物质量大数据故障分类模型研究,10万,2023年02月—2023年09月
[6] 企业横向(中科院空天信息研究院),软件缺陷数据收集和主动测试工具开发,44万,2022年10月——2024年8月
[7] 企业横向(北京航空航天大学):TPSR SDU驱动控制软件项目测试技术服务,11万,2021年12月——2021年12月
南昌航空大学2022年度教师教学竞赛暨课程思政教学比赛,青年理工组,一等奖。
中国计算机学会南昌分会委员
代表性论文:
[1] P Xiao, Y Yin , B Liu
, B
Jiang , YK
Malaiya. Adaptive Testing Based on Moment Estimation; IEEE Transactions on Systems,
Man, and Cybernetics: Systems, 2020, 40(3): 991-922. ( SCI一区:
00052196A6800015)
[2] Peng Xiao, Bin Liu, Shihai Wang. Feedback-based
integrated prediction: Defect Prediction based on feedback from software
testing process. Journal of Systems and Software, 2018, 143: 159-171. ( SCI一区:000438180000011)
[3] P Xiao , B Liu , X Yan
, F
Huang. How Domain Knowledge Accumulation Influences Software Defects: An
Empirical Analysis, IEEE International Conference on Software Quality , 2017
:24-30. (EI: 20174704436607)
[4] Z Yu , P Xiao , Y Wu , B Liu
, L Wu.
A Novel Automated GUI Testing Echnology Based on Image Recognition. IEEE
International Conference on High Performance Computing & Communications ,
2017 :144-149. (EI: 20170903389000)
[5] 殷永峰,肖鹏,张弛,刘斌. 基于实验的自适应随机测试效率分析. 北京航空航天大学学报,
2014, 40(3):292-297. (EI)
专利:
[1] 一种程序切片漏洞检测方法、系统、计算机及存储介质,国家发明专利,授权,CN 115455438 B,2023年02月
[2] TESTING VERIFICATION
METHOD FOR MODEL CO-SIMULATION,国外专利,授权,2022/08907,2022年11月
[3] 一种形式化测试模型建模方法、系统、计算机及存储介质,国家发明专利,授权,CN114911715B,2022年11月
[4] 联合仿真集成测试验证方法、装置、可读存储介质及设备,国家发明专利,授权,CN114896824B, 2022年10月
[5] 分布式仿真测试方法、装置、可读存储介质及计算机设备,国家发明专利,授权,CN114328278B,2022年06月