??ô???j??

IPL

??

??h???ô???j????????????"?"k?? h??????? ???????wg?º????????

IPLh1979?BathIPL1988?ISO9001?1991?TickIT?IPL?AdaTESTCantata??AdaTESTCantata?????

'µ?????????????

????????'CASE?????????????'?????

???û?õ???'????û'???õo??Bugh???50%i?g?Bug????u

??h???ô???j????????????"?"k???h??????????????wg?º????????

?ô??

????????????K?½??

h??L??C???j?h???C++? ???L??Ada????L??Adal?????????J(4GL)??????h???

????h??h??'ã????g?g?µ?L?????????

???h???(Code review)?(Static analysis)??(Dynamic analysis)??????h???????????K??????????

h??

??ô?????"?"?½??h????????ó??????g

???

h????l???????'? ?h?L?L?????ej·?? ?????L??

????L?L????????g???Bug??h???L??hL???????l??Bug??£?Bug??g?????h????L? ????'???????

???j??????J?l?gh????Bug??????£?????????L??µj?????á?????L??????ú?lô

'AdaTESTCantata???'????????g??'û????h?L?

???ô

?û?ÿ??h?L???e??h?i? ????K?????ô?????õJL????????????g????(??)iBug?L?

?h?L??????L????????Bug????ih???J??õL?'??L???L?

?? h???h????Jû???õZ??????Bugh????ô --- ??ô ??k??h?L????K??? ?? ?õ??????g?'??? ????(Review)???û?J ???J?????

???? ??????

ÿ??h???ó????h??????????L?

??ÿ????'??????h?????? ?????g????û?????Bug?L??

?hh?L????????i? ??Bug?g???'?? ??d??'???J????l??j??????á

?????Bug

?j?h???????g?J??Ÿ???j?û??????????'??????????

h???? ????j¶ÿ???? h????h??õ???????i?????S???????????j???

L????????h???©??Bug??

h£??h????õ??!??h????????ã??ò??????????g ????????ÿh??L?

????

h????????????d?Bug??????????hBug????e?????(û?)???û?Bug??h?¶d?????h???õh??d?

????ô??K?L???????'?"õõi?Bug???kþ????ý? ?þ???Bug?kñL?j?h??BugL?

??e????J??????L???k? ????õl????????k???g

h??

???<<?>>(Capers JonesMcGraw-Hill 1991)??????????(h???)???????????? ???(µ?)

((Field test)??'?????)

????ý??e???ß????g??u?Bug???ß?ká

h????50%????Bug???Bug??auL??????ÿ??ø????K50%?õL??ò???

hj???????Bug???????l??SBugk??Lø??J??á?ô??K?L???????'?"õõi? ???j?£????????????Lú??L???Bugj?????

'?????L????????j????????õL?'AdaTESTCantataL???????L????õµõ?hlô??_?ká?j??Lh?L????