什麼是可信軟體

可信就是一個實體在實現給定目標時，其行為與結果總是可以預期的，如果軟體服務總是與使用者的預期相符，即使在執行過程中出現一些特殊情況，這樣的軟體就是可信軟體。

特殊情況包括：

1、硬體環境發生故障；

2、低層軟體出現錯誤；

3、其它軟體對其產生影響；

4、出現有意、無意的錯誤操作。

保障軟體可信性的幾個關鍵點：

1、如何正向得到缺陷少的軟體製品；

2、如何在不同階段反向發現製品中的缺陷；

3、如何