产品中心

联系我们

021-61680661

VeroSource-A MC/DC覆盖分析工具

您的位置：首页 > 产品中心 > VeroSource-A MC/DC覆盖分析工具

▌概要介绍

VeroSource-A能够满足DO-178B/C标准A级软件、ISO26262标准SIL4级软件对于

MC/DC的覆盖要求目标，并通过了DO-330 TQL-5工具鉴定。

▌主要功能

VeroSource-A可以完全重复使用基于需求的功能测试（测试用例、测试执行等）来自动获取和分析结构覆盖率。其原理是通过对被测代码进行插桩；使用与功能测试相同的测试用例，VeroSource-A可以验证插桩不会影响代码的功能/行为，所以无需担心插桩对代码的影响。

▌工具鉴定

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