Sebuah teknik untuk pengujian perangkat lunak komputer dengan menggunakan metode uji dan data uji untuk menunjukkan ada atau tidak adanya satu set kesalahan tertentu. Misalnya, untuk menunjukkan bahwa perangkat lunak benar menangani kesalahan membagi-dengan-nol, data pengujian akan mencakup nol.