面向于VEOS 和 HIL 的形式验证插件

概述

“面向于VEOS 和 HIL 的形式验证插件”是由 BTC Embedded Systems 公司和 dSPACE 公司联合开发的运行于 dSPACE 仿真平台的一套自动测试解决方案。该方案主要要两部分组成：一是 BTC 的形式测试套件，二是dSPACE Real Time Testing（RTT）Observer Library。在dSPACE 仿真平台上运行由 BTC 形式测试套件生成的观察器代码（“WatchDogs”），从而离线或实时自动判定仿真结果是否违反需求。

由于可以自动并行执行多个需求观察器判定，您可以连续地对每条需求自动验证所有的测试用例。通过此技术，在不改变现有测试流程的基础上，大幅的增加测试深度。另外本解决方案和 dSPACE 的产品比如 ControlDesk Next Generation 及 AutomationDesk 无缝集成，让您更舒适便捷地在不同的项目中使用需求观察器技术。