基本信息

姓名:肖鹏

性别:

在岗性质:全职硕导

最高学位:博士

专业技术职务:讲师

毕业学校:北京航空航天大学

行政职务:软件工程支部书记

所在院校:软件学院

联系电话:18279624807

电子邮箱:buaaxp@foxmail.com

研究方向
硕士:
1. 软件学院 020 软件工程(专) 085405 不区分研究方向 00
硕士:
2. 软件学院 020 软件工程(学) 083500 软件工程技术 01
博士:
3. 软件学院 020 航空宇航科学与技术 082500 机载软件测试技术 01
硕士:
4. 软件学院 020 航空宇航科学与技术 082500 机载软件测试技术 01
工作经历

2020/07 -至今        南昌航空大学          讲师

2019/01-2020/07  江西吉安市工业与信息化局 (主任科员,挂职吉州区樟山镇党委副书记)。










教育经历

2014-2018        北京航空航天大学 (博士)            系统工程             工学博士学位

2011-2014        北京航空航天大学 (硕士)            工业工程             工程硕士学位

2006-2010          成都理工大学   (本科)         计算机科学与技术        工学学士学位










科研项目

研究方向为:软件测试与验证、软件安全性与可靠性、复杂软件系统、软件缺陷预测技术。曾参与多个国家重点型号的嵌入式机载软件测试任务,研发自主可控软件测试工具MPT Platform。

主持纵向课题:
[1] 国防纵向(中央军委装备发展部):基于协同仿真验证的模型质量评估技术研究,90万,2024年1月——2025年12月
[2] 国防纵向(中央军委装备发展部):复杂软件共因失效防御技术研究,50万,2022年3月——2024年2月
[3] 省级纵向(江西省自然科学基金青年项目):基于缺陷精准预测的智能化软件测试技术研究,10万,2021年11月—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] 企业横向( 中国航空无线电电子研究所), AG600机载维护系统软件验证 ,48万,2024年3月——2025年2月
[8] 企业横向(北京航空航天大学),模型算法测试软件开发,48.8万,2025年4月——2026年4月
[9] 企业横向(北京航空航天大学):TPSR SDU驱动控制软件项目测试技术服务,11万,2021年12月——2021年12月
[10] 企业横向(北京航空航天大学):软件缺陷数据分析工具,10万,2021年02月——2021年03月


荣誉奖项

南昌航空大学2022年度教师教学竞赛暨课程思政教学比赛,青年理工组,一等奖。











社会兼职

中国航空学会会员

中国计算机学会南昌分会执行委员  











备注

论文:

[1]Adaptive Testing Based on Moment Estimation,IEEE Transactions on Systems, Man, and Cybernetics: Systems, 50(3):911-922.202003
[2]Vulnerability Detection Based on Enhanced Graph Representation Learning,IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY,19(0):5120-5139.202405
[3]基于深层图卷积网络与注意力的漏洞检测方法,计算机工程与应用,60(3):292-298. 202402
[4]A Reliability Analysis Method for Common Cause Failure Based on Extended Dynamic Fault Tree 2023 3rd International Conference on Electronic Information Engineering and Computer Science (EIECS) ,514-520.202312.

[5] 基于建模与仿真的完备协议测试验证技术,中国测试,202312

技术发明专利:
[1]一种程序切片漏洞检测方法、系统、计算机及存储介质 ZL202211396035.2 技术发明专利 2023-02 中国
[2]一种形式化测试模型建模方法、系统、计算机及存储介质 ZL202210818163.5 技术发明专利 2022-11 中国
[3]联合仿真集成测试验证方法、装置、可读存储介质及设备 ZL202210812663.8 技术发明专利 2022-10 中国
[4]分布式仿真测试方法、装置、可读存储介质及计算机设备 ZL202210244040.5 技术发明专利 2022-06 中国
[5]Testing verificationmethod for model co-simulation 2022/08907 技术发明专利 2022-11 南非
[6]基于加权有向耦合网络的软件结构风险识别方法与装置 ZL202311616552.0 技术发明专利 2023-11 中国

软件著作权
[1] 分布式模型联合仿真流程测试验证平台V1.0 2022SR0328478 2022-03 
[2] 基于XML配置的报文建模管理软件V1.0 2022SR0327510 2022-03 
[3] 消息设计测试验证评估平台V1.0 2022SR0328114 2022-03 
[4] 程序安全漏洞检测系统 2024SR0070828 2024-01 
[5] 算法测试验证软件 2024SR0065755 2024-01