什么是可信软件

　　可信就是一个实体在实现给定目标时，其行为与结果总是可以预期的，如果软件服务总是与用户的预期相符，即使在运行过程中出现一些特殊情况，这样的软件就是可信软件。

　　特殊情况包括：

　　1、硬件环境发生故障；

　　2、低层软件出现错误；

　　3、其它软件对其产生影响；

　　4、出现有意、无意的错误操作。

　　保障软件可信性的几个关键点：

　　1、如何正向得到缺陷少的软件制品；

　　2、如何在不同阶段反向发现制品中的缺陷；

　　3、如何