产品中心

联系我们

021-61680661

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级别的软件验证。