test creat stereotyp test valid stereo type check uml model helper valid stereo type model state machin factori test state machin factori testabl model element 