Ada literatur besar tentang "pengujian properti" - masalah membuat sejumlah kecil permintaan kotak hitam ke fungsi untuk membedakan antara dua kasus:
adalah anggota dari beberapa kelas fungsi
adalah -far dari setiap fungsi di kelas .
Rentang fungsi kadang-kadang Boolean: , tetapi tidak selalu.
Di sini, -far umumnya diartikan sebagai jarak Hamming: fraksi titik yang perlu diubah untuk menempatkan di kelas . Ini adalah metrik alami jika memiliki rentang Boolean, tetapi tampaknya kurang alami jika kisaran tersebut dikatakan bernilai nyata.
Pertanyaan saya: apakah ada untaian literatur pengujian properti yang menguji kedekatan dengan beberapa kelas sehubungan dengan metrik lainnya?