????public enum State {welcome?? register?? displayTickets?? terminal};

????public boolean loginEricOkGuard() {return loginGrd(); }

????@Action public void loginEricOk() { login(“ERIC”?? “ETO”); }

????public boolean loginGrd() {return state == State.welcome;}

????public void login(String userName?? String userPassword)

????{

????if (userName.equals(“”)) {

????message = “EMPTY_USERNAME”; /*@REQ: CIN_031 @*/

????}

????else if (userPassword.equals(“”)) {

????message = “EMPTY_PASSWORD”; /*@REQ: CIN_032 @*/

????}

????else if ( ! allUsers.containsKey(userName)) {

????message = “UNKNOWN_USER_NAME_PASSWORD”; /*@REQ: CIN_033 @*/

????}

????else {

????User user_found = allUsers.get(userName);

????if (user_found.password.equals(userPassword)) {

????currentUser = user_found;

????message = “WELCOME”; /*@REQ: CIN_030 @*/

????}

????else {

????message = “WRONG_PASSWORD”; /*@REQ: CIN_034 @*/

????}

????}

????}

????public Object getState()

????{

????}

????public void reset(boolean testing)

????{

????}

??????JunitModel?????annotation @Action ?????????????reset?case????reset????д?????????н???ж?????????????

???????????????????????Ч???????????????????????????????MBT???????????????????????????????????????????????????????