Considere a seguinte classe 

public class Exemplo {
private int x, y, z;
public Exemplo(int x, int y, int z) { ... }
public setX(int x) { ... }
public setY(int y) { ... }
public setZ(int z) { ... }
public incX() { ... }
public decX() { ... }
public int getX();
public int getY();
public int getZ();
public int maior(); // devolve o maior dos três números
}

e suponha que existem os seguintes invariantes de classe: −10 < x ≤ 40 ∧ y ≥ 30 ∧ z ≤ 50. Desenhe os casos de teste para testar esta classe ao nível da classe.