Close
跳到内容
合作伙伴
客户案例
科研
全球分布
Menu
合作伙伴
客户案例
科研
全球分布
linkedin (10)
youtube (8)
My BTC – Register & Login
My BTC – Register & Login
产品
公司
博客
新闻 & 活动
视频
职位
Menu
产品
公司
博客
新闻 & 活动
视频
职位
bubble-speech
支持和联系
简体中文
英语
德语
针对Simulink模型和量产代码的测试解决方案
Use Cases
基于需求的测试
代码覆盖度分析
需求形式化
ISO 26262
持续集成
Back-to-Back 测试
回归测试
迁移测试
形式验证
AUTOSAR
Supported Environments
Mathworks Simulink
dSPACE TargetLink
Mathworks Embedded Coder
C 代码
处理器在环 (PIL)
产品
BTC EmbeddedPlatform
BTC 功能测试套件
BTC Back-to-Back测试套件
BTC 形式测试套件
BTC 形式验证套件
针对 ADAS/AD 虚拟验证的挑战
驾驶场景的创建
如何创建所需的数百万个方案?
生成所需的测试方案
如何避免测试爆炸问题?
仿真结果分析
如何确定我的测试是通过还是失败?
Products
针对Simulink模型和量产代码的测试解决方案
Use Cases
基于需求的测试
代码覆盖度分析
需求形式化
ISO 26262
持续集成
Back-to-Back 测试
回归测试
迁移测试
形式验证
AUTOSAR
Supported Environments
Mathworks Simulink
dSPACE TargetLink
Mathworks Embedded Coder
C 代码
处理器在环 (PIL)
产品
BTC EmbeddedPlatform
BTC 功能测试套件
BTC Back-to-Back测试套件
BTC 形式测试套件
BTC 形式验证套件
针对 ADAS/AD 虚拟验证的挑战
驾驶场景的创建
如何创建所需的数百万个方案?
生成所需的测试方案
如何避免测试爆炸问题?
仿真结果分析
如何确定我的测试是通过还是失败?
公司
新闻 & 活动
博客
视频
职位
支持和联系
My BTC – Register & Login
My BTC – Register & Login
合作伙伴
客户案例
科研
全球分布
合作伙伴
客户案例
科研
全球分布
简体中文
英语
德语
BTC EMBEDDED systems
使用案例
Simulink 模型和量产代码的测试解决方案
基于需求的测试
基于需求的 Simulink、TargetLink、EmbeddedCoder和手写代码测试
Group 6
探索
代码覆盖度分析
在BTC 功能测试套件中,代码覆盖率在后台自动计算和更新。
Group 6
探索
需求形式化
直观的安全需求形式化描述
Group 6
探索
ISO 26262
如果不测量软件单元的结构覆盖率,就无法评估测试活动的完整性。
Group 6
探索
持续集成&云
在CI流水线中包括单元和集成测试,以确保早期高质量!
Group 6
探索
迁移测试
确保新工具版本不会在软件行为中引入意外变化!
Group 6
探索
形式验证
针对安全关键系统提供强有力的数学证明
Group 6
探索
Back-to-Back 测试
ISO 26262标准强烈建议在模型和代码之间进行背靠背测试
Group 6
探索
回归测试
不同版本软件之间的回归测试在A-SPICE和ISO 26262中起着重要作用
Group 6
探索
支持和联系
无论您身在何处,都能找到合适的联系人!
联系& 支持