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

????????2?ErrorGuessing??
??????в????White-BoxTesting??
??????串??
?????????????????????????????????е????
????intfoo(intx??inty)
????{
????returnx/y;
????}
??????????????x=10??y=5.
????????????????????????????????????????????в????????????????????????????з??????bug?????磬??y=0???????????????????
?????ж?????
????????????????д?????????????????????ж????????????“??”???“??”??????????????????????????????Ρ????仰?????????ж????????“??”??“??”??????????????????????????????Ρ?
????????????
??????????????????￡????д??????????????????????ж??е?????????????п???????????????Σ?????????????????????????Ρ?
?????ж?/????????
??????????ж??е?????????????п???????????????Σ???????ж??????????????п???????????????Σ???????ж?????п???????????????Σ???????????????????Ρ?
????????????????
?????????????д????????????????????ж??е????п?????????????????????????????????????Ρ?
???????е??????“??”??“??”???????Щ????????????????λ??譚???????????ж???????????????“??”???????и??????“??”?????????????????е??????????

publicvoidfoo(inta??intb??intx)
{
if(a>1&&b==0)
{
x=x/a;
}
if(a==2||x>1)
{
x=x+1;
}
}
??????串???ace-A=2??B=0??X=3
?????ж??????acd??abe-A=3??B=0??X=3;A=2??B=1??X=1
?????????????abe-A=2??B=0??X=3;A=1??B=1??X=1
??????????????????????????????????8?????
????A>1??B=0
????A>1??B<>0
????A<=1??B=0
????A<=1??B<>0
????A=2??X>1
????A=2??X<=1
????A<>2??X>1
????A<>2??X<=1
????A=3??B=0??X=4
????A=2??B=1??X=1
????A=1??B=0??X=2
????A=1??B=1??X=1
????????????
????1.??????????а????????????????????????????????????????
????2.???κ???????????????????????????????????????е????
????3.???????????????Ч????Ч?????????????????????????????????в???
????4.??????2??????????????????
????5.????????????????????????????????????ж????????????????ж?/???????????????????????