JUnit 4.4 三大新特性詳解：assertThat、Assumption 與 Theory

概覽

JUnit 4.4 (2007 年釋出) 引入三大核心功能，旨在更精準捕捉開發者意圖：

• 新斷言語法 assertThat（整合 Hamcrest Matcher）
• 假設機制 Assumption
• 理論機制 Theory

assertThat：更易讀、更靈活的斷言

傳統 assertEquals 等方法語意單一、語法呈「謂賓主」順序（如 assertEquals(3, x)），且錯誤訊息不易理解。assertThat 採「主謂賓」自然語序：

assertThat(x, is(3));

結合 Hamcrest Matcher 可表達複雜條件：

• anyOf(containsString("dev"), containsString("Works")) — 邏輯 OR
• allOf(greaterThan(8), lessThan(16)) — 邏輯 AND
• not(equalTo("dev")) — 否定
• 集合、數值、字串專用 Matcher 等

優勢：單一斷言取代所有舊 API、錯誤訊息自動具描述性（如 Expected: (a string containing "dev" or ...)）、支援自訂 Matcher 復用邏輯。

Assumption：跳過非本意的測試失敗

測試環境差異（如 Locale、缺少資源）導致測試失敗卻非測試本意。assumeThat 讓測試在前置條件不滿足時「靜默通過」並跳過後續斷言：

@Test
public void testAssumptions() {
    assumeThat(i, is(10)); // 不滿足則直接跳出此測試方法
    System.out.println("assumption is true!");
}

應用場景：長時間測試僅在特定環境變數下執行、依賴外部服務的測試。

Theory：以參數化陳述取代大量測試案例

TDD 單一測試案例難以覆蓋無限輸入組合。Theory 讓開發者以「理論」陳述普遍行為，搭配 @DataPoint 提供資料集，JUnit 自動產生所有參數組合：

@RunWith(Theories.class)
public class TheoryTest {
    @DataPoint public static String YEAR_2007 = "2007";
    @DataPoint public static String NAME1 = "developer";

    @Theory
    public void testNames(String year, String name) {
        assumeThat(year, is("2007")); // 過濾資料
        assertThat(year, is("2007"));
    }
}

結合 Assumption 可精準控制實際執行的資料子集。自動化工具可進一步擴大資料點發現邊界錯誤。

結語

JUnit 4.4 讓測試代碼更簡潔、表達力更強、維護成本更低，建議遷移既有專案並善用三大新特性。