计算机科学 ›› 2008, Vol. 35 ›› Issue (9): 285-288.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 可靠性和安全性是软件质量中的重要属性。虽然文献[3—7]，都从不同的角度给出了二者之间的区别和联系，但对这两者之间关系的认识是不一致的。在实践中，如何区分二者的关系还停留在一般性的描述上，没有统一的认识。本文从它们的基本概念着手，重新对二者的基本概念进行抽象描述，进行本质探析后给出二者之间的区别和联系，并对得出的结论给予了证明。
关键词: 软件可靠性 软件安全性 形式化描述 可靠性与安全性的关系
Abstract: Reliability and safety are the most important measures in software quality. Although[3-7] propose the differences and relationship between them in different views, there has clearly been the inconsistence about the cognitions on the their relationship. In
Key words: Software reliability, Software safety,Formal method, Relationship between reliability and safety
. 软件可靠性与安全性的区别分析及其证明[J]. 计算机科学, 2008, 35(9): 285-288. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I9/285
Cited
首页