È possibile utilizzare le procedure guidate per la verifica componenti per creare diversi tipi di verifiche dei componenti Java, incluse le verifiche dei metodi individuali, le verifiche dello scenario e le verifiche delle classi astratte, le interfacce e le superclassi. È possibile inoltre utilizzare le procedure guidate per creare gli stub delle classi che interagiscono con il componente sottoposto a verifica.