【摘 要】
：
针对大型复杂软件系统中软件结构风格的多样性,提出了一种基于结构分析的软件可靠性评估方法,能够将原始的复杂构件控制转移图转换为基于离散时间马尔科夫链（DTMC）的简单系统状
【机 构】
：
合肥工业大学计算机与信息学院,安全关键工业测控技术教育部工程研究中心
【基金项目】
：
国家自然科学基金项目(60873195;61070220);教育部博士点基金项目(20090111110002;20120111110001)
论文部分内容阅读
针对大型复杂软件系统中软件结构风格的多样性,提出了一种基于结构分析的软件可靠性评估方法,能够将原始的复杂构件控制转移图转换为基于离散时间马尔科夫链（DTMC）的简单系统状态转移图,为准确评估包含多种软件结构风格的复杂软件可靠性提供了一个新的思路.该方法通过分析不同软件结构风格中构件交互的特点,建立相应软件结构中构件到系统状态的转换机制;在可靠性分析中考虑了构件执行频度参数,以更好地反映系统操作剖面对可靠性的影响;基于DTMC理论给出了系统状态图中可靠性参数的计算方法.最后,通过对一个实际软件系统的可靠性分
其他文献
通过对湘西自治州山洪地质灾害防御工作的现状、存在的问题及原因进行分析,并提出相应对策,为山区山洪地质灾害气象防御工作提供参考。
目的分析2017-2018年成都市金牛区急性肺炎支原体感染情况,为制订防控策略提供依据。方法采集2017-07-01/2018-07-01成都市金牛区急性呼吸道感染患者血清,以被动凝集法检测血
所谓粘接就是将2个不同的固体，用第3种物质连接在一起的技术。然而，大家都知道，如果使2种物质接近于纳米距离，在色散力、偶极力等引力的作用下，它们也可连接到一起，但是，同一种固体
很多年前的“草鞋码头”瓷都是这样的：昌江河里运载着瓷土、釉里的船只来来往往，河道两旁灰墙黛瓦的改良徽派建筑鳞次栉比，叫卖声、吆喝声、船篙的碰撞声、马蹄声、流水声，交织成
简介数字城市的概念,回顾数字城市的发展现状,在分析数字城市建设意义的基础上,提出了自己对数字城市的理解,数字城市建设方案和数字城市建设中面临的关键技术。
【正】 据野史记载,太监李莲英是颇能讨得西太后欢心的奴才?因为他和太监小德张一样篦头很解痒,会梳“旗头座一式发髻且能不碰掉秀发。就凭这手本领,才得以受宠。有一回,李莲
目的回顾性分析济南市报告的10例儿童新型冠状病毒肺炎确诊病例的流行病学和临床特征。方法依据《新型冠状病毒肺炎诊疗方案(试行第5版)》中新型冠状病毒肺炎诊断标准和临床
当前,随着大数据时代的来临,在此形势之下,如何利用大数据相关技术对制造业企业成本展开更为科学的管理是众多企业面临的一个重要问题。为此,本文在对当前制造业企业在运用大
柔性财务管理作为当前企业财务管理广泛应用的一种方式,对企业运营发展有着重要意义。随着企业之间竞争逐渐加剧,企业为了实现稳定发展,不可生搬硬照其他企业管理模式,而需要
随着数据库技术的迅猛发展,其使用中的安全隐患问题已日益引起人们的重视.本文提出了基于SQL Server的数据库使用中的基本安全性要求,阐述了如何根据认证机制、封锁和隐瞒的