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

????????????????????????????????????????????о????????Ρ????????????????????????????????????????????????????????????????????????????????????????????????????????????????
????12.4.1 ??????????
????????????????????????“С?????”????????????“???????”????????????????????С?????????????????????з??????????????????????????????????????????????????????3???
????1. ???????
?????????????????????????????????????????????????????account(????????????в????? open(??????setup(????????deposit(?????withdraw(?????balance(?????summarize(?嵥????creditLimit(???????close(????????????????????????????account????????????????????????????????????????Щ????????磬?????????????????????????????????????????????????????????????Щ?????????????????????????з????????account???????С?????????????в?????
????open·setup·deposit·withdraw·close
?????????account???С???????С??????????????????п??????????????????
????open·setup·deposit·??deposit|withdraw|balance|summarize|creditLimit??n·withdraw·close
?????????????п??????????????в??????????У????磺
????????????#r1:open·setup·deposit·deposit·balance·summarize·withdraw·close
????????????#r2:open·setup·deposit·withdraw·deposit·balance·creditLimit·
????withdraw·close
?????????????Щ???????Щ???????????????????????????????????????????
????2. ???????
???????????????????????????????????????????partition testing?????????????????????????????????????????????????????????????????????????????????????????????????????????????
??????1?? ???????????
??????????????????????????????????????????????????ο???account????????????deposit??withdraw??????????????balance?? summarize??creditLimit????????????????????????????????????????????????磬????????????????????μ??????????
????????????#p1:open·setup·deposit·deposit·withdraw·withdraw·close
????????????#p2:open·setup·deposit·summarize·creditLimit·withdraw·close
????????????#P1?????????????????#P2???????????????????С?????????е??????????
??????2?? ????????????
?????????????????????????????????????????????account??????????????????balance?????廮????????????????3?????
????. ???balance???????
????. ???balance???????
????. ???????????balance???????
???????????????????????С?
??????3?? ???????????
?????????????????????????????????????????????磬?????account???е????????????????????open??setup?????????????deposit?? withdraw?????????????balance?? summarize??creditLimit?????????????close???????????????????????С?
????3. ???????????
????????????????fault based testing????????????????????????????????п????е????????????????????Щ?????????????????磬????????????????????紦???????????????SQRT????????????????????ò?????????????????????????????????????????????? ???????????????????????“????”??????????????????′???
?????????if(x>=0)calculate_square_root( );
??????д??if(x>0)calculate_square_root( );
???????????????п????е???????????о?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????Ч????????????????????Ч???á?
????12.4.2 ??????????
???????????????????????????????????????????????????????Σ?????????Э?????в?????????????????????????????????????????12.4.1С????????????????????????????12.3????????Э??????м???????????????????????????????????????????????????Э??????????????????
?????????????????????????Э??????????????????????????????????????????????????????????ɡ?
????1. ???????
????Kirani??Tsai??????????в??裬????????????????????????
????. ?????????????????????б?????????????????????С???Щ?????????????????????????
????. ????????????????????Э?????????????????е???????????
????. ????????????е???????????????????????????????????????????????????
????. ????????????????????????????????????Щ???????????????????С?
????. ??????????????????????????????????????????????Bank???????ATM?????12.3??????????У?
????verifyAcct·verifyPIN·???verifyPolicy·withdrawReq??|depositReq|acctInfoREQ??n
??????Bank?????????????????????
????????????#r3:verifyAcct·verifyPIN·depositReq
??????????????????????????漰??Э?????????????????????#r3?е????????????????????Bank?????ValidationInfoЭ???????verifyAcct??verifyPIN??Bank???????AccountЭ???????depositReq??????????????????Э?????2??????????
????????????#r4:verifyAcctBank·??validAcctValidationInfo??·verifyPINBank·??validPINvalidationInfo??·depositReq·??depositaccount??
????????????????????????????????????????????12.4.1??????????????????????????????????????????????Щ????????Э????????????????????????????????????????????????????????????????????12.3?????Bank?????????ATM???Cashier?????????????????????Bank???е??????????????ATM????????Cashier??????????????????????????????????????12.4.1???????????????????

?12.3 ??????????-Э???