Fish Wang says to YSITD 我發現了程式寫測試最大的局限，就是你只能確保用戶做出你預期的動作時，會得到預期的回應，要是用戶不是這樣用，就是完美的 undefined behavior 了