Consiste en comprobar que el "software" realice correctamente las tareas indicadas en la especificación del problema.