报告题目：航空软件测试与适航验证关键技术

报 告 人：郑炜  副教授  西北工业大学

报告时间：2025年6月20日（星期五）9:00-11:00

报告地点：扬子津校区信息学院工程中心五楼会议室

主办单位：信息工程学院（人工智能学院）、江苏省知识管理与智能服务工程研究中心、科学技术处

欢迎广大师生参加!

报告摘要：

基于AG600、C919软件与复杂电子适航性验证工程经验，分析机载软件/复杂电子验证、适航审查、协议检测等关键任务的痛点难点，提出不同解决方案。首先，针对HCPS（高可信计算平台）协议验证，提出MP-Learner，一种基于主动学习算法的HCPS消息协议形式化验证方法。通过主动学习算法优化验证过程，提高了验证效率和准确性，确保了HCPS消息协议的可靠性和安全性。其次，介绍KG-Consistency，一种基于知识图谱的机载电子硬件需求代码一致性检测方法，通过构建知识图谱自动识别和检测需求与代码之间的一致性问题，有效提升了机载电子硬件系统的开发质量和维护效率。

报告人简介：

郑炜，西北工业大学，副教授，博导；CCF ChinaSoft《中国科学：信息科学》专刊主席、中国软件测试认证委员会委员、软件测试大赛组委会成员、CCF软件工程等多个专委会执委。

聚焦航空软件/复杂电子可靠性与适航性验证相关课题研究和技术服务，在复杂机载软件系统的第三方验证、可靠性分析、适航性验证以及智能化测试技术等方向形成了鲜明特色。近5年主持航空系统设计、验证相关大型课题10余项，牵头/参与行业标准8项，授权发明专利20余项，编写软件测试、软件工程教材&专著10余本；基于智能软件测试课题研究发表高水平论文50余篇。团队构建了从理论研究到工程应用的关键技术研发体系。