Design by Contract本是Bertrand Meyer（Eiffel語言的創始人）開發的一種設計技術。我發現在JUnit中使用Design by Contract會帶來意想不到的效果。Design by Contract的核心是斷言（assersion）。斷言是一個布爾語句，該語句不能為假，如果為假，則表明出現了一個bug。Design by Contract使用三種斷言：前置條件（pre-conditions）、后置條件（post-conditions）和不變式（invariants）這里不打算詳細討論Design by Contract的細節，而是希望其在測試中能發揮其作用。
前置條件在執行測試之前可以用于判斷是否允許進入測試，即進入測試的條件。如 expectedWheels > 0, myCar != null。后置條件用于在測試執行后判斷測試的結果是否正確。如 expectedWheels==myCar.getWheels()。而不變式在判斷交易(Transaction)的一致性（consistency）方面尤為有用。我希望JUnit可以將Design by Contract作為未來版本的一個增強。
4.Refactoring（這句話我依然沒法翻譯）
Refactoring本來與測試沒有直接的聯系，而是與軟件熵有關，但既然我們說測試能解決軟件熵問題，我們也就必須說出解決之道。（僅僅進行測試只能發現軟件熵，Refactoring則可解決軟件熵帶來的問題。）軟件熵引出了一個問題：是否需要重新設計整個軟件的結構？理論上應該如此，但現實不允許我們這么做。這或者是由于時間的原因，或者是由于費用的原因。重新設計整個軟件的結構會給我們帶來短期的痛苦。而不停地給軟件打補丁甚至是補丁的補丁則會給我們帶來長期的痛苦。（不管怎樣，我們總處于水深火熱之中）
Refactoring是一個術語，用于描述一種技術，利用這種技術我們可以免于重構整個軟件所帶來的短期痛苦。當你refactor時，你并不改變程序的功能，而是改變程序內部的結構，使其更易理解和使用。如：該變一個方法的名字，將一個成員變量從一個類移到另一個類，將兩個類似方法抽象到父類中。所作的每一個步都很小，然而1－2個小時的Refactoring工作可以使你的程序結構更適合目前的情況。Refactoring有一些規則：
1> 不要在加入新功能的同時refactor已有的代碼。在這兩者間要有一個清晰的界限。如每天早上1-2個小時的Refactoring，其余時間添加新的功能。
2> 在你開始Refactoring前，和Refactoring后都要保證測試能順利通過。否則Refactoring沒有任何意義。
3> 進行小的Refactoring，大的就不是Refactoring了。如果你打算重構整個軟件，就沒有必要Refactoring了。
只有在添加新功能和調試bug時才又必要Refactoring。不要等到交付軟件的最后關頭才Refactoring。那樣和打補丁的區別不大。Refactoring 用在回歸測試中也能顯示其威力。要明白，我不反對打補丁，但要記住打補丁是應該最后使用的必殺絕招。（打補丁也需要很高的技術，詳情參看網站）
5.IDE對JUnit的支持
目前支持JUnit的Java IDE 包括
IDE | 方式 | 個人評價（1－5，滿分5） |
| plug-in | 3 | |
| integrated with IDE | 4 | |
| support | N/A |
在IDE中如何使用JUnit,是非常具體的事情。不同的IDE有不同的使用方法。一旦理解了JUnit的本質，使用起來就十分容易了。所以我們不依賴于具體的IDE，而是集中精力講述如何利用JUnit編寫單元測試代碼。心急的人可參看。
文章來源于領測軟件測試網 http://www.kjueaiud.com/
