VectorCAST/Ada的插件
MC/DC(修正条件判定覆盖)
修正条件判定覆盖（MC/DC）提供两个确认条件句的方式。第一个方式（MC/DC Branches）分析语句中的所有子条件句来检查测试用例是否执行它们的"true"与"false"数值。第二个方式（Equivalence Pairs）分析所有子条件句能够控制条件句的数值。 我们的工具会生成一个真值表，然后在真值表中指出测试数值外所有数值不变化而结果变化的两行数据。执行之后，如果一组两行数据被执行了，那么我们的测试用例保证只改变这个子条件句能够改变相关结果。
需求连接插件(Requirements Gateway)
VectorCAST需求连接插件让VectorCAST测试工具联系需求管理系统，开发人员能够使用一个易懂易用的用户界面来快速地链接软件的需求项目与VectorCAST测试用例。测试用例执行之后，他们也能够在VectorCAST框架中或者在需求管理系统中阅读可追踪度(traceabilility metric)。VectorCAST用户能够控制与需求库联系哪个测试属性，他们也能够把测试用例的名字("Test Name")、测试用例的结果("Test Result" - PASS | FAIL | none)、测试覆盖率等资料和需求库中的属性链接。
