北航可靠性与系统工程学院系统工程导师介绍：刘斌

• 2025考研复试伴学班
• 2025考研复试标准班
• 2026考研英语全程班
• 26考研全科上岸规划营「择校▪规划▪备考」
• 北京航空航天大学2025考研专业课复习资料「真题▪笔记▪讲义▪题库」

　

导师详细信息

姓名：刘斌

性别：男

出生年份：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]一种嵌入式软件测试数据可视化自动生成方法及系统