test notat provid refus instanti show right uml element test valid object check state notat uml state fail notat provid did wrong uml element illeg argument except fine 