• 2026考研英語全程班 6班
• 26考研全科上岸規劃營「擇校▪規劃▪備考」
• 北京航空航天大學2026考研專業課復習資料「真題▪筆記▪講義▪題庫」

導師詳細信息

姓名：劉斌

性別：男

出生年份：1967

職稱：研究員

院系：可靠性與系統工程學院

首次聘任導師時間：2008

現聘任導師一級學科名稱：控制科學與工程

現聘任導師二級學科名稱：系統工程

聘任在第二學科培養博士生專業名稱：無

聘任在自主設置學科培養博士生專業名稱：無

主要研究方向及特色：軟件可靠性

電子信箱：liubin@buaa.edu.cn

辦公電話：82339950

辦公地點：無

通信地址：北航十四系011室

個人簡介：

劉斌，研究員，1967年出生。現任北航可靠性與系統工程學院副院長，可靠性工程研究所副所長，可靠性與環境工程國防科技重點實驗室北航分實驗室主任。

劉斌研究員長期從事軟件工程和軟件可靠性工程專業領域的教學、科研和管理服務工作，主要研究方向為軟件工程、軟件可靠性工程、嵌入式軟件測試、測試性試驗驗證等。參加并主持了多項國防預研和技術基礎課題，主要有：國防預研重點課題“嵌入式軟件可靠性測試與驗證技術研究”、“通用嵌入式軟件可靠性仿真測試平臺關鍵技術研究”、“航空電子設備BIT故障檢測率與故障隔離率試驗驗證與評估技術研究及系統開發”，國防技術基礎課題“軟件可靠性仿真建模技術研究”、“軟件可靠性測試充分性研究”等。特別是提出了“基于模型驅動的嵌入式軟件測試技術和方法”，并主持課題組在此方法基礎上成功開發出了“通用嵌入式軟件測試環境（GESTE）”，填補了國內空白，打破了國外的技術封鎖，為武器裝備嵌入式軟件測試做出了重大貢獻。劉斌研究員還在國內外刊物和會議上發表論文30余篇。獲國家科學技術二等獎1項，國防科學技術二等獎1項，三等獎1項，獲部級科技進步三等獎1項，全軍科技進步三等獎1項。

近五年代表性學術論文:

其中SCI文章6篇包括：

[1]A modeling language based on UML for modeling siulation testing system of avionic software

[2]Research of Simulation Testing Environment Framework for Integrated Modular Avionics Software

[3]Model-based robust testing for avionics embedded software" the Chinese Journal of Aeronautics

[4]On Modeling Approach for Embedded Real-time Software Simulation Testing

[5]Avionics Embedded Software Modeling Based on Time-constrained Transition Equivalence Class

[6]Real-time Embedded Software Testing Method Based on Real-time Extend Finite State Machine

其他EI文章：

[1]Research on Embedded Software Testing Data Generation System.

[2]Design and Application of Real-time Embedded Software Simulation Testing Object Framework.

[3]Embedded Software Simulation Testing Virtual Machine: Design and Application

[4]基于虛擬機的嵌入式軟件仿真測試環境研究

[5]A Survey on the Formal Testing Techniques for Real-time Embedded Software

[6]A framework for embedded software testability measurement

[7]基于框架的軟件測試性分析

[8]軟件驗證與確認

[9]Software testability analysis based on framework

[10]Verification of safety-critical software requirement based on Petri-net model checking

[11]Requirement model checking of safety-critical software based on expanded Petri Net

[12]The process of requirement analysis about military software system testing

[13]A dynamic software binary fault injection system for real-time embedded software

[14]Design and research on real-time interface management framework of the general embedded testing system for model driven testing

[15]The applied technology of a Hardware-In-Loop simulation testing platform for reactive system based on the data-playback

[16]Analysis of industrial Ethernet's reliability and real-time performance

[17]Present and future of software testability analysis

[18]A reliability model based on heterogeneous software architecture

[19]SOA based mobile application software test framework

[20]Formal testing applied in embedded software

[21]Test automation on mobile device

[22]Software testability measurement based on rough set theory

[23]Study on real-time test script in Automated Test Equipment

[24]Research on code pattern automata-based code error pattern automatic detection technique

[25]綜合模塊化航電軟件仿真測試環境研究

[26]面向機載軟件適航驗證的灰盒測試方法

[27]A Taxonomy System toIdentify Human Error Causes for Software Defects

[28]軟件心理學研究綜述

[29]航空機載軟件缺陷知識庫框架

[30]基于多特征空間和多學習器的軟件故障預測集成學習模型

[31]航空機載軟件缺陷知識庫 框架

[32] Some Improvements on The Rules for Exchanging Between Error Model Annex and AADL to Fault Tree

[33]Test case generating for Integrated Modular Avionics software health monitoring

[34] Testing Method of Integrated Modular Avionics Health Monitoring,2013 Prognostics and System Health Management

[35]Reliability Evaluation based on the AADL Architecture Model

[36]實時嵌入式軟件測試執行引擎的設計與實現

[37]Research on Formal Verification Technique for Aircraft Safety-Critical Software

[38]The Integrated Application Based on Real-time Extended UML and Improved Formal Method in Real-time Embedded Software Testing

[39]Test Cases Generation for Embedded Real-time Software Based on Extended UML

[40]On Test Script Technique Oriented Automation of Embedded Software Simulation Testing

[41]A Method of Test Case Automatic Generation for Embedded Software

[42]On Framework Oriented Embedded Software Testing Development Environment

[43]Research on Automatic Testing Technology Oriented Intelligent Mobile Terminal Software

[44]Real-time Embedded Software Test Case Generation Based on Time-extended

[45]Formal Testing Applied in Embedded Software

[46]基于Petri網模型檢驗的安全關鍵軟件需求驗證

[47]基于擴展Petri網的安全關鍵軟件需求模型檢驗

[48]基于實驗的自適應隨機測試效率分析

近五年承擔的重要縱向科研項目：

[1]XX飛機軟件定型測評

[2]航空電子設備BIT故障檢測率與隔離率試驗驗證與評估技術（十一五）

[3]XX艦載戰斗機軟件測試

[4]電子設備軟件測試中的BIT軟件測試技術研究及設備開發

[5]DY飛機研制技術支持

[6]軟件可測試性度量方法研究

[7]新一代武器裝備復雜軟件系統可靠性評估與測評（十二五）

近五年已授權的發明專利（含國防發明專利）:

[1]一種實時嵌入式軟件自動化閉環測試系統

[2]一種實時嵌入式軟件自動化閉環測試方法

[3]一種實時嵌入式軟件測試結果數據分析的方法及系統

[4]一種可復用的嵌入式軟件測試開發方法和系統

[5]一種嵌入式軟件測試數據可視化自動生成方法及系統