??????????????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 ??????????????????????????????胁??????????????????????????????????椤ulrChecker ?????????????????????????????????位?谩?

????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 ????????????????????????????????????????????????????????????????????些???????????????????????????????????????????????????????????纾珿JB-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