《计算机学报》文章摘要   全文下载
文章题目	问题框架方法的可靠性关注点及系统可靠性增强模式
作者	尹斌1),2) 金芝1),3),4) 李智3),5)
作者单位	1)(中国科学院数学与系统科学研究院 北京 100190) 2)(中国科学院研究生院 北京 100049) 3)(高可信软件技术教育部重点实验室(北京大学) 北京 100871) 4)(北京大学信息科学技术学院软件研究所 北京 100871) 5)(广西师范大学计算机科学与信息技术学院 广西 桂林 541002)
发表年份	2013
发表月份	1期(74—87)
文章摘要	摘要 软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据，针对问题框架方法，提出了5种与问题相关的可靠性关注点，并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程中，通过扩展问题的边界和精化机器的规格说明，为增强系统的可靠性提供支持.文中还展示了作者开发的一个支持系统可靠性分析的支撑工具，用于帮助需求分析者识别问题的可靠性需求，并正确地使用可靠性增强模式.最后，文章结合一个银行账户管理问题的案例展示了文中工作的可行性. 关键词 系统可靠性；问题框架方法；可靠性关注点；可靠性增强模式 中图法分类号 TP311 DOI号：10.3724/SP.J.1016.2013.00074