???????У?

????Tx???ò???????????????????????е?????Test??????

????RfT?????????Requirement for Test??????????

????????????????????е????Ts/RfT

????Ts??????????????????????????????????????????в????Test??????

????RfT?????????Requirement for Test??????????

?????罫????????????????????????????????????????????????

????x%???????????????????е?T??p??i??x??x??????????????????y%

????2????????????????

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

?????? ????????????в?????????е???????

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

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

?????????????????????????????????????磺

??????串???Statement Coverage ?????????и????line coverage?????θ????segment coverage????????鴝???basic block coverage???????????????????????????е?????????????????????????????????????????????????????????????д??????????????Щ??????????

?????ж??????Decision Coverage ??????????????????branch coverage???????б?縲???all-edges coverage????????·???????basis path coverage ????C2??????ж?·???????decision-decision-path??DDP testing????????????????BOOL????????true ??false???????ж??????????????????????串????????????????串???????????????????BOOL??????????BOOL????

?????????????Condition Coverage ?????????????????????????????????????????????true ??false????????????ж??????decision coverage?????????????????????С?????????????????????????????????ж??????

????·???????Path Coverage ????????????????predicate coverage????????????????????????????????????????·???????????????????????????????????????????·??????????????????????????磺???????????10??IF?????1024??·??????????????????IF???·??????2048??????????·????????????е?????????

????•?? ????????Loop Coverage ???????????????????????????????????Ρ??????λ????????Σ??????????????do-while ??????????????????????????????????????λ????????Σ????????????????????м??????????????????while?????for?????????????Σ?????????????????????????????е??

???????????

????????????????????????ζ?????????????????????????????????????????????????ν?????????????????????????????????????????????????