论文部分内容阅读
软件可靠性是软件质量的一个重要因素.如何提高软件可靠性已成为一个迫切的问题。本文综述了通过可靠性建模的途径来计算及评估软件可靠性的方法和理念,并在项目中使用所提出的算法实际实现了几个常用的模型,通过与美国NASA开发的软件Smerfs的实验结果比较,可以看出实验结果比较精确.
软件可靠性模型与评估
【摘 要】
：
软件可靠性是软件质量的一个重要因素.如何提高软件可靠性已成为一个迫切的问题。本文综述了通过可靠性建模的途径来计算及评估软件可靠性的方法和理念,并在项目中使用所提出
【机 构】
：
解放军理工大学指挥自动化学院
【出 处】
：
中国电子学会电子系统工程分会第十五届信息化理论学术研讨会
【发表日期】
：
2008年期
其他文献
需求分析是武器装备建设发展的首要环节,决定着武器装备的发展方向和质量.本文在分析基于能力的军事需求方法发展动因的基础上,阐述了基于能力的军事需求方法的主要特征,研究
需求评估是军事信息系统需求分析必不可少的关键环节,它既是改进、完善系统需求,确保系统建设效率的有力保证,又是需求分析部门进行需求管理和决策的重要依据.指挥控制系统的
会议
统一建模语言(Unified Modeling Language,UML)是一种可用于详细描述的语言,所建立的模型是精确,无歧义并且完整的,且能描述系统不同粒度的功能。本文用UML描述构件的功能,然
军事模拟是目前军事作战模拟领域研究的热点.本文讨论了虚拟现实技术的相关理论和主要内容,重点讨论了利用虚拟现实技术实现战场地形可视化的应用和关键技术.
卫星云图中云团的外形轮廓复杂多变,利用常规的几何面积公式难以准确地求得其面积.把计算机图形学中的种子填充算法运用到复杂图形面积的求解中来,较好地解决了这一问题,为在
UML是军事电子信息系统开发中应用最多的工具之一,支持从需求提取到代码实现的整个开发过程.但UML没有定义严格的语义,这不仅使得其缺少内在的无二义性,而且建立的模型难以进
会议
论文分析了协同式攻击的特征,给出了一种基于多Agent的协同式攻击建模方法,并建立了基于Agent的协同攻击模型,在HLA框架下设计了攻击仿真原型系统,解决了仿真系统中Agent的通
BOM是表示独立仿真互作用模式的可重用信息包,其目的是成为可重用仿真组件.为保证其可重用性的实现,BOM开发小组从BOM模板设计开始就注意构建可重用性机制.本文首先详细分析
本文提出了基于HLA的复杂电磁环境仿真系统体系结构,设计了电磁环境仿真系统的软件结构,把电磁环境可视化过程分为数学模型计算、几何模型构建和表现模型获取三个部分,完成了