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

???????????????????????????????о???????20??????????????????????????????????????>>???????20??????????????????????
????AdaTEST--????????Ada??ó??????????????????????????????
????AQtime--?ò??????????????????????????????????????????????????????????/??????????????????????????????棬???????е???????????????????????????????????λ?????ò?ν????????????????????
????BoundsChecker--?C++?????????????????????????????????C/C++??.Net??ASP??ASP.net.
????Bullseye Coverage--C/C++???????????
????CMT++--C/C++???????/????????
????CodeCheck--????C/C++??????????????????????????????????
????Parasoft dotTEST--.NET?????????????????????
????CTA++--???C++????????????????????
????CTC++--???C++????????????????????з???????
????devAdvantage--??????????C????????
????GlowCode--???????й?????????????????????????????湤??
????Hexawise--??????????Web????????????????
????Insure++--?????? C/C++?????????????????????
????LDRA Testbed--??????C/C++??Ada83??Ada95??Intel??????????????????
????Leak Check--??????????й???????????????????±????????????
????Panorama--C & C++????????????????????????
????McCabe TQ--?????????????????????????????
????Prevent--?????????????????????????????????????????????
????Purify--?????????????й??????
????Test Coverage--???????????????????????C?? C++?? C#?? COBOL?? Java??????