Een vastgestelde aantal software voorzieningen onder bepaalde voorwaarden worden gemeten door het vergelijken van werkelijke gedrag met het vereiste gedrag beschreven in de softwaredocumentatie.