Es centren en la implementació dels programes per escollir els casos de prova. L'ideal seria cercar casos de prova que recorrin tots els camins possibles del flux de control del programa. Aquestes se centren en l'estructura interna del programa tot analitzant els camins d'execució.

Proven la funcionalitat del programa per al qual es dissenyen casos de prova que comprovin les especificacions del programa.