文献类型：期刊文章

作　　者：樊林波[1,2] 吴映程[1] 赵明[1,3] 代碧锋[4]

机构地区：[1]贵州大学贵州省可靠性工程研究中心,贵阳550001 [2]遵义师范学院计算机科学系,遵义563002 [3]瑞典耶夫勒大学技术系 [4]西南大学新闻文化中心,重庆400715

出　　处：《计算机科学》

基　　金：国家自然科学基金项目(60473054)

年　　份：2008

卷　　号：35

期　　号：9

起止页码：285-288

语　　种：中文

收录情况：BDHX、BDHX2004、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘　　要：可靠性和安全性是软件质量中的重要属性[1,2]。虽然文献[3-7],都从不同的角度给出了二者之间的区别和联系,但对这两者之间关系的认识是不一致的。在实践中,如何区分二者的关系还停留在一般性的描述上,没有统一的认识。本文从它们的基本概念着手,重新对二者的基本概念进行抽象描述,进行本质探析后给出二者之间的区别和联系,并对得出的结论给予了证明。

关 键 词：软件可靠性  软件安全性  形式化描述 可靠性与安全性的关系  

分 类 号：TP311.5] TP311.13[计算机类]