问题框架方法的可靠性关注点及系统可靠性增强模式

来源 :计算机学报 | 被引量 : 0次 | 上传用户:redmend
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引人问题的分析过程中,通过扩展问题的边界和精化机器的规格说明,为增强系统的可靠性提供支持.文中还展示了作者开发的一个支持系统可靠性分析的支撑工具,用于帮助需求分析者识别问题的可靠性需求,并正确地使用可靠性增强模式.最后,文章结合一个银行账户管理问题的案例展示了文中工作的可行性.
其他文献
目的观察急性脑血栓形成早期康复护理干预临床效果。方法回顾性分析2014年1月至2015年1月本院64例脑血栓患者临床资料,按照数字表法分成两组,对照组予常规护理,研究组予康复
目的:探讨高泌乳素血症中巨泌乳素(MPRL)对泌乳素(PRL)检测的干扰及应用聚乙二醇(PEG)筛查MPRL的可行性。方法:200例高泌乳素血症患者按临床表现和影像学资料分为垂体性高泌乳素血症
在商业化视角下,竞技体育服务产品具有天然的经济特性,而从经济学的角度讲,向社会提供必要的服务产品、实现体育资源和社会资源的有效配置,是竞技体育发展的一个重要方面,并且服务
探讨轮胎再生胶的无油化生产技术及再生胶的功能化改性,并进行无油改性再生胶在轮胎过渡层胶和冠部胶中的应用研究。结果表明,无油改性轮胎再生胶改善了再生胶与通用橡胶的相
研究大气环境对人体作用和影响规律的学科叫医学气象学(Medical meteorology),是70年代才在国际上兴起的一门新学科。目前对天气与疾病的关系研究很多,但多数的研究仅限于单
龙里县通过聚焦产业选择、聚焦主体培育、聚焦服务保障和聚焦产销对接的"四个聚焦"措施,助推农村产业革命,取得显著成效。一是聚焦产业选择,解决"种什么"。按照该县深入推进
十八集电视剧《司马迁》讲述了“史圣”司马迁回肠荡气的一生,全方位地展现了司马迁的人格与命运。本剧在忠于真实历史的基础上,运用艺术创作的手法,塑造了一个血肉丰满的历
基于现有的理论使用层级、矩阵、混沌和复杂理论等探讨组织的秩序,文中回顾了这些理论并提供了一个解释组织中秩序起源的综合模型.在此基础上引入了和谐理论及HAUEC(构成和谐
以冷冻鲣鱼为研究对象,探究不同解冻方式(自然空气解冻、静水解冻、流水解冻、冷藏库解冻)对其高铁肌红蛋白(metmyoglobin,met Mb)、可溶性肌原纤维蛋白(soluble myofibrillar pro
贵州省龙里县畜牧养殖业经过多年发展,已显示出在促进农业增效、农民增收、农村繁荣方面的巨大潜力,养殖业也已逐步向集约化、规模化经营方式转化。然而,养殖规模扩大、饲养