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

??????????嵫δ???????????????????????????????????

??????δ?????????????????????????е?????????????壬??????????÷????

????5????????

????????????к????????????????????????????????????????????????????Ρ???????????????????????????????????????????????????????????????

????6????????з??????

???????????????????????????????????????????????????????????鷵?????????????в???????????????????

????7???????

??????????????????????????????????????????????С?????????????????????????????????????????????Χ?????????з?Χ??飬?????????г?????????????????????????????????????????????????????????????????????λ??????±???

????4????????鷽??

????????????????????????????????У?????????鷽??????????к???????á?

????4.1??????????

???????????????????????????????????????????????????????????? ???????????????????????????????鵥?????????????????????????????????????

????4.2 ???????

???????????????????????渨????????顣

????1??????????飬 ???磺 TestBed??LogiScope RuleChecker??PRQA C/C++??Insure++??

????2?? ?????е????run-time error????????磺 PolySpace C/C++ Verifier??Klocwork K7??

????3?? ?????????????????磺 LDRA TestBed??LogiScope Audit??PRQA C/C++??

????4?? ???????????????????????磺 LDRA TestBed??Klocwork K7??Rational Test Realtime??

??????????????????д??????????????????鶴???????????Щ??鶴?????LDRA TestBed??????????????汾?????????????????????????????????????????????????????C/C++???????д????????н???????????飬?????????????????????????????

????5????????

???????????????????????У??????????????D??????????????????????????????????????ε???????????????????????????Χ??????????????????????ο???