LOGISCOPE?????????????????????????????????????????????????????巍?LOGISCOPE???????????

(1) ?????(Viewer)????????????(???????????????)??????????(?????????????霉??)????????锌????????????????????????????????????????贸??????????????????????????????贸???????

(2) 效???????(ImpactChecker)???????????????????(????????????????????????????????????????)???????????????????????????(????????)????????????????贸?????????????

(3)????????(RuleChecker)???????????????????????????????????????????????????????????????????????????????????????????????????????????霉???????(RuleChecker)??????????????????????

(4) ????????(TestChecker)?????????????????????未????路??????????????????妤�????????????????????????(TestChecker)?????????? (Dynamic Analyzer)??????????????????贸?????????????

(5) ????????(CodeChecker)???????贸?????????????????????????????????????(Static Analyzer)????????(Viewer)??????????贸?????????????????????(CodeChecker)???????????绶�?????????????????????????????????