Den formelle undersøgelse af funktionelle egenskaber fra testdata for en hardware/software konfigurationselement, før accept, at kontrollere at varen har opnået den ydeevne, der er angivet i dets funktionelle eller tildelt krav. (2) En revision af funktionelle egenskaber testdata for et konfigurationselement inden accept, at kontrollere at varen har opnået den ydeevne, der er angivet i dets funktionelle eller tildelt konfigurations-id.