Egy meghatározott készlet-ból szoftver funkciók összehasonlítása a tényleges viselkedését a szükséges viselkedés, a software dokumentációban leírtak meghatározott feltételek mellett kell mérni.