???--LOGISCOPE

?????

LOGISCOPE h????????/???????????LOGISCOPE ?????LOGISCOPE ?jReview ????Testing

LOGISCOPEkû?''õKHalsteadMcCabe?g??????i????i???????????g??

LOGISCOPE ??S????J
??SLOGISCOPE ??80%?g?
?d?K?LOGISCOPE ?d????
???LOGISCOPE ??
??LOGISCOPE L????i?õJ?????????
?????LOGISCOPE ???????LOGISCOPE ?
LOGISCOPE ?ISO/IEC9126 "Quality Characteristics "
LOGISCOPE ?ISO-9001?test acceptance criteria and qulity records ;
LOGISCOPE ??SEI/CMM?2 Repeatable ?????????SEI/SMM 3

1LOGISCOPE ??

g

RuleChecker ?50 i??????????ÿh?? ??GOTO ????l?û????Tcl u??µL????50 ?-???i?

Audit ISO9126 g?g?Lg?Halstend McCabe K?VERILOG ???????????????

???????????g?

??L

RuleChecker ?L??????J?L?L???RulrChecker ?i????????á

Audit ??g???????l???????jJ?????g?hµj??k

2LOGISCOPE ???

?

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

??

TestChecker ÿ???????????????g??µ????

TestChecker ?????û????????

?Z

???ejh?????????L???????????h??70%????????g????·????h?i???????û???·µ??·

??????i???TestChecker ???TestCheckerAudit '?ûd?J?

û?jJ???d?·L?õ?????S?ia?l???

TestChecker ??µ???j?????k

3LOGISCOPE ??

????????û?50%?

????????LOGISCOPE ?l?d?????

Audit ????l?lL??????L???????????h???õ?J??????????µj??

4???

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

????????g??ý???g?Target????¼???????/?Host???????????????L?

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

5?///???

?/??????yl/??'õ?zRTCA/DO-178BLOGISCOPE ?"Reviews and Analysis of the Source
Code " "Structural Coverage Analysis "?'?RTCA/DO-178B ?A B C ??
LOGISCOPE ?h?MC/DC(Modified Condition/Decision Coverage)?L?

6j?j?

Logiscope ?j???'??L?????j?j??¼???Lj???û???GJB-438A

????
UNIXSun OS/Solaris, HP 700 HP-UX, RS6000 AIX, Power PC, DEC UNIX
IBM Mainframe MVS
PC Windows/NT
???C, C++, Ada, Java
????????VxWorksPSOSVRTX