??     ???????????????κ??????????????????????????????????????????????????????
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????

???????????μ??????

????1  ????????ζ??????????С?????????????ζ????е????????衣

????2  PolySpace??????????????????????????10K LOC?????????????С??????

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

????3 ???????????????????????????????????????

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

????... ...

?????????????????ж?????????????????????????????

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

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

???????????????????????????????????????????????????????????????????????????????????С?????????С??????????????????????????????????????????????

???????????????????PolySpace????????????????????????????????????????????????????е?Run-time error?????????????????????????С????????С?????????????????????????????????????????????????????????°?????????????????????????С?

???????????Excel??????????????????????????м????????????????????ζ??????????????????????????????????????????????????????????????????????????????????????????????

????????????費(fèi)???????????????????????????????????????????????????￡???????????????????????????????????????????

??????????/??????????????????????????

?????? ???????????????????????￡??紫???C/S?????????????????????????????????Щ???????????????????????????????????ɡ????????????????????????????????????е?????????????????????????????Э?????????????

?????? ???????????????????????￡??統(tǒng)????е?B/S???????????????????ж??????????????????????????????????????????????????????????????????????MSN???????????QQ?????????MSN??????????????????????????????????????????????????????????????????????????????LoadRunner??????ɡ?

??????????????????????????к?????????￡???ο??????????????