??

????????????????????????????????????з?????????????Щ?????????????????????????????????????????????????"???????"????????????????? ??????Щ????????????????? ?????????????Щ???????????????Щ????????????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???????????????????????Щ????????????????????????????????????????μ???????????????????????????????????????????????????????á???Ч????????????????????????????????????????????????????????????????????????