specification

你的模組有三層。你可能只寫了一層。

Box Structure 強制你將模組的行為、記憶的狀態和實作方式定義為三個獨立且可驗證的層。以下是 Cleanroom 如何利用它們消除除錯。

你先寫程式碼，再寫測試，然後發現程式碼是錯的。這是標準循環。也是為什麼除錯會消耗大多數專案時間線的一半。 Box Structure 把這個過程反轉。你在寫程式碼之前就定義行為，用數學方式驗證這個定義，然後一層一層翻譯成程式碼。結果是「構造即正確」的模組，而不是「測試碰巧通過所以正確」。…