Las propiedades como brújula: programación precisa
La niebla se espesa sobre la línea «def max(a: Int, b: Int): Int». ¿Qué hace? Devuelve el mayor de dos números, pero ¿cómo comprobarlo? Se pueden escribir una docena de pruebas con pares concretos: max(2,3)=3, max(5,5)=5, max(-1,0)=0. Y aun así queda la inquietud: ¿y si para algún millón y menos un millón falla?
