Belirtilen koşullar altında gerçek davranışı yazılım belgelerinde açıklanan gerekli davranış ile karşılaştırarak ölçülecek yazılım özellikleri tanımlanmış bir dizi.