???????????

????????????漰????????????????е?????ж?????????·????????????????????????????????????????????????????????????IT??ST????????????????????????????????????????????????????????????

????1???????????????????????????????

????2??????????????????????????????????????????????????????????????????????????????????????4????Σ???????????????????????

????1)?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????

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

????3??????????????д??????????????????????????????????????????????

????4??????????У???????????????????????????????????н???????????????????????????????л??????

?????????????????ζ??в????/?????????????????????????????????????????????????

????1???????????interface?????????????????1?????????????t???????????????????????е???????ν???????????????????????

????2??????????????local data structure????????????????????е?????????????????Щ??????????????????Щ?????????????????????

????3?????????????boundary condition????????????< > =?????????????????????????????????????????

????4????????·????independent path?????????????????????????????????????Щ????Щ??????3????????????????????

????5???????????error handling path???????????????????????????и????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????漰???????????????????д?????????????????????Щ??????????????ò?????????t????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????

????????????к????????縲??????????logiscope purecoverage truecoverage????????????????logiscope mccabeQa Codetest???????鶴???pc-lint codechk logiscope?????????????TCL(Tool command language) pythonperl??????????purify boundscheck ??????????????????nunit dunit junit cppunit RTRT  cantata adatest

?????????????????????????????????-??????????--???????????--???