Bisakah metodologi TDD diterapkan top-down?

Saya tidak jelas bagaimana TDD, metodologi, menangani kasus berikut. Misalkan saya ingin mengimplementasikan algoritma mergesort, dengan Python. Saya mulai dengan menulis

assert mergesort([]) === []

dan tes gagal dengan

NameError: nama 'mergesort' tidak didefinisikan

Saya kemudian menambahkan

def mergesort(a):
    return []

dan tes saya lolos. Selanjutnya saya tambahkan

assert mergesort[5] == 5

dan pengujian saya gagal dengan

AssertionError

yang saya buat lulus

def mergesort(a):
    if not a:
        return []
    else:
        return a

Selanjutnya, saya tambahkan

assert mergesort([10, 30, 20]) == [10, 20, 30]

dan saya sekarang harus mencoba untuk lulus ini. Saya "tahu" algoritma mergesort jadi saya menulis:

def mergesort(a):
    if not a:
        return []
    else:
        left, right = a[:len(a)//2], a[len(a)//2:]
        return merge(mergesort(left)), mergesort(right))

Dan ini gagal dengan

NameError: name 'merge' tidak didefinisikan

Sekarang inilah pertanyaannya. Bagaimana saya bisa lari dan mulai menerapkan mergemenggunakan TDD? Sepertinya saya tidak bisa karena saya mengalami "gagal" gagal, ujian gagal untuk mergesort, yang tidak akan berlalu sampai mergeselesai! Jika tes ini berlangsung, saya tidak akan pernah bisa melakukan TDD karena saya tidak akan menjadi "hijau" selama pembuatan iterasi TDD saya merge.

Sepertinya saya terjebak dengan tiga skenario buruk berikut, dan ingin tahu (1) yang mana yang disukai komunitas TDD, atau (2) apakah ada pendekatan lain yang saya lewatkan? Saya telah menyaksikan beberapa penelusuran TDD Paman Bob dan tidak ingat melihat kasus seperti ini sebelumnya!

Berikut adalah 3 kasus:

1. Terapkan penggabungan dalam direktori yang berbeda dengan rangkaian uji yang berbeda.
2. Jangan khawatir menjadi hijau saat mengembangkan fungsi helper, hanya melacak secara manual tes mana yang benar - benar ingin Anda lewati.
3. Mengomentari (GASP!) Atau menghapus saluran dalam mergesortpanggilan itu merge; lalu setelah mulai mergebekerja, masukkan kembali.

Ini semua tampak konyol bagi saya (atau saya melihat ini salah?). Adakah yang tahu pendekatan yang disukai?

Berikut adalah beberapa cara alternatif untuk melihat opsi Anda. Tapi pertama-tama, aturan TDD, dari Paman Bob dengan penekanan oleh saya:

1. Anda tidak diperbolehkan untuk menulis kode produksi apa pun kecuali untuk membuat lulus uji unit yang gagal.
2. Anda tidak diperbolehkan menulis lebih dari satu unit tes daripada yang cukup untuk gagal; dan kegagalan kompilasi adalah kegagalan.
3. Anda tidak diperbolehkan menulis kode produksi lebih dari cukup untuk lulus satu unit test gagal.

Jadi, satu cara untuk membaca aturan nomor 3 adalah bahwa Anda memerlukan mergefungsi untuk lulus tes, sehingga Anda dapat mengimplementasikannya - tetapi hanya dalam bentuk yang paling dasar.

Atau, secara bergantian, Anda mulai dengan menulis operasi gabungan inline, dan kemudian refactor menjadi fungsi setelah mendapatkan tes untuk bekerja.

Penafsiran lain adalah bahwa Anda menulis mergesort, Anda tahu bahwa Anda akan memerlukan mergeoperasi (yaitu, itu bukan YAGNI, yang merupakan apa yang berusaha dikurangi oleh aturan "cukup"). Oleh karena itu, Anda harus mulai dengan tes untuk penggabungan, dan baru kemudian melanjutkan ke tes untuk keseluruhan jenis.