什么是可信软件？ 什么是可信软件基

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

特殊情况包括：

1.硬件环境失效；

2.底层软件有错误；

3.其他软件影响它；

4.出现有意或无意的误操作。

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

1.如何获得缺陷较少的软件产品；

2.如何在不同阶段逆向发现产品中的缺陷；

3.怎么会？