En identifierad uppsättning programfunktioner som skall mätas enligt angivna villkor genom att jämföra faktiska beteende med krävs problemet som beskrivs i dokumentationen till programvaran.