Considere o seguinte método

       int doSomething(int a, int b, String str, Integer vec)

que tem as seguintes restrições relativamente aos valores válidos das variáveis de entrada:

a > 0 ∧ b > 2 ∧ a < 10 − b ∧ str! = null ∧ str.length() >= 2 ∧ vec.intValue() > 15. 

Utilizando Análise de Domínio, indique os casos de teste que verificam a correcta concretização do domínio para este método.