LOGISCOPE?????????????????????????????????????????????????????Ρ?LOGISCOPE???????????

(1) ?????(Viewer)????????????(???????????????)??????????(?????????????ù??)????????п????????????????????????????????????????ó??????????????????????????????ó???????

(2) Ч???????(ImpactChecker)???????????????????(????????????????????????????????????????)???????????????????????????(????????)????????????????ó?????????????

(3)????????(RuleChecker)???????????????????????????????????????????????????????????????????????????????????????????????????????????ù???????(RuleChecker)??????????????????????

(4) ????????(TestChecker)?????????????????????δ????·??????????????????楨????????????????????????(TestChecker)?????????? (Dynamic Analyzer)??????????????????ó?????????????

(5) ????????(CodeChecker)???????ó?????????????????????????????????????(Static Analyzer)????????(Viewer)??????????ó?????????????????????(CodeChecker)???????????緢?????????????????????????????????