??????????????LOGISCOPE?????Logiscope??????

LOGISCOPE ?????????????????????????????????????????????/??????????????????????????Ρ??????????????й?????LOGISCOPE ????????????????????LOGISCOPE ??????????????????Review ??????????????Testing ????
????LOGISCOPE????????????????????????????????????Halstead??McCabe?????????????????????????????????????????????????????????????????????????棬?????????????????????顢?????????????

????LOGISCOPE ???????Σ????????????????
???? ??????????Σ?LOGISCOPE ??λ??Щ????80%??????????顣
???? ?????δ???????????λ??LOGISCOPE ?????????????δ????????е?????
???? ??????????????????LOGISCOPE ??????????????????????
???? ??????????LOGISCOPE ?????????????????????????????д?????????????????????????????????????
???? ???к???????????????????LOGISCOPE ???????????????????????в???????????????LOGISCOPE ????????????????
???? LOGISCOPE ???ISO/IEC9126 ?????"Quality Characteristics "??
???? LOGISCOPE ?ISO-9001??????test acceptance criteria and qulity records ??;
???? LOGISCOPE ?????????SEI/CMM???2 ????Repeatable ?????????????????????????????????????????????SEI/SMM ??3 ????

1??LOGISCOPE ??????????

???????????

????RuleChecker ???????50 ???????????????????磺?????????Сд??????????????磺??????????? ??????磺??????GOTO ????????????????е?????????????????????Щ????????????????Tcl ?????????????????μ????????????50 ???????-????????????

????Audit ??ISO9126 ?????????????????????????????????????????Halstend ??McCabe ????????????VERILOG ???????????????е??????????????????????????????????????????????????????????

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

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

????RuleChecker ??????????????????????????????в??????????????????????????????????顣RulrChecker ?????????????????????????????????λ?á?

????Audit ??????????????漲???????????б????????????????????????????????????????????????е?????????????????????????????????μ??????????????????????????

2??LOGISCOPE ?????????

??????????

????LOGISCOPE ????????IB???????·????DDP???????·????PPP??????????????????-????????????MC/DC ?????????

???????Ч??

????TestChecker ?????????????????????????????????????????????????????????????????????????????????μ??????????????????????

????TestChecker ???????е????????????????Ч????й????????????????Щ???????????????

????????

??????????ε?????????е????????????????????????????????????????????????????????????????????????????????????????????70%??????????????????????????????????????????????????????????????·???????????????????????Щ?????н???????????????????????????й??????·?????????μ??????????????Щ·????

????????в????????????????????????????TestChecker ??????????????Ч?????TestChecker??Audit ????????????????????δ????????

??????????????????????????????????δ?????·?????????й??????????????Σ?????????????????α??????????????????????????佨????????????

??TestChecker ???????????μ??????????й????????????????????????е??????

3??LOGISCOPE ??????????

????????????????????????????????????????????????????50%??????

????????仯??????????????е???????LOGISCOPE ???????????δ????????????????


????Audit ??????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????з??????????μ????????????????????

4????????????????

????LOGISCOPE ????????????????????????????????????

???????????????????????????????????????????????????y??????????е??????????Target????????????ж?????????????????????????????????????????/???????????????Host????????????????????????????????????????????????????????????????

????LOGISCOPE ??????????Щ???????????????????????????????????????????????RTOS???????ó???????????????????????Logiscope ??VxWorks ??pSOS ??VRTX ??????????????

5???????/????/????/????????????

?????????/?????????????????????????????????/???????????????λ?????????RTCA/DO-178B??LOGISCOPE ?????"Reviews and Analysis of the Source
Code " ??"Structural Coverage Analysis "???????????????RTCA/DO-178B ?????A ??B ??C ??????????
LOGISCOPE ????????MC/DC(Modified Condition/Decision Coverage)?????????

6?????????????????????????

????Logiscope ????????????????????????????????????????????????????????????????????Щ???????????????????????????????????????????????????????????磬GJB-438A??

????????????????
???? UNIX??Sun OS/Solaris?? HP 700 HP-UX?? RS6000 AIX?? Power PC?? DEC UNIX??
???? IBM Mainframe MVS??????
???? PC Windows/NT??
???? ?????????C?? C++?? Ada?? Java
???? ?????????????????????????VxWorks??PSOS??VRTX