什么是可信軟件
什么是可信軟件
可信就是一個實體在實現給定目標時,其行為與結果總是可以預期的,如果軟件服務總是與用戶的預期相符,即使在運行過程中出現一些特殊情況,這樣的軟件就是可信軟件。特殊情況包括。1、硬件環境發生故障。2、低層軟件出現錯誤。3、其它軟件對其產生影響。4、出現有意、無意的錯誤操作。保障軟件可信性的幾個關鍵點。
導讀可信就是一個實體在實現給定目標時,其行為與結果總是可以預期的,如果軟件服務總是與用戶的預期相符,即使在運行過程中出現一些特殊情況,這樣的軟件就是可信軟件。特殊情況包括。1、硬件環境發生故障。2、低層軟件出現錯誤。3、其它軟件對其產生影響。4、出現有意、無意的錯誤操作。保障軟件可信性的幾個關鍵點。

可信就是一個實體在實現給定目標時,其行為與結果總是可以預期的,如果軟件服務總是與用戶的預期相符,即使在運行過程中出現一些特殊情況,這樣的軟件就是可信軟件。
特殊情況包括:
1、硬件環境發生故障;
2、低層軟件出現錯誤;
3、其它軟件對其產生影響;
4、出現有意、無意的錯誤操作。
保障軟件可信性的幾個關鍵點:
1、如何正向得到缺陷少的軟件制品;
2、如何在不同階段反向發現制品中的缺陷;
3、如何
什么是可信軟件
可信就是一個實體在實現給定目標時,其行為與結果總是可以預期的,如果軟件服務總是與用戶的預期相符,即使在運行過程中出現一些特殊情況,這樣的軟件就是可信軟件。特殊情況包括。1、硬件環境發生故障。2、低層軟件出現錯誤。3、其它軟件對其產生影響。4、出現有意、無意的錯誤操作。保障軟件可信性的幾個關鍵點。
為你推薦