????????????????????????????????з?????????????Щ?????????????????????????????????????????????????"???????"????????????????? ??????Щ????????????????? ?????????????Щ???????????????Щ????????????o????????????????????Ч???

IPL??????????????????????????????1979??????????Bath??IPL??1988???????ISO9001?????????1991?????TickIT?????IPL????????AdaTEST??Cantata?????????????AdaTEST??Cantata????????????Щ????????

???

????μ??????????????????????????У???????????????????????????????????

?????????????????????????????????в?????????????????CASE???????????????????????????????????????????????????????????????????????????Щ?????????????????????????????顣

????????????????????е????????????????????Щ??????????????????????????????????????????????????????????????Bug?????????????????????50%?????????????????????ЩBug???????Ч?????????????б???????

????????????????????????????????з?????????????Щ?????????????????????????????????????????????????"???????"????????????????????г??Щ??????????????????????????????Щ???????????????Щ????????????o????????????????????Ч???

??????????

????????????????????????????е??????????????????????У???????????????????????????????????????????в????

????????????????????У?????C??????в??????????????????????????C++???????????????????У? ????в????????????????Ada???????????????????????????????????????????????Ada???????????е?????????????????????????????????????(4GL)??????У??????????????????????????????????????檔

?????????????????????????????????????????????????????????????????????????????????????????????????μ????л?????????С????????е???????????????????????????????н????????

?????????????????????????Щ?????????????????(Code review)?????????(Static analysis)????????(Dynamic analysis)??????????????????????????ж???????????????Щ???????????????????????б??????С?????????????????????????????????????и????????????????????????????????

?Щ???е????

??????????????????????????????"???????"????????????????????г????Щ??????????????????????ó??????????????Щ????????????

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

????????????????????????????????????????????????????????????????????????????????? ?????????????????????????????????????????????????????????????ε???·???????? ??????????????????????????????????????????????

??????????????У??????????????????????????????????????????????????????С??????????????????????????Bug????????У??????????????賣?????????????????????????????С?????????????????????佫?????????????Щ??????????????????Bug???棬?????????￡???ЩBug?????????????????????????????????????????????????????????????????? ???????????????????????????????????С?

??????????У????????????????????????д?????????????????????????????????????????Щ???????????????Bug??????????????????????????????????????????￡??????????????и???Ч??????????????????????????????????????????????μ?????????????????Ч?????á???????????????????????????????????????????ú????????

???AdaTEST??Cantata???????????????????????????????Ч????????????????????????????й??????????????????????????????

?????????????Щ??????????

??????Щ????????????????д???????????????????????????ε??????????????????????? ?????????????????????????????????????????Щ??????????????????????????????????????????д?????????????????????????????κ????顣???е???Щ?????????????????????????????????????????????????????(??????)???????????Bug????????????????????????Щ??

???????????д??????????????????????????????????????????????????????????????????????????в?????????????????????????????Bug????????????????????????????Щ???????е??????????????????????????????????????????????????????????????????????

??????л??????????????? ????????????????????????????????????????й???????????????????????????????????и???????????????????????????Bug???????????????????????????? --- ??????????????????? ?????Ч?????????????????????????????????????????????????????Щ???????????? ?????????????? ??????????????????????????????????????а???????????????????????????? ??????????????????????????(Review)??????????????????????л???????? ????????С?????????????????????????????????????

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

?????????????ж??????????????????????????????ó???????????????????????????????????????У???????????в????????????????????????

?????????????????????????????????????????????????????????Щ????????????????? ????????????????????????????????????????????????н??й???????Bug???????????????????

?????????????????????????????????????У??????????????????????????????????????? ???????????????????????????Bug???????????????????Щ?????????????? ??Щ???????Щδ?????????????????????????????????????????????????????????????????п???????????????????????Щ????????????á?

?????????? ???????????????е?Bug

??????????????????д??????????????????????????????????????????????????????????????ζ??????????????????????????????в?????????????????????????????????????????????У????κ??????????????????С?

???????????????????????????????????????? ????????????????????????????????????????? ??????????????????飬????????????????????????????????????????????????????????????????????????Σ???????????????????????????????????е???????????

????????????????????????е????????Щ?????????????????Bug????????????

???????????￡???????????????????????????????????!???????????????????????Щ????С????????????????????λ?????????丯?ò?????????????????????????????????????????????? ??Щ???????????????????????????????????????????????????????????

??????Ч?????

???????????????????????????????????????Щδ?????Bug?????????????????????????????????????Bug?????СС???????????ε????????????????????????????????????????????(????????????????)??????????????????Щ???????????Bug?????????????????????????????δ?????г???????????????????????????????????????????????????????????????δ?????г???

????о???????????????????????????????????????????????????????о??????????????в?????Ч?????????????????Bug????????????????????????????????y???????? ??t???????????????Bug???????????????????????????????????????Bug?????

?????ε????????????????????????????????????????????????????????????????????? ???????Щ????????????????????????????????????????????????????????????

?Щ???

??Щ??????<<??????????>>(Capers Jones??McGraw-Hill 1991)?????г?????????????в??????????????????????(??????????????)????Щ?????????????????Ч????????????????? ???????????(?μ??????)??
 

(?????????(Field test)??????????????????????????????????????в????)

???????????????????????y??к??ε?????????β??????????????????????????????????????????????Bug?????????β??????á?

???????Щ?????????50%???????????????????Щ??????е?Bug????????檔?????ЩBug???????α????????????Щ??????????????????????????????????????????????????????????????????????50%??????????????????????????????????ò??????????

????

????????????????????????????????????????????η??????Bug????????????????????????????????????Σ?Bug????????????????????????????????????????????á??????????????????????????????????????????????о??????????????в?????Ч????????????????? ??????????????????????￡?????????????????????????????????????????????????????ú??????????????????????????????Bug??????в?????Ρ?

??????????Ч?????????????????????????????????????а???????????????????????????????????????????????????????AdaTEST??Cantata???????????????????????Щ????????????????????????????????????????μ???????????????????????????????????????????????????????á???Ч????????????????????????????????????????????????????????????????????????