Nos ayudará a definir claramente el contrato del subprograma y a detectar problemas lo antes posible.