specifications - Caltech

Integration• True or false?If each module in a system implements its abstraction correctly by using otherscorrectly, then the whole system will be correct.• False! Counterexample:/* Returns true if n is even, false if n is odd. */public static boolean isEven(int n) {return isOdd(n-1);}/* Returns true if n is odd, false if n is even. */public static boolean isOdd(int n) {return isEven(n+1);}• Example of integration error.– For each of these, true that it works if the other does.– But taken together, they don’t make a working system.36