loader image

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

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

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

如何避免测试爆炸问题?

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

Products

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

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

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

如何避免测试爆炸问题?

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

BTC EMBEDDED systems

使用案例

Simulink 模型和量产代码的测试解决方案
基于需求的测试
基于需求的 Simulink、TargetLink、EmbeddedCoder和手写代码测试
代码覆盖度分析
在BTC 功能测试套件中,代码覆盖率在后台自动计算和更新。
需求形式化
直观的安全需求形式化描述
ISO 26262
如果不测量软件单元的结构覆盖率,就无法评估测试活动的完整性。
持续集成&云
在CI流水线中包括单元和集成测试,以确保早期高质量!
迁移测试
确保新工具版本不会在软件行为中引入意外变化!
形式验证
针对安全关键系统提供强有力的数学证明
Back-to-Back 测试
ISO 26262标准强烈建议在模型和代码之间进行背靠背测试
回归测试
不同版本软件之间的回归测试在A-SPICE和ISO 26262中起着重要作用

支持和联系

无论您身在何处,都能找到合适的联系人!