立即登录
如果您已经拥有本站账号，可以直接登录。
立即登录
如果您已经拥有本站账号，可以直接登录。
*为必填项找回密码
立即注册
如果您没有本站账号，可以注册。
*为必填项登录
安全关键软件集成研制环境ASIDE
提供软件全生命周期研制、管理和审定的综合支持
pk10官方
联系我们
021-61680661
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级别的软件验证。
上海爱韦讯信息技术股份有限公司 版权所有 沪ICP备13019901号-1
COPYRIGHT 2017SHAVIATION
邮政编码：201203