CE Valides
|
CE Invalides
|
1<=
jour <=31 ET
1<=
mois <= 12 ET
année >= 0 (a1)
|
jour < 1 (b1)
|
jour > 31 (b2)
|
|
mois < 1 (b3)
|
|
mois > 12 (b4)
|
|
année
> 2012 (b5)
|
|
année
< 1812 (b6)
|
|
mois
€ {2,4,6,9,11}
=> 1<= jour <=30 (a2) |
mois € {2,4,6,9,11} ET
(jour<1 OU
jour>30) (b7)
|
(mois
= 2) ET (année non bissextile)
=> (jour <= 28) (a3) |
(mois = 2) ET
(année non bissextile) ET
(jour> 28) (b8)
|
(mois = 2) ET
(année bissextile)
=> (jour <= 29) (a4) |
(mois
= 2) ET (année bissextile) ET
(jour> 29) (b9)
|