北航可靠性與系統(tǒng)工程學(xué)院系統(tǒng)工程導(dǎo)師介紹：劉斌

• 2027考研英語(yǔ)全程班 早鳥(niǎo)1班
• 2027考研全科上岸規(guī)劃營(yíng)「擇校▪規(guī)劃▪備考」
• 北京航空航天大學(xué)2026考研專(zhuān)業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫(kù)」

導(dǎo)師詳細(xì)信息

姓名：劉斌

性別：男

出生年份：1967

職稱(chēng)：研究員

院系：可靠性與系統(tǒng)工程學(xué)院

首次聘任導(dǎo)師時(shí)間：2008

現(xiàn)聘任導(dǎo)師一級(jí)學(xué)科名稱(chēng)：控制科學(xué)與工程

現(xiàn)聘任導(dǎo)師二級(jí)學(xué)科名稱(chēng)：系統(tǒng)工程

聘任在第二學(xué)科培養(yǎng)博士生專(zhuān)業(yè)名稱(chēng)：無(wú)

聘任在自主設(shè)置學(xué)科培養(yǎng)博士生專(zhuān)業(yè)名稱(chēng)：無(wú)

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

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

辦公電話(huà)：82339950

辦公地點(diǎn)：無(wú)

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

個(gè)人簡(jiǎn)介：

劉斌，研究員，1967年出生。現(xiàn)任北航可靠性與系統(tǒng)工程學(xué)院副院長(zhǎng)，可靠性工程研究所副所長(zhǎng)，可靠性與環(huán)境工程國(guó)防科技重點(diǎn)實(shí)驗(yàn)室北航分實(shí)驗(yàn)室主任。

劉斌研究員長(zhǎng)期從事軟件工程和軟件可靠性工程專(zhuān)業(yè)領(lǐng)域的教學(xué)、科研和管理服務(wù)工作，主要研究方向?yàn)檐浖�工程、軟件可靠性工程、嵌入式軟件測(cè)試、測(cè)試性試驗(yàn)驗(yàn)證等。參加并主持了多項(xiàng)國(guó)防預(yù)研和技術(shù)基礎(chǔ)課題，主要有：國(guó)防預(yù)研重點(diǎn)課題“嵌入式軟件可靠性測(cè)試與驗(yàn)證技術(shù)研究”、“通用嵌入式軟件可靠性仿真測(cè)試平臺(tái)關(guān)鍵技術(shù)研究”、“航空電子設(shè)備BIT故障檢測(cè)率與故障隔離率試驗(yàn)驗(yàn)證與評(píng)估技術(shù)研究及系統(tǒng)開(kāi)發(fā)”，國(guó)防技術(shù)基礎(chǔ)課題“軟件可靠性仿真建模技術(shù)研究”、“軟件可靠性測(cè)試充分性研究”等。特別是提出了“基于模型驅(qū)動(dòng)的嵌入式軟件測(cè)試技術(shù)和方法”，并主持課題組在此方法基礎(chǔ)上成功開(kāi)發(fā)出了“通用嵌入式軟件測(cè)試環(huán)境（GESTE）”，填補(bǔ)了國(guó)內(nèi)空白，打破了國(guó)外的技術(shù)封鎖，為武器裝備嵌入式軟件測(cè)試做出了重大貢獻(xiàn)。劉斌研究員還在國(guó)內(nèi)外刊物和會(huì)議上發(fā)表論文30余篇。獲國(guó)家科學(xué)技術(shù)二等獎(jiǎng)1項(xiàng)，國(guó)防科學(xué)技術(shù)二等獎(jiǎng)1項(xiàng)，三等獎(jiǎng)1項(xiàng)，獲部級(jí)科技進(jìn)步三等獎(jiǎng)1項(xiàng)，全軍科技進(jìn)步三等獎(jiǎng)1項(xiàng)。

近五年代表性學(xué)術(shù)論文:

其中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]基于虛擬機(jī)的嵌入式軟件仿真測(cè)試環(huán)境研究

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

[6]A framework for embedded software testability measurement

[7]基于框架的軟件測(cè)試性分析

[8]軟件驗(yàn)證與確認(rèn)

[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]綜合模塊化航電軟件仿真測(cè)試環(huán)境研究

[26]面向機(jī)載軟件適航驗(yàn)證的灰盒測(cè)試方法

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

[28]軟件心理學(xué)研究綜述

[29]航空機(jī)載軟件缺陷知識(shí)庫(kù)框架

[30]基于多特征空間和多學(xué)習(xí)器的軟件故障預(yù)測(cè)集成學(xué)習(xí)模型

[31]航空機(jī)載軟件缺陷知識(shí)庫(kù) 框架

[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]實(shí)時(shí)嵌入式軟件測(cè)試執(zhí)行引擎的設(shè)計(jì)與實(shí)現(xiàn)

[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網(wǎng)模型檢驗(yàn)的安全關(guān)鍵軟件需求驗(yàn)證

[47]基于擴(kuò)展Petri網(wǎng)的安全關(guān)鍵軟件需求模型檢驗(yàn)

[48]基于實(shí)驗(yàn)的自適應(yīng)隨機(jī)測(cè)試效率分析

近五年承擔(dān)的重要縱向科研項(xiàng)目：

[1]XX飛機(jī)軟件定型測(cè)評(píng)

[2]航空電子設(shè)備BIT故障檢測(cè)率與隔離率試驗(yàn)驗(yàn)證與評(píng)估技術(shù)（十一五）

[3]XX艦載戰(zhàn)斗機(jī)軟件測(cè)試

[4]電子設(shè)備軟件測(cè)試中的BIT軟件測(cè)試技術(shù)研究及設(shè)備開(kāi)發(fā)

[5]DY飛機(jī)研制技術(shù)支持

[6]軟件可測(cè)試性度量方法研究

[7]新一代武器裝備復(fù)雜軟件系統(tǒng)可靠性評(píng)估與測(cè)評(píng)（十二五）

近五年已授權(quán)的發(fā)明專(zhuān)利（含國(guó)防發(fā)明專(zhuān)利）:

[1]一種實(shí)時(shí)嵌入式軟件自動(dòng)化閉環(huán)測(cè)試系統(tǒng)

[2]一種實(shí)時(shí)嵌入式軟件自動(dòng)化閉環(huán)測(cè)試方法

[3]一種實(shí)時(shí)嵌入式軟件測(cè)試結(jié)果數(shù)據(jù)分析的方法及系統(tǒng)

[4]一種可復(fù)用的嵌入式軟件測(cè)試開(kāi)發(fā)方法和系統(tǒng)

[5]一種嵌入式軟件測(cè)試數(shù)據(jù)可視化自動(dòng)生成方法及系統(tǒng)