您的位置： 专家智库 > >

刘彦斌

作品数：13 被引量：42H指数：4
供职机构：中国电子科技集团第十三研究所更多>>
发文基金：国防科技技术预先研究基金河北省自然科学基金中国人民解放军总装备部预研基金更多>>
相关领域：自动化与计算机技术兵器科学与技术更多>>

合作作者

文献类型

  • 12篇期刊文章
  • 1篇会议论文

领域

  • 13篇自动化与计算...
  • 1篇兵器科学与技...

主题

  • 4篇监控器
  • 3篇多目标
  • 3篇多目标约束
  • 3篇开销
  • 2篇软件维护
  • 1篇动态网
  • 1篇动态网页
  • 1篇信息安全
  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化分析
  • 1篇云计算
  • 1篇云计算环境
  • 1篇运行监控
  • 1篇知识表示
  • 1篇知识获取
  • 1篇软件工程
  • 1篇软件故障
  • 1篇软件配置管理
  • 1篇软件维护性

机构

  • 12篇中国人民解放...
  • 4篇中国电子科技...
  • 1篇桂林空军学院

作者

  • 13篇刘彦斌
  • 6篇朱小冬
  • 4篇叶飞
  • 4篇王毅刚
  • 2篇刘继民
  • 2篇李辉
  • 1篇王宏
  • 1篇董广生
  • 1篇李鸣
  • 1篇曹瑞昌
  • 1篇冯静
  • 1篇李希东

传媒

  • 5篇计算机工程
  • 3篇兵器装备工程...
  • 1篇计算机应用与...
  • 1篇计算机工程与...
  • 1篇微计算机信息
  • 1篇四川兵工学报
  • 1篇第三届全国信...

年份

  • 3篇2016
  • 1篇2014
  • 1篇2009
  • 1篇2007
  • 3篇2006
  • 1篇2005
  • 3篇2003
