Unit Test

01 Ba luật của TDD

Phát triển hướng-test (Test-Driven Development) xoay quanh một chu kỳ rất ngắn — chỉ khoảng 30 giây: viết một mẩu test fail, làm nó pass, lặp lại. Ba luật ràng buộc chu kỳ đó:

02 Giữ cho test luôn sạch

Một quan niệm sai lầm phổ biến: test là "code hạng hai", viết cho nhanh, đầy chi tiết rối rắm cũng chẳng sao. Martin phản bác gay gắt — và đưa ra một kết luận đắt giá:

RAG  Test cho chunker nếu viết cẩu thả sẽ thành mớ chi tiết không ai dám động vào. Test code đòi hỏi tư duy, thiết kế và chăm sóc ngang với production code:

def test_chunk():
    # mớ chi tiết lặp, magic number, khó đọc/khó sửa
    d = Document(id=1, text="a"*801, lang="vi", meta={"src":"x"})
    cs = Chunker(800, 0, True, False).run(d.text, d.lang, d.meta)
    assert cs[0][0:800] == "a"*800
    assert len(cs[1]) == 1 and cs[1] == "a"

def test_chunk_splits_at_size_limit():
    chunks = chunk_text("a" * 801, size=800)   # ý định rõ ngay tên
    assert sizes_of(chunks) == [800, 1]

03 Test "mở khóa" các -ilities

Vì sao test code lại quan trọng đến thế? Vì nó chính là thứ giữ cho production code đổi được mà không sợ. Không có test, mọi thay đổi đều là một canh bạc.

04 Test sạch · BUILD-OPERATE-CHECK & DSL

Khuôn mẫu BUILD–OPERATE–CHECK

Mỗi test sạch chia làm ba phần rõ rệt, đọc như ba nhịp của một câu chuyện:

Ngôn ngữ test riêng (Domain-Specific Testing Language)

RAG  Đừng để test đọc như một mớ lời gọi API lộn xộn. Hãy xây dần một tập hàm tiện ích riêng để test đọc như một câu chuyện về ý định — đúng tinh thần Martin rút từ ví dụ FitNesse (Listing 9-1 đầy chi tiết PathParser/API → Listing 9-2 dùng makePages/submitRequest/assertResponseIsXML):

def test_retriever_returns_relevant():
    # đầy chi tiết API gây nhiễu, lặp ở mọi test
    store = FaissStore(dim=384, metric="cosine")
    store.add(embed_batch(["paris is capital of france"]))
    q = embed_batch(["capital of france"])[0]
    res = store.search(q, k=3, nprobe=8, ef=64)
    assert res[0].id == 0 and res[0].score > 0.7

def test_retriever_returns_relevant():
    given_documents("paris is capital of france")   # BUILD
    hits = retrieve("capital of france")             # OPERATE
    assert_top_hit_is(hits, "paris is capital of france")  # CHECK
# given_documents / retrieve / assert_top_hit_is = DSL test

05 Một khái niệm mỗi test

Một hướng dẫn tốt: một assert mỗi test — test nhanh đưa ra một kết luận duy nhất, dễ hiểu. Nhưng nguyên tắc quan trọng hơn là:

RAG  Một test ôm đồm "kiểm luôn cả chunker" sẽ trộn nhiều khái niệm — tách thành các test một-khái-niệm:

def test_chunker():
    # ba khái niệm chen trong một test → fail là phải dò
    assert chunk_text("", size=800) == []            # rỗng
    cs = chunk_text("a"*801, size=800)
    assert sizes_of(cs) == [800, 1]                   # cắt theo size
    cs = chunk_text("a"*900, size=800, overlap=100)
    assert cs[1].startswith(cs[0][-100:])             # overlap

def test_empty_text_yields_no_chunks():
    assert chunk_text("", size=800) == []

def test_splits_at_size_limit():
    assert sizes_of(chunk_text("a"*801, size=800)) == [800, 1]

def test_chunks_overlap_by_configured_amount():
    cs = chunk_text("a"*900, size=800, overlap=100)
    assert cs[1].startswith(cs[0][-100:])

06 Năm chữ F.I.R.S.T

Test sạch tuân theo năm tính chất, gọi tắt là F.I.R.S.T — mỗi chữ một điều kiện:

07 Ghi nhớ nhanh