合同設計：我們可以用合同來表達Stack FILO的財產嗎？

看來，合同的設計對錶達規格有限制。例如，我試圖用合同來表達Stack FILO的財產，但沒有想到。任何人都可以幫忙？合同設計：我們可以用合同來表達Stack FILO的財產嗎？

我認爲，根本原因是前提條件/後置/不變的是沒有副作用assertations。它導致檢查FILO屬性，這是一種副作用，即使可能也不容易。

來源

2010-11-11 Dagang

確實，按合同設計的功能有限。他們不是萬能的。因爲如果他們那時IT行業會拋出單元測試，代碼審查等。

我建議你爲這種情況編寫簡單的單元測試，而不是通過執行契約來破解你的頭（甚至可能無法實現）。

來源

2010-11-11 08:23:43

「因爲如果他們是...」推理似乎是一個很好的解釋，說明我們爲什麼當我們想要去的地方仍然都騎着馬。哦，等等，我們不是。 – 2010-11-13 23:27:53

我一直忘記在StackOverflow上嘲諷sarcasm，所以這裏是非諷刺的版本：您正在調用Visual Studio中首次提供的功能「如果它真的更好，每個人都已經在做它」參數我們在2010年。代碼合同可能不令人滿意的原因有很多。在你的答案中援引的元推理不是一個。 – 2010-11-13 23:31:27

「該術語由Bertrand Meyer在他設計的Eiffel編程語言中創造，並在1986年開始的各種文章[2] [3] [4]和他的兩本連續版本（1988，1997）中首次描述面向對象的軟件構建「。 – 2010-11-14 14:50:04

合同設計：我們可以用合同來表達Stack FILO的財產嗎？

回答

相關問題