北京航空航天大學(xué)

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

姓名：劉斌

性別：男

出生年份：1967

職稱：研究員

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

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

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

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

聘任在第二學(xué)科培養(yǎng)博士生專業(yè)名稱：無

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

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

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

辦公電話：82339950

辦公地點：無

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

個人簡介：

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

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

近五年代表性學(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]基于虛擬機的嵌入式軟件仿真測試環(huán)境研究

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

[6]A framework for embedded software testability measurement

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

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

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

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

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

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

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

[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]實時嵌入式軟件測試執(zhí)行引擎的設(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)模型檢驗的安全關(guān)鍵軟件需求驗證

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

[48]基于實驗的自適應(yīng)隨機測試效率分析

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

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

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

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

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

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

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

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

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

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

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

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

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

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