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

作     者：尹斌 金芝 李智 YIN Bin;JIN Zhi;LI Zhi

作者机构：中国科学院数学与系统科学研究院北京100190 中国科学院研究生院北京100049 高可信软件技术教育部重点实验室(北京大学)北京100871 北京大学信息科学技术学院软件研究所北京100871 广西师范大学计算机科学与信息技术学院广西桂林541002 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2013年第36卷第1期

页      面：74-87页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学重点基金(90818026) 国家"九七三"重点基础研究发展规划项目基金(2009CB320701) 广西壮族自治区自然科学基金(2012GXNSFCA053010)资助 

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

摘      要：软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程中,通过扩展问题的边界和精化机器的规格说明,为增强系统的可靠性提供支持.文中还展示了作者开发的一个支持系统可靠性分析的支撑工具,用于帮助需求分析者识别问题的可靠性需求,并正确地使用可靠性增强模式.最后,文章结合一个银行账户管理问题的案例展示了文中工作的可行性.