信息进行扩展-张家港电动滚圆机滚弧机价格低数控滚圆机滚弧机多
作者:lujianjun | 来源:欧科机械 | 发布时间:2017-12-08 11:38 | 浏览次数:

分析软件结构风格与系统可靠性的量化关系并建立基本结构可靠性范式BARP (Basic Architecture Reliability Paradigm)。论文提出了一种基于结构分析的复杂软件可靠性评估方法,该方法首先根据SA理论中关于软件结构风格的功能性定义,并基于其所包含的构件、构件交互的形式化描述,建立各类软件结构风格的形式化分类。然后通过构件失效独立性验证,判定结构风格中构件的失效关系,将构件及构件间的交互映射为系统可靠性状态及其控制转移关系。最后使用离散Markov链理论,将软件结构风格建模为一种状态转移模型,利用构件可靠性、构件控制转移概率矩阵、构件执行频度等相关参数求解该状态模型的N步转移概率问题,得到针对各软件结构风格的可靠性范式的数学表达。通过将属于不同软件结构风格的构件交互根据预先定义好的状态转换机制映射到系统状态中去,并根据确定的可靠性计算公式计算可靠性相关参数,将复杂结构软件可靠性问题简化,同时通过引入一个新的参数即构件在系统单次执行中的被调用频度的数学期望,很好地反映了操作剖面对系统可靠性的影响,提高了可靠性分析的准确性 本文由张家港市泰宇机械有限公司滚圆机网站采集网络资源整理!www.gunyuanji.name、合理性。(4)研究并建立基于UML软件设计模型的软件可靠性分析方法。UML是软件开发早期最主要的制品,信息进行扩展-张家港电动滚圆机滚弧机价格低数控滚圆机滚弧机多少钱提供了针对系统不同方面的大量有价值的信息,为了简化可靠性分析的复杂度,减少早期软件可靠性分析评估的工作量,同时使得可靠性分析模型可以处理多种软件结构风格,论文提出一种由UML软件设计模型出发,将其自动转换为软件可靠性分析模型DTMC的方法。该方法基于现有的可靠性建模和分析相关的研究工作,通过在UML的用况图、构件图、顺序图中添加可靠性相关的信息进行扩展,使得扩展模型具备描述多种软件结构风格的能力,由扩展的顺序图出发,构造系统局部SSTD;再结合用况图中不同用况的发生概率,将局部SSTD整合为系统SSTD;根据系统SSTD以及构件图所反映的构件可靠性以及本文提出的系统状态可靠性计算方法,最终构造出用于可靠性分析的DTMC模型并计算得到可靠性评估结果。(5)对建立的复杂软件可靠性分析模型进行参数分析。针对复杂软件可靠性模型涉及参数的估计不准确问题以及关键参数判定问题,论文首先通过结合SRGM在构件可靠性增长刻画方面的优点(采用基于时间的失效概率密度函数μ(n,t)描述构件失效行为),以及ABSRM中关于软件系统体系结构建模的优点(采用DTMC描述系统结构),为在软件测试阶段,量化分析由错误恢复而产生的构件可靠性增长所导致的系统可靠性变化提供了一种新的仿真分析方法信息进行扩展-张家港电动滚圆机滚弧机价格低数控滚圆机滚弧机多少钱 本文由张家港市泰宇机械有限公司滚圆机网站采集网络资源整理!www.gunyuanji.name