Proves dirigida per verificar la correcta implementació del disseny i el compliment dels requisits de programa per a un element de programari (p. ex. unitat, mòdul) o una col lecció d'elements de programari.