(1).jpg)
OCVerifier?目標(biāo)碼驗(yàn)證工具
產(chǎn)品概述
OCVerifier?目標(biāo)碼驗(yàn)證工具
OCVerifier目標(biāo)碼驗(yàn)證工具采用非插裝方式為安全苛刻性系統(tǒng)與軟件提供目標(biāo)碼覆蓋率分析并提供目標(biāo)碼覆蓋率報(bào)告。OCVerifier 滿足 D0 -178B/C A級(jí)軟件對(duì)目標(biāo)碼覆蓋率分析的要求，同時(shí) OCVerifier 可用于其它對(duì)安全性要求高的標(biāo)準(zhǔn)如核電工業(yè) IEC-880標(biāo)準(zhǔn)、IS026262汽車工業(yè)標(biāo)準(zhǔn)等。
產(chǎn)品特點(diǎn)
· 支持目標(biāo)處理器
OCVerifier 支持 PowerPC 、ERC32(TSC695) 、ARM 、LEON2/LEON3 、Tl DSP 、8031/51等微處理器，亦可定制支持其它微處理器。
· 支持平臺(tái)
支持風(fēng)河 Wind Probe/ICE仿真器、SEEDDSP仿真器、創(chuàng)景 ERC32MDS、創(chuàng)景 LEON MOS、CodeWarrior USB TAP、Macraigor usbWiggler 等仿真器，并可定制支持其它平臺(tái)。
· 支持多種文件格式
支持 elf、coff、bin、map、out 等多種與目標(biāo)碼有關(guān)的文件格式。
· 代碼覆蓋率分析
支持語句、分支、調(diào)用、MC/ DC 覆蓋率。
· 支持覆蓋率反標(biāo)注
可以按目標(biāo)碼基本執(zhí)行塊方式對(duì)未執(zhí)行代碼塊進(jìn)行標(biāo)注，便于揭示死代碼或未激活代碼，從而為 DO-178B/C 審定提供必要的審定材料與證據(jù)。
· 支持圖形化方式顯示
提供調(diào)用圖與程序流程圖，直觀顯示目標(biāo)碼程序結(jié)構(gòu)，并支持在程序流程圖中顯示代碼覆蓋情況，便于測(cè)試用例設(shè)計(jì)。
· 提供多種報(bào)告
可自動(dòng)生成HTM L 格式與 Word 格式目標(biāo)碼覆蓋率報(bào)告，報(bào)告內(nèi)容與格式可由用于自定制，便于 DO178B/C 審定材料遞交。
