El concepto de prueba de software en programas.