如果您已经拥有本站账号,可以直接登录。
如果您已经拥有本站账号,可以直接登录。
如果您没有本站账号,可以注册。
021-61680661
▌概要介绍
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级别的软件验证。
上一篇:无