Özellik tabanlı test (property-based testing)

Kısaca: Özellik tabanlı testte her zaman geçerli olması gereken özellikleri belirtirsiniz ve test aracı bunları çok sayıda rastgele girdiyle dener.

Biraz daha ayrıntılı: “sort([3,1,2]) [1,2,3] verir” yerine “sonuç sıralıdır ve girdiyle aynı öğelere sahiptir” denetlenir. Araç yüzlerce girdi üretir ve karşı örnekler arar.