??????????????LOGISCOPE
?????????? ???????[ 2010/2/20 14:39:29 ] ????????
??????????????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
??????
???·???
??????????????????
2023/3/23 14:23:39???д?ò??????????
2023/3/22 16:17:39????????????????????Щ??
2022/6/14 16:14:27??????????????????????????
2021/10/18 15:37:44???????????????
2021/9/17 15:19:29???·???????·
2021/9/14 15:42:25?????????????
2021/5/28 17:25:47??????APP??????????
2021/5/8 17:01:11