EN 50716标准针对从基本完整性（Basic Integrity）到SIL 4的各个完整性级别，推荐了具体的铁路软件验证技术。本白皮书阐述VectorCAST如何为这些技术提供测试、覆盖率和可追溯性证据。
VectorCAST支持铁路软件评估的每个阶段
一款适用于SIL 3和SIL 4的工具
在SIL 3和SIL 4级别，EN 50716标准要求进行动态分析和测试、可追溯性、代码覆盖率分析，以及功能测试和黑盒测试。VectorCAST无需借助其他验证工具，即可满足这四项需求。
涵盖所有SIL
汇总运行的每次测试（包括单元测试、集成测试和系统测试）中的语句、分支以及MC/DC覆盖率，并自动生成MC/DC真值表。
所有需求均已追溯
Requirements Gateway将每个需求与其测试用例关联起来，并将通过/失败状态反馈至需求管理工具。
始终保持最新状态的证据
EN 50716标准要求，每当铁路软件发生变更时，必须进行影响分析和重新验证。VectorCAST会先仅重新运行受影响的测试，然后自动运行完整的回归测试套件。
从源码到目标结果
VectorCAST能够从源码直接生成目标硬件上的测试结果，而无需手动编写测试框架代码。相同的测试用例可贯穿从组件测试到集成、验证及维护的整个过程。
生成测试框架
将VectorCAST指向源码和包含路径，它会构建测试驱动程序和存根，能够在软件的其他部分就绪之前就对组件进行测试。
在目标硬件上运行
在主机、模拟器或轨道旁或真实目标板上运行测试。边界值来自目标的实际类型值的范围。
通过验证实现重用
将相同的测试用例应用到集成测试、验证测试和回归测试中，并将HTML或文本格式的报告提交给评估员。
下载白皮书
使用VectorCAST进行EN 50716验证
使用VectorCAST为每种验证技术生成的验证依据，规划从基本完整性到SIL 4的验证流程。
- EN 50716在各个SIL级别要求采用哪些验证技术
- 如何在单元测试和系统测试之间分配覆盖率工作
- 如何将测试证据从组件测试贯穿至维护阶段
