立即登录

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

*为必填项注册新会员

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

立即登录

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

*为必填项找回密码

  • 注册邮箱:

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

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

安全关键系统集成研制环境ASIDE

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

VeroSource 判定覆盖和语句覆盖分析工具

您的位置: 首页 > pk10官方 > VeroSource 判定覆盖和语句覆盖分析工具

VeroSource 判定覆盖和语句覆盖分析工具


▌概要介绍


         VeroSource能够自动标记代码语句覆盖和判断覆盖的语句执行情况,以满足DO-178B/C

         标准B级和C级软件、ISO26262 SIL4级软件对于结构覆盖的目标要求,并通过了DO-330

         TQL-5工具鉴定。


▌主要功能

VeroSource能够记录被测程序中所有被执行的语句,以及程序中所有执行过的判定结果;能够对源代码进行标记,以显示覆盖结果,并且提供了对未覆盖代码进行评审和注释的功能。


VeroSource需要对被测代码进行插桩,但是它使用的是与基于需求的功能测试相同的测试(用例和执行)来获取覆盖率。通过使用相同的测试,就能够验证插桩不会影响代码的功能行为,所以无需担心插桩对代码的影响。





▌工具鉴定


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





上海爱韦讯信息技术股份有限公司 版权所有 沪ICP备13019901号-1 COPYRIGHT 2017SHAVIATION 邮政编码:201203