????????

????????????
????????????????????????????????????????????????????????????
?????? ??????
?????? ????????
?????? ????GUI??
?????? ???????в???
?????? ???????
??????????
?????????????????????????????????????????ж??????????????????bug????????????????????????????????????????????????????????????????
??????????????????????в??????????????????У??????????????′???????????κ???????????????л????????????????????Ч?????У?顣
????????????
?????????δ??????????????Щ????????????????????????????????????????????????????????????????????????????????????????????????????е???bug??
????????????????????????????????????????????????????????????????????????????????????????????????????ζ????????????????????п???????????????е????????
????????????????????????——????????????????????????????????κ???????п????????ú???????
??????????????????????????????κ??????????????????????????????????????????????????????????????????????????????????ж??????????Ρ?
????????????????????????????????Щ???????????????????????1999??2??29?????????Σ???????????????????????????????????
???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
????????GUI??
????????GUI???????????????????????????Щ????????????????鯰?/???????????????????д????????GUI????Щ?????????????????????
?????????????????????????????汾???????????????????????????????????????????????С?????????????????????????????????????????GUI??????????????Щ???????????????????????跨???????????仯??
??????????????????????鶼???????Andy??????????????????????????????????????????????????????????Ч?????????????????????У?????????????λ??????????????????н?????б?????????????????ζ???????????????????????Σ???????????????????????????????????????
??????д????????????????????????????黯?????????磬??????GUI??ε????????????????????????????????????????GUI??????????????в??????????????????????????????????????????????????????????λ???????????????????3????bug??bug?????????????????????????
???????????в???
?????????????????д?????????????????????????????д??????????????????????????????в????
?????????????????????????????????????????????????bug??????????????????????????????跨????????????
??????????д?????????????????????bug????????????bug?????????????????????????????????bug?????????????
???????
????Use Saboteurs to Test Your Testing ???“???????”??????????
???????????????????????棬????????????????????project saboteur????????????????????????????????????????bug???????????????????
???????д????????????????????????????
???????????
????????????????????????????????????????????bug??????????????????????????????????????
????????????“?????”?????????????????????г??????Щ????????????????Щ?????????coverage analysis????????????????м?????????????Щ????????й?????Щ??С???Щ??????????????????????????????????????????????????
????????????????????????д???????????????????????????????????????е?????????????????????С????磬?????????????????????????????????????????????????0??999??????
????int test(int a?? int b){
????return a < (a + b);
????}
???????????????????д?????????1??000??000?????????????999??999?????????????1????????a??b???0?????????????????????д?????????????????——???????????????п??????????????????????????????????????????????“???????????????????????????”????????
???????
????Test State Coverage??Not Code Coverage ??????????????????????
??????????????????????????????????????????о???????????????????????????????????????????????
??????????в???
??????????????????????????????——???????dead-line??????????????????????????????????????κβ????????????????????в????
??????????????????????ɡ?????????????????????????????ζ?????????????????????
????????????????????????в??????????????????????????????????
?????????????????????и??????????м???????????????
??????????Щ????????????????????????С????磬????????????????????????豸???????????????????Щ????????п??????????——????????????Σ?????????????????????У??????????????????????????????????????????У???????????????????б?????????
???????????
?????????????????????????????????????????????????????????????鶼????????????????????????????????????????????
?????????bug????????в?????????????????μ????????????????????
???????
????Find Bugs Once ???bug?????
??????????????????????bug???????????????????η??????bug???????????????????????????ζ????????????bug?????????????????飬?????????????????????”??????????????????”
?????????????η????????????????????????????????????????????????bug????????????仨???д?μ????——????μ?bug——???