Si un método, por ejemplo, necesita un número mayor que como parámetro, debería realizarse la comprobación de los valores negativos usando para ello técnicas de programación de diseño por contrato como las precondiciones o las aserciones como se ha descrito en la sección anterior.