上海创景信息科技有限公司-产品与服务

产品概述

OCVerifier^®目标码验证工具

OCVerifier目标码验证工具采用非插装方式为安全苛刻性系统与软件提供目标码覆盖率分析并提供目标码覆盖率报告。OCVerifier 满足 D0 -178B/C A级软件对目标码覆盖率分析的要求，同时 OCVerifier 可用于其它对安全性要求高的标准如核电工业 IEC-880标准、IS026262汽车工业标准等。

产品特点

· 支持目标处理器

OCVerifier 支持 PowerPC 、ERC32(TSC695) 、ARM 、LEON2/LEON3 、Tl DSP 、8031/51等微处理器，亦可定制支持其它微处理器。

· 支持平台

支持风河 Wind Probe/ICE仿真器、SEEDDSP仿真器、创景 ERC32MDS、创景 LEON MOS、CodeWarrior USB TAP、Macraigor usbWiggler 等仿真器，并可定制支持其它平台。

· 支持多种文件格式

支持 elf、coff、bin、map、out 等多种与目标码有关的文件格式。

· 代码覆盖率分析

支持语句、分支、调用、MC/ DC 覆盖率。

· 支持覆盖率反标注

可以按目标码基本执行块方式对未执行代码块进行标注，便于揭示死代码或未激活代码，从而为 DO-178B/C 审定提供必要的审定材料与证据。

· 支持图形化方式显示

提供调用图与程序流程图，直观显示目标码程序结构，并支持在程序流程图中显示代码覆盖情况，便于测试用例设计。

· 提供多种报告

可自动生成HTM L 格式与 Word 格式目标码覆盖率报告，报告内容与格式可由用于自定制，便于 DO178B/C 审定材料递交。