????????????????????????
???????????? ???????[ 2012/10/17 10:27:26 ] ????????
??????????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????
??????
???·???
??????????????????
2023/3/23 14:23:39???д?ò??????????
2023/3/22 16:17:39????????????????????Щ??
2022/6/14 16:14:27??????????????????????????
2021/10/18 15:37:44???????????????
2021/9/17 15:19:29???·???????·
2021/9/14 15:42:25?????????????
2021/5/28 17:25:47??????APP??????????
2021/5/8 17:01:11