#軟件構造 健壯性與正確性

健壯性 健壯性：系統在不 正常輸入或不正常外部環境下仍能夠表現正常的程度 面向健壯性的編程： 處理未期望的行爲和錯誤終止 即使終止執行，也要準確/無歧義的向用戶展示全面的錯誤信息 錯誤信息有助於進行debug 健壯性法則 (Postel’s 準則) 對自己的代碼要保守，對用戶的行爲要開放 封閉實現細節，限定 用戶的惡意行爲 考慮極端情況，沒有「不可能」 正確性 正確性：程序按照spec加以執行的能

>>阅读原文<<