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

????????????????????????????????????????????????????￡????????????????????????????TDD??Test-Driven Development????????????????????????????????????????????????????????????????????????Щ????????????????????????飬?? ????????????????????????????????Щ???????????????????????????????????????????????????
??????????У????????Щ?????????????????????????????д???????????????????????????????????????????ж??????????????????????
??????????????????????????????????
???????????????????????????????????????????????????????κ????????????????????????????д?????????????????????????е? ??????????????????д?????????????????????????????????????????????????????????????????????п????????????е???????????? ????????Щ????????????????????????????????????????????
?????????????????????????????????????????????????????????????????bug????????????????????????????????????????? ??Щbug???????????????????????????о????????????????????????????????????????????????????????????п?????????????????????? ??????????????????????????????????????????????
?????????????????????????μ????????????????????????￡???????????????????????????????????????????Щ????????????????? ????????д?????????????Щ??????????????????????????????????????????????????????Щ?????????????α?д????????????? ?￡???????????????????????????????????????
????????????????Щ???????????????????????????bug???????д???????д??????????????????????????????????????????????????д???????????????????????????????????????????????????????????????????????з??μ?С????
????????????????????????????????????????????????????????????????????????????????????????????д?????????????μ????д?????????????????????????????????????????????????????????????????
???????????????????е????????
???????????????????????????????????????????????????????????????壺
???????????????綨???????????????????????
?????????????????????????????????????????????????????????????綨????????????????????????????????????????????????????????????????????????????????????????????飬????????????????
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????棬?????????????????????????????????????????????????
?????????????????????δ??????????顣?????????????????????????????????????????????????????????????????????????г????Щì?????????????????????г?????ì???
????????????????????QuickCheck???????д??????????÷????????????????????????????????????????????????????????????ò????????????е???????????????????????????????????顣
??????????????????????????????????
??????????????????????????????????????и????????????????????????????????????????????д????????????????????????? ?????????????Щ?????????????????Щ?????????????????????????????????????????Щ????д??????????????????ζ?????????? ?????????????????????Щ????????????????????д?????????????????????д??????????????????????????????????μ??????????????? ????????????ж?????Щ????????????????????????Щ????????????
????????????????????????????????д???????????????????????????????????????Щ??????????????????????????????????? ????????????????????ж????????????????????????????????????????????????С???????????????????????????????????????????? ??????????????????????????????????????????????κ??????????
???????????????????????????????????????ò????????????????????????????????????????????????????д???д??????????????????????????????????????????????????Щ???????????????????й???mock?????stub?????????????????????
?????????????????????????????
?????????????????????????????????????????????????????????????????????????????????е????????????????????????? ???????????ν??????????????????????????????????????????????????ν??????????????Щ?????ζ????д???????????????￡? ?????????ú?????????????д??Щ????????????????????????????????????????????????????????????????????????????ζ?????????? ?????
???????????д?????
????????????????д??????????????????????????????????????????????м?????????????????????????????????????????????????????????????????????????????????????????ò????????????*????*????????????
???????????????????????????????????????????????????????????ɡ??????????????????????????????????????????????????????????????????????Э??
????????????
????Liam O'Connor???????Google?????ν???????????????????????????NICTA??l4.verified??????????????????????????????????????NICTA?????????ICT??Information and Communications Technology????????????????о???????
????????????
??????????????????????????????No silver bullet????????????????????а????????鵤???????????????????????????ū?????????Ч??????????????????????????
???????????????????Ч?????????????????????????????????????????????????????????????????????????????????????????????????????????????????TDD???????