El uso de comandos guardados facilita la comprobación de que el programa cumple la especificación.