健壯性與正確性

健壯性（robustness）與正確性（correctness）

健壯性（robustness）：表示系統在不正常輸入或不正常外部環境

下仍能夠表現正常的程度。當出錯後，會退出並提示資訊，或者容錯並轉為正常。乙個具有良好健壯性的軟體會讓使用者變得更容易，因為即使他們出錯也可以容忍，因為程式內部已經有容錯機制。對外部介面開放（傾向於健壯）。

正確性（correctness）：表示程式按照spec加以執行的能力，是最重要的質量指標當出錯後直接fail fast。乙個具有良好正確性的軟體會讓開發者變得容易，因為使用者輸入錯誤直接結束。對內邏輯保守（傾向於正確）。

軟體構造 6 1健壯性與正確性

健壯性 系統在不正常輸入或不正常外部環境下仍能夠表現正常的程度。面向健壯性的程式設計主要有以下特點 正確性 程式按照spec加以執行的能力，是最重要 的質量指標！正確性和健壯性相比較而言，正確性永不給使用者錯誤的結果，健壯性盡可能保持軟體執行而不是總是退出，兩者在一定程度上而言是存在矛盾的。正確性傾...

setsockopt 改善程式的健壯性

1.如果在已經處於 established狀態下的socket 一般由埠號和標誌符區分 呼叫closesocket 一般不會立即關閉而經歷time wait的過程 後想繼續重用該socket bool breuseaddr true setsockopt s，sol socket so reusea...

系統安全 軟體健壯性

最近一年，飛機失事的事情發生了好多起。於是乎，飛機是否是一種安全的出行工具的討論又再一次燃起了戰火。我無意對該話題展開討論，只是可以舉個例子說明一下。如果a城市一年出了10次搶劫事件，b城市一年出了1次殺人事件。那麼可能會有很多人覺得b城市相對更不安全。正是因為飛機失事一般會帶來非常嚴重的後果，所以...