-
题名软件可靠性与安全性的区别分析及其证明
被引量：5
- 1
-
-
作者
樊林波
吴映程
赵明
代碧锋
-
机构
贵州大学贵州省可靠性工程研究中心
遵义师范学院计算机科学系
瑞典耶夫勒大学技术系
西南大学新闻文化中心
-
出处
《计算机科学》
CSCD
北大核心
2008年第9期285-288,共4页
-
基金
国家自然科学基金项目(60473054)
-
文摘
可靠性和安全性是软件质量中的重要属性[1,2]。虽然文献[3-7],都从不同的角度给出了二者之间的区别和联系,但对这两者之间关系的认识是不一致的。在实践中,如何区分二者的关系还停留在一般性的描述上,没有统一的认识。本文从它们的基本概念着手,重新对二者的基本概念进行抽象描述,进行本质探析后给出二者之间的区别和联系,并对得出的结论给予了证明。
-
关键词
软件可靠性
软件安全性
形式化描述
可靠性与安全性的关系
-
Keywords
Software reliability, Software safety,Formal method, Relationship between reliability and safety
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
