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

导师详细信息

姓名：刘斌

性别：男

出生年份：1967

职称：研究员

院系：可靠性与系统工程学院

首次聘任导师时间：2008

现聘任导师一级学科名称：控制科学与工程

现聘任导师二级学科名称：系统工程

聘任在第二学科培养博士生专业名称：无

聘任在自主设置学科培养博士生专业名称：无

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

电子信箱：liubin@bubb.edu.cn

办公电话：82339950

办公地点：无

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

个人简介：

刘斌，研究员 ，1967年出生 。现任北航可靠性与系统工程学院副院长
，可靠性工程研究所副所长，可靠性与环境工程国防科技重点实验室北航分实验室主任
。

刘斌研究员长期从事软件工程和软件可靠性工程专业领域的教学、科研和管理服务工作 ，主要研究方向为软件工程 、软件可靠性工程
、嵌入式软件测试、测试性试验验证等。参加并主持了多项国防预研和技术基础课题，主要有：国防预研重点课题“嵌入式软件可靠性测试与验证技术研究 ” 、“通用嵌入式软件可靠性仿真测试平台关键技术研究
”、“航空电子设备BIT故障检测率与故障隔离率试验验证与评估技术研究及系统开发”
，国防技术基础课题“软件可靠性仿真建模技术研究 ”
、“软件可靠性测试充分性研究”等 。特别是提出了“基于模型驱动的嵌入式软件测试技术和方法
”，并主持课题组在此方法基础上成功开发出了“通用嵌入式软件测试环境（GESTE）” ，填补了国内空白
，打破了国外的技术封锁，为武器装备嵌入式软件测试做出了重大贡献。刘斌研究员还在国内外刊物和会议上发表论文30余篇
。获国家科学技术二等奖1项 ，国防科学技术二等奖1项
，三等奖1项，获部级科技进步三等奖1项 ，全军科技进步三等奖1项。

近五年代表性学术论文:

其中SCI文章6篇包括：

[1]AmodelinglanguagebasedonUMLformodelingsiulationtestingsystemofavionicsoftware

[2]ResearchofSimulationTestingEnvironmentFrameworkforIntegratedModularAvionicsSoftware

[3]Model-basedrobusttestingforavionicsembeddedsoftware"theChineseJournalofAeronautics

[4]OnModelingApproachforEmbeddedReal-timeSoftwareSimulationTesting

[5]AvionicsEmbeddedSoftwareModelingBasedonTime-constrainedTransitionEquivalenceClass

[6]Real-timeEmbeddedSoftwareTestingMethodBasedonReal-timeExtendFiniteStateMachine

其他EI文章：

[1]ResearchonEmbeddedSoftwareTestingDataGenerationSystem.

[2]DesignandApplicationofReal-timeEmbeddedSoftwareSimulationTestingObjectFramework.

[3]EmbeddedSoftwareSimulationTestingVirtualMachine:DesignandApplication

[4]基于虚拟机的嵌入式软件仿真测试环境研究

[5]ASurveyontheFormalTestingTechniquesforReal-timeEmbeddedSoftware

[6]Aframeworkforembeddedsoftwaretestabilitymeasurement

[7]基于框架的软件测试性分析

[8]软件验证与确认

[9]Softwaretestabilityanalysisbasedonframework

[10]Verificationofsafety-criticalsoftwarerequirementbasedonPetri-netmodelchecking

[11]Requirementmodelcheckingofsafety-criticalsoftwarebasedonexpandedPetriNet

[12]Theprocessofrequirementanalysisaboutmilitarysoftwaresystemtesting

[13]Adynamicsoftwarebinaryfaultinjectionsystemforreal-timeembeddedsoftware

[14]Designandresearchonreal-timeinterfacemanagementframeworkofthegeneralembeddedtestingsystemformodeldriventesting

[15]TheappliedtechnologyofaHardware-In-Loopsimulationtestingplatformforreactivesystembasedonthedata-playback

[16]AnalysisofindustrialEthernet'sreliabilityandreal-timeperformance

[17]Presentandfutureofsoftwaretestabilityanalysis

[18]Areliabilitymodelbasedonheterogeneoussoftwarearchitecture

[19]SOAbasedmobileapplicationsoftwaretestframework

[20]Formaltestingappliedinembeddedsoftware

[21]Testautomationonmobiledevice

[22]Softwaretestabilitymeasurementbasedonroughsettheory

[23]Studyonreal-timetestscriptinAutomatedTestEquipment

[24]Researchoncodepatternautomata-basedcodeerrorpatternautomaticdetectiontechnique

[25]综合模块化航电软件仿真测试环境研究

[26]面向机载软件适航验证的灰盒测试方法

[27]ATaxonomySystemtoIdentifyHumanErrorCausesforSoftwareDefects

[28]软件心理学研究综述

[29]航空机载软件缺陷知识库框架

[30]基于多特征空间和多学习器的软件故障预测集成学习模型

[31]航空机载软件缺陷知识库框架

[32]SomeImprovementsonTheRulesforExchangingBetweenErrorModelAnnexandAADLtoFaultTree

[33]TestcasegeneratingforIntegratedModularAvionicssoftwarehealthmonitoring

[34]TestingMethodofIntegratedModularAvionicsHealthMonitoring,2013PrognosticsandSystemHealthManagement

[35]ReliabilityEvaluationbasedontheAADLArchitectureModel

[36]实时嵌入式软件测试执行引擎的设计与实现

[37]ResearchonFormalVerificationTechniqueforAircraftSafety-CriticalSoftware

[38]TheIntegratedApplicationBasedonReal-timeExtendedUMLandImprovedFormalMethodinReal-timeEmbeddedSoftwareTesting

[39]TestCasesGenerationforEmbeddedReal-timeSoftwareBasedonExtendedUML

[40]OnTestScriptTechniqueOrientedAutomationofEmbeddedSoftwareSimulationTesting

[41]AMethodofTestCaseAutomaticGenerationforEmbeddedSoftware

[42]OnFrameworkOrientedEmbeddedSoftwareTestingDevelopmentEnvironment

[43]ResearchonAutomaticTestingTechnologyOrientedIntelligentMobileTerminalSoftware

[44]Real-timeEmbeddedSoftwareTestCaseGenerationBasedonTime-extended

[45]FormalTestingAppliedinEmbeddedSoftware

[46]基于Petri网模型检验的安全关键软件需求验证

[47]基于扩展Petri网的安全关键软件需求模型检验

[48]基于实验的自适应随机测试效率分析

近五年承担的重要纵向科研项目：

[1]XX飞机软件定型测评

[2]航空电子设备BIT故障检测率与隔离率试验验证与评估技术（十一五）

[3]XX舰载战斗机软件测试

[4]电子设备软件测试中的BIT软件测试技术研究及设备开发

[5]DY飞机研制技术支持

[6]软件可测试性度量方法研究

[7]新一代武器装备复杂软件系统可靠性评估与测评（十二五）

近五年已授权的发明专利（含国防发明专利）:

[1]一种实时嵌入式软件自动化闭环测试系统

[2]一种实时嵌入式软件自动化闭环测试方法

[3]一种实时嵌入式软件测试结果数据分析的方法及系统

[4]一种可复用的嵌入式软件测试开发方法和系统

[5]一种嵌入式软件测试数据可视化自动生成方法及系统