立刻登录

假如您曾经拥有本站账号,可以间接登录。

*为必填项注册新会员

  • 登录名: *  
  • 登录暗码: *
  • 反复暗码: *  
  • 姓名: *  
  • 公司称号: *  
  • 职务:
  • 联系德律风: *  
  • 电子邮件: *  
  • 验证码: *  

立刻登录

假如您曾经拥有本站账号,可以间接登录。

*为必填项找回暗码

  • 注册邮箱:

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

  • 验证码: *
  • 请输出新暗码: *

宁静要害体系集成研制情况ASIDE

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

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级另外软件验证。



上一篇:


下一篇:VeroSource 判断掩盖和语句掩盖剖析东西




上海ag视讯信息技能有限公司[yǒu xiàn gōng sī] 版权一切 COPYRIGHT © 2017SHAVIATION 邮政编码:201203