软件可靠性与安全性的区别分析及其证明

Analysis and Proof of the Differences between Software Reliability and Safety

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

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 practice, there have been no consensus except for general descriptions. This paper provides an abstract description on the concepts, and then explores the differences between the reliability and safety. Based on the formal definition on the concepts, the relationship between the measures of software reliability and safety is theoretically proved in this paper.