Les proves que té en compte el mecanisme intern d'un sistema o component. Tipus inclouen branca proves, proves de camí, declaració de proves.