Eigenschappen van de software die van invloed zijn op de inspanning benodigd voor het vaststellen van de correctheid van gegevensverwerking op gewenste punten.