verocode目标码覆盖率分析工具

《verocode目标码覆盖率分析工具》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、VerOCode目标码覆盖率分析工具概述DO-178B/C标准中，要求通过测试来确定是否任何软件结构都没有被需求测试过程忽略，这被称为覆盖率分析。覆盖率分析需要达到的级别根据相关软件的认证级别而不同。“结构化语言的覆盖分析可以在源代码级别进行。但是如果是A级软件并且编译器产生的目标代码不能直接追踪到源代码中的语句，那么验证工作就需要采取额外地分析方法，即在目标代码的级别上验证编译器产生的代码序列的正确性。在目标代码中的数组边界检查就是编译成生成的不能直接追踪到源代码的目标代码的一个实例。”VerOCode是一个不需要特殊硬件的执行跟踪分析工具，被测试的代码不需要插装（不添加记录执行状态的功能调

2、用）。应用代码在目标计算机（例如PowerPC）上执行，执行的数据图表搜集到一个宿主机上。VerOCode使用收集到的执行数据图表以及链接器分布图和编译器产生的清单一起，可以显示出哪些指令执行了，哪些指令没有执行，以及条件指令执行过程中的条件代码状态。产生的VerOCode结果清单包含DO-178B/CA级所要求的覆盖率分析的证明。VerOCode的主要功能§显示目标代码级的覆盖率，这样就不需要满足源代码到目标代码的可追踪性（DO-178B/CA级关于源代码覆盖率的一个目标）要求§结合多个测试的结果，提供累计覆盖率数据§通过单独搜集每个条件的结果（当应用软件使用了一些简单的编码约定时），获得条

3、件判断的覆盖率§不会由于插装被测代码影响测试结果§记录覆盖率数据，作为基于需求测试的一部分，而不是专门的覆盖率测试执行§形成一部分可重复的、自动化的测试和覆盖率分析脚本§作为认证证明数据，VerOCode可以用作一个验证工具，其覆盖率结果可以作为认证信用VerOCode记录和显示被测试程序中执行的指令。对于条件指令，VerOCode显示每次指令执行时的条件代码的状态。覆盖率在机器码级获得，结果通过一个包含源代码和汇编语言扩展的程序清单来报告。VeroCode的工作模式VerOCode工作在Host-Target模式。监控和测试程序（测试控制和被测单元）在目标机上执行，目标机通过通信口语宿主机连

4、接。一个测试运行以后，搜集的覆盖率数据上载到宿主机来分析。VerOCode通过三个组件实现。第一个组件驻留在目标系统中（监控器），搜集覆盖率数据。第二个组件基于宿主机（分析工具），实现覆盖率分析和报告。一旦覆盖率分析完成，结果文件可以通过第三个VerOCode组件：VerOCode覆盖率编辑器进行注解。这个组件可以帮助确认无用的代码。VerOCode的工作流程图VeroCode支持的环境VerOCode目前支持IntelX86、PPC、SPARCV8（包括国产的BM3803）系列芯片，适用范围支持裸机和RTOS目标机，完全支持VxWorks系列操作系统。VeroCode目前的主要用户上海航天8

5、院软件评测中心上海8院卫星工程研究所中国航天科技集团公司第九研究院第十三研究所信息产业部华东计算技术研究所中国航空无线电电子研究所中航工业成都飞机设计研究所中航商用航空发动机有限责任公司上海商用飞机有限责任公司上海飞机设计研究院北京科银京成技术有限公司中国兵器工业第203研究所西安航空计算技术研究所