Close
跳到内容
合作伙伴
客户案例
科研
全球分布
Menu
合作伙伴
客户案例
科研
全球分布
linkedin (10)
youtube (8)
My BTC – Register & Login
My BTC – Register & Login
产品
公司
博客
新闻 & 活动
视频
职位
Menu
产品
公司
博客
新闻 & 活动
视频
职位
bubble-speech
支持和联系
简体中文
英语
德语
Test Solutions for Simulink Models & Production Code
Use Cases
Requirements-based Test
Code Coverage Analysis
Formal Specification
ISO 26262
Continuous Integration
Back-to-Back Test
Regression Test
Migration Test
Formal Verification
AUTOSAR
Supported Environments
Mathworks Simulink
dSPACE TargetLink
Mathworks Embedded Coder
C/C++ Code
Processor-in-the-Loop (PIL)
Products
BTC EmbeddedPlatform
BTC EmbeddedTester BASE
BTC EmbeddedTester
BTC EmbeddedSpecifier
BTC EmbeddedValidator
Products
Test Solutions for Simulink Models & Production Code
Use Cases
Requirements-based Test
Code Coverage Analysis
Formal Specification
ISO 26262
Continuous Integration
Back-to-Back Test
Regression Test
Migration Test
Formal Verification
AUTOSAR
Supported Environments
Mathworks Simulink
dSPACE TargetLink
Mathworks Embedded Coder
C/C++ Code
Processor-in-the-Loop (PIL)
Products
BTC EmbeddedPlatform
BTC EmbeddedTester BASE
BTC EmbeddedTester
BTC EmbeddedSpecifier
BTC EmbeddedValidator
公司
新闻 & 活动
博客
视频
职位
支持和联系
My BTC – Register & Login
My BTC – Register & Login
合作伙伴
客户案例
科研
全球分布
合作伙伴
客户案例
科研
全球分布
简体中文
英语
德语
产品
针对Simulink模型和量产代码的一站式测试方案
通过德国TÜV Süd ISO26262标准认证
介绍
关于BTC EmbeddedPlatform
在现代开发项目中,需要结合不同的测试方法以确保足够的质量水平。这也反映在ISO 26262标准中,该标准推荐了基于需求的测试,背靠背测试或形式验证等方法。虽然这些方法并不相同,但它们也有很多共同点。对于所有测试方法,都必须知道被测系统的接口,以便能够模拟和调试或生成报告。在用例之间共享信息和工件也可能很有用,例如在背对背测试中重用功能测试用例。
BTC EmbeddedPlatform 提供了一个通用数据库和用户界面来处理不同的符合 ISO 26262 的验证方法。跨多个用例所需的功能只需提供一次,就可以有效地重用。例如,这包括对被测系统的分析以及对 IBM DOORS、PTC Integrity 或 Siemens Polarion 等工具的需求可追溯性。
BTC Embedded Platform
产品
BTC 功能测试套件
针对 Simulink, TargetLink, Embedded Coder 和手写代码的功能测试
Group 6
Explore
BTC Back-to-Back测试套件
测试用例自动生成,用于自动化执行背靠背测试、回归测试和迁移测试
Group 6
Explore
BTC 形式测试套件
直观地将功能安全需求转换为形式化需求
Group 6
Explore
BTC 形式验证套件
针对安全关键系统提供强有力的数学证明
Group 6
Explore
Support & Contact
无论您身在何处,都能找到合适的联系人!
支持 & 联系