立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项注册新会员

  • 登录名: *  
  • 登录密码: *
  • 重复密码: *  
  • 姓名: *  
  • 公司名称: *  
  • 职务:
  • 联系电话: *  
  • 电子邮件: *  
  • 验证码: *  

立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项找回密码

  • 注册邮箱:

    验证码会以邮件的方式发送到您的邮箱!

  • 验证码: *
  • 请输入新密码: *

安全关键软件集成研制环境ASIDE

提供软件全生命周期研制、管理和审定的综合支持

VerOCode源代码与目标代码追踪分析工具

您的位置: 首页 > 产品中心 > VerOCode源代码与目标代码追踪分析工具

VerOCode源代码与目标代码追踪分析工具


▌概要介绍


         VerOCode是一个用于分析源代码与目标代码的追踪性的工具,能够满足DO-178B/C标

         准A级软件、ISO26262标准SIL4级软件对于目标代码追踪至源代码的目标要求,并通过

         了DO-330 TQL-5工具鉴定。


▌主要功能


VerOCode能够在基于需求的功能测试中自动捕获、分析覆盖率,并且不需要对代码进行插桩。VerOCode能够记录、显示在一个特定测试中被执行的语句;针对条件语句,能够记录和显示每一次执行的条件的状态。VerOCode所获得的覆盖率是在可执行文件层面获得的目标码对源代码覆盖率,其结果是通过注释形式显示目标码与源代码的差别。


                                   


▌工具鉴定


VerOCode能够提供符合DO-178C/DO-330标准TQL-5级别的工具鉴定认证包,可支持DO-178B/C标准A级别的软件验证。




安康合洪信息技术股份有限公司 版权所有 COPYRIGHT © 2017gzhyrl.com 邮政编码:8888 88