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

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