Pruebas formales o informales realizan durante el desarrollo de un sistema o componente, generalmente en el entorno de desarrollo por el desarrollador.