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

??????????????????????????????????в??????С??λ????????????????????????顣????????????????????????????(???)?????????????????????????????????????????????????????????????????????????????????????????????????????????????

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

??????????????汻?????????????????壬????????????????

?????????????????????????????е?????????

??????????????????????????????????????????????????????????????????????￡?

??????串??(StatementCoverage)???????и???(linEC)???θ???(segmentcoverage)??????鴝??(bAS)?????????????????????????е????icblockcoverageoverage

?????ж?????(DecisionCoverage)???????????????(branchcoverage)?????б?縲??(all-edgescoverage)??????·??????(basispathcoverage)???ж?·??????(decision-decision-path??DDPtesting)??????????????BOO????????true??false???????ж???????????

????????????(ConDI)???????????????????????????????????????????true??false????????????ж?????(decisioncoverage)???????????????????С?????????????????????????????????ж??????tionCoverage

????·??????(PathCoverage)?????????????(prEDI)??????????????????????????????????????·???????????????????????????????????????????·??????????????????????????磺???????????10??IF?????1024??·??????????????????IF???·??????2048;????????·????????????е?????????catecoverage

???????????(LOOP)?????????????????????????????????Ρ??????λ?????????(??????)??????do-while??????????????????????????????????????λ?????????(??????)????????????м??????????????????while?????for?????????????Σ?????????????????????????????е??

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

????????????????????????С??λ????????????????????????????????????????????????????????????????嵥?????????I/O???????????????????????e?в???????????????????в??????????????????κκ????????????????????????????????е??????????????????????????????????????????????????顣?????????У??????????5?????????????в????????????????????????


???????????????????????????????????????????????????????????????????????????????????????μ?????????

??????????????????????????????????????????????????????????????;

?????????????????????????????????????????????????????????????????????????????;

??????????????????????????????;

?????????????????????????????????????????????;

??????????????????????????????;

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

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

???????鯔???????μ????????????;

??????????δ???????δ??????????;

???????????????????????;

????????????д???????д????;

?????????μ??????????

????·???????????????·??????????в???????????????????в?????в????????????????????????????????????????????????????????????????????????????μ????

????????????????????У?

????? ??????????????????????????????????;

????????????????(???????????????????????);

????? ??????;

????? ??????????;

??????????????;

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

???????????????????????У?

???????????????????;

?????????????????????????????;

?????????????????????????????????;

????? ????????в??????????????;

?????????1????????????????????????????;

??????????????????????????;

??????????????????????????????;

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

?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????鸚????????????????????????д????????????У?

????? ????????????????;

????????????????????????λ?????????????;

????? ???????????????????;

???????????????????????;

?????????????д????????????????????????????;

??????????????????迼????????????????????????????????

??????????????????????????????????????????飺

???????n????????0?Ρ?1?Ρ?n??????д???;

????? ??????ж??????С??????д???;

????????????????????и???????????С????????????????????

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

??????????е????????????????????ν??С????????????????ɡ???????????????????????????????????????е?????????????????????????????????????????????????????????????????????????

?????????????????????????????????????????????????鯔???????????????????????飬???????????飺

???????????(Driver)??????????????????????????????????Щ????????????????飬??????????????????????????????????????????????????????顣