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

?????????????????????????????????????????????????????????????????????????????????????????????????????????????У???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????ò?????????????????????????????????

????????

????????????????????????????????????????????κ??????????????1979??Glenford Myers???The Art of Software Testing??????????“???????????α”??????????????“????????????????в???”???????????????????????????????????????????????????????????????????????й?????????????????“????????????”????????????????????????????????????????????????Ч??????????????????????????????????????????????

?????????????????????????????????????????????????????е?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????У??????????????????????????????????????????????????????????о???????????????????????????

????????????????????????????????е???飬????????????????????????????????????????????????????ò????????????????????????????????????????????????????????????????????й???á?

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

????1.1 ???????

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

??????????(????????)???????????????????????????????????????????????????????????????????????????????????????

????????????(??????)???ò???????????Э?????????ò?????????????????????????????????????????ò????????????????????????????????????????????????????????????????????????????????????????

???????????????????????????????????????????????????????????????????????????????????????C????????????????C++??ADA????????Щ???????????ó????????????????????????????????????????????????????????????????????????????????ó???????????

??????ò???ò???????????????????????????????????????????????????????????????????????????????????????????????е????

????1.2 ????????

???????????(Embedded Software)??????????????е?????????????????????????????????????

???????????(teST EnvirONment)????в????????????????????????????????????

????????????(Test Case)?????????漲????????????????????????????

???????????(Test Procedure)????в?????????????????????????????????????????

????????????????(Problem Description Report)???????????????з????????????????

??????????ж?????????(Modified CondiTIon/Decision Coverage?? MC/DC)?????????????????????????ж???????????????п??????????????Σ?????ж?????????п???????????????Σ????????????????????????Σ??????????????????????????ж??????

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