測試程式只能證明錯誤的存在, 無法證明程式的正確 - [Edsger W. Dijkstra] [語錄]