共 13 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
软件运行时验证加速中的多目标约束模型研究
2016年
由于复杂性质的运行时验证中常产生高额时间开销,影响了该技术在系统部署后的应用;减小验证开销提高验证效率已成为亟待解决的难点问题;通过识别运行时验证优化过程中多目标约束间的内在依赖关系,定义并构建了可加速监控器的判定方程,作为验证加速中的多目标约束模型;实验表明:该模型的求解结果能够用来判定可加速监控器,为实施软件运行时验证加速提供量化依据。
刘彦斌叶飞王毅刚
关键词：多目标约束监控器
新型装备中的软件保障问题研究被引量：8
2003年
软件是现代战争的灵魂，软件保障问题已成为装备保障发展过程中的重点与难点。该文针对软件保障问题这个难点，描绘了软件保障整体方案，针对传统软件维护模型的局限性，构建了一个基于过程的软件保障模型，为软件维护提出了更有效的途径；研究了软件维护性评估等关键软件保障技术。目的在于减少软件寿命周期费用、提高软件质量，最终解决武器装备中软件难于保障的问题。
刘彦斌朱小冬刘继民
关键词：软件维护软件维护性
应用IFPUG功能点方法的军用软件规模估算被引量：13
2006年
IFPUG功能点方法是国际功能点用户协会提出的一种广泛使用的度量软件功能大小的方法,它不依赖于实现语言,度量出来的结果也可以在不同的开发过程之间进行比较,该文提供了使用该方法对军用软件系统进行规模估算的实施框架,开发者使用该方法在开发的早期能够估算出系统的规模,为后期工作量与成本估算提供可靠依据,在系统完成后可作为系统其他度量和评估的有效输入。
冯静朱小冬刘彦斌
关键词：功能点方法军用软件
基于程序运行形式化分析的软件故障监控技术被引量：4
2006年
关键软件要求极高的可靠性和安全性,然而当前的技术途径尚不能完全消除软件故障——软件测试不能保证软件正确性,模型检查等形式化验证技术也存在着诸多局限。文章提出了基于监控程序运行途径来捕获软件故障和验证程序性质正确性,构建了基于程序运行形式化分析的软件故障监控(SFMRFA)模型,在监控逻辑表达、程序插桩、multi-agent设计等关键技术的基础上开发计算机辅助工具来监控、分析和引导程序执行,使软件运行当中可测、可控,避免软件失效。
刘彦斌朱小冬
关键词：软件故障形式化方法插桩
基于双轨迹差异分析法的软件故障定位被引量：6
2007年
软件运行监控器监测出故障之后,软件故障定位非常困难。该文提出了双轨迹差异分析法,根据成功的运行(run)和含有故障的运行之间的差异来进行故障定位。它采用程序谱来抽象表达程序执行轨迹,按照编辑距离度量来选取和含有故障的运行最近邻居的成功运行。通过序列间的最长共同子序列和最大稳定子序列集的计算,最终得到导致成功运行和失效运行之间差异的可疑故障语句集,并把它作为故障原因。经实验验证,该方法大大减少了故障定位中代码审查的范围。
刘彦斌朱小冬
关键词：故障定位运行监控
软件运行时验证加速中的多目标约束模型研究
2016年
通过监控程序运行检验软件运行是否满足给定性质的轻量级验证中常产生高额的时间开销,阻碍了该技术部署后在系统中的应用。如何减小验证开销、提高验证效率,已成为亟待解决的难点问题;通过识别运行时验证优化过程中多目标约束间的内在依赖关系,定义并构建了可加速监控器的判定方程,作为验证加速的多目标约束模型。实验表明:该模型的求解结果能够用来判定哪些是可加速监控器,为实施软件运行时验证的加速提供量化依据。
刘彦斌叶飞王毅刚
关键词：多目标约束监控器
基于软件黑匣子的集成软件故障诊断模型
2009年
借鉴飞机上飞行数据记录仪的原理,本文中提出了一种基于软件黑匣子的软件故障诊断机制-基于软件黑匣子的集成软件故障诊断模型(Integrated Software Fault Diagnosis Model based on Software Black Box,ISFDM-SBB)及其实现.首先,根据"4+1"视图模型和层次化体系结构风格,利用UML构建了ISFDM-SBB的体系结构;随后,通过"以体系结构为中心"的软件开发方法,采用Visual C++ 6.0实现了"基于软件黑匣子的集成软件故障诊断系统(Integrated Software Fault Diagnosis System based on Software Black Box,ISFDS-SBB)".
王毅刚朱小冬刘彦斌叶飞
关键词：UML
产品维修性设计专家系统构想与研究
2003年
文章对专家系统技术在产品维修性设计中的应用进行了研究,提出了该系统的总体结构方案和特点、知识表示和知识获取、推理机技术,并对计算机辅助维修性设计现状进行了简要分析。
刘继民董广生刘彦斌
关键词：专家系统维修性设计知识表示知识获取推理机
基于Multi-agent的实时系统运行故障监控研究被引量：8
2006年
软件密集型装备中常常包含着许多担负监测和控制作用的嵌入式实时系统,它们常常属于安全关键或者任务关键系统(safety-critical/mission-critical system)。为了能够有效解决该类系统中的软件故障检测、诊断与修复任务,本文提出了基于Multi-agent的实时系统运行故障监控框架,旨在利用在多agent的协作构建运行故障监控系统来在系统运行当中验证系统是否满足时序逻辑描述的性质规约,并采用具体的算法进行故障定位和修复。
刘彦斌朱小冬
关键词：多智体监控器实时系统
软件保障环境中的软件配置管理研究被引量：3
2005年
软件保障是软件工程领域用于解决软件维护问题的新的途径和方法,软件配置管理(SCM)更是软件保障环境中的关键问题。本文阐述了软件保障环境,构建了该环境中的SCM静态和动态模型,描述了SCM的实施过程,为软件保障的成功奠定了坚实的基础。
王宏刘彦斌李辉
关键词：软件工程软件维护软件配置管理
全选 清除 导出
共2页<12>
聚类工具0