loader image

Test Solutions for Simulink Models & Production Code

Products

Test Solutions for Simulink Models & Production Code

产品

针对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 和手写代码的功能测试
BTC Back-to-Back测试套件
测试用例自动生成,用于自动化执行背靠背测试、回归测试和迁移测试
BTC 形式测试套件
直观地将功能安全需求转换为形式化需求
BTC 形式验证套件
针对安全关键系统提供强有力的数学证明

Support & Contact

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