问题框架方法的可靠性关注点及系统可靠性增强模式-计算机学报.PDFVIP

第卷第期 计 算 机 学 报 ３６ １ 　 　　　　　　　　 Ｖｏｌ．３６Ｎｏ．１ 年月 ２０１３１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｊａｎ．２０１３ 　 问题框架方法的可靠性关注点及系统可靠性增强模式 ），） ），），） ），） １２ １３４ ３５ 尹斌 金芝 李智 　　 　　 ） １（中国科学院数学与系统科学研究院北京 ） １００１９０ 　 　 ） ２（中国科学院研究生院北京 ） １０００４９ 　 　 ） ３（高可信软件技术教育部重点实验室（北京大学）北京 ） １００８７１ 　 　 ） ４（北京大学信息科学技术学院软件研究所北京 ） １００８７１ 　 　 ） ５（广西师范大学计算机科学与信息技术学院广西桂林 ） ５４１００２ 　 　 摘要软件系统可靠性是软件工程领域的一个热点研究问题文中以系统可靠性指标为依据，针对问题框架方 ． 　　 法，提出了种与问题相关的可靠性关注点，并设计了相应的系统可靠性增强模式这些可靠性增强模式将系统可 ５ ． 靠性需求显式地引入问题的分析过程中，通过扩展问题的边界和精化机器的规格说明，为增强系统的可靠性提供 ， 支持文中还展示了作者开发的一个支持系统可靠性分析的支撑工具用于帮助需求分析者识别问题的可靠性需 ． 求，并正确地使用可靠性增强模式最后，文章结合一个银行账户管理问题的案例展示了文中工作的可行性 ． ． 关键词系统可靠性；问题框架方法；可靠性关注点；可靠性增强模式 　 中图法分类号