loader image

针对Simulink模型和量产代码的测试解决方案

针对 ADAS/AD 虚拟验证的挑战

如何创建所需的数百万个方案?

如何避免测试爆炸问题?

如何确定我的测试是通过还是失败?

Taichi Ando studied Earth and Planetary Sciences at Kyushu University. He joined in BTC Japan in 2009, and started to work as a sales engineer for Formal Specification, Formal Verification and Automatic Testing compliant with functional safety standards. He is today responsible for manager of sales engineering department.