??????????DBT??page-model?????????????????????????μ??????????????????

????????????mapping??????????????????μ????????

??????MBT??????FSM????web service??????????

??????????MBT????web service??????У?????????????????

??????????????Web ???????????????????

????????????????????????????????????

????????FSM????????????????????????????

????????FSM???????????????????Web?????????????

???????????FSM??FSM?????????(S??S0??δ??λ??I??O)?????У?

????S ???????????;

????S0∈S???????;

????δ??S×I×O->S??????????;

????λ: ?????????;

????I ??????????;

????O ?????????;

???????? Q={q0??q1??q2??q3??a4……}

???????? I={userinfo?? continue_operate?? buy?? finish}

????????? O={Verifi_ACC??Invalid_ACC??showinfo??showresults??showboughtlist}

????????? R={userinfo/Verifi_ACC??userinfo/Invalid_ACC??continue_operate/showinfo??buy/showresults??finish/showboughtlist}

??????????

????q0 = userinfo/Verifi_ACC × hasitem -> q1

????q0 = userinfo/Verifi_ACC × noitem -> q2

????q0 = userinfo/Invalid_ACC × true -> q3

????q1 = continue_operate/showinfo × true -> q4

????q2 = continue_operate/showinfo × true -> q5

????……

??????????????????????????????????????????????????????????????????web service???????????????????????

??????MBT????web ui??????????????????????Jason???????????

??????????????????????????????2.0??????????????

??????????????????????????????д????????????????????????????????jason?????????????????????????????(MBT)????????????????????μ?memory.

????model?????????????????????????? NModel??JunitModel??PyModel????????????????MBT???????

??????????JunitModel??JunitModel????????????FSM??????????????????????????????case?????????С?

??????????????????HtmlUnit????JunitModel????????web????????????

??????????HtmlUnit?? UI?????????????????????????滯??????????????JunitModel????