BTC

BTC Embedded Systems于1999年在德国奥尔登堡成立。 我们从一个雄心勃勃的目标开始:将复杂而强大的数学验证和测试方法从学术象牙塔取出,并将它们用于现实生活中基于模型的软件开发项目。 我们仍然致力于这一目标,凭借遍布全球的业务和180多名员工,我们自豪地回顾了20年来在形式验证,模型检查和自动测试生成等领域的技术市场领导地位。 如今,我们的 ISO 26262 认证产品被世界各地的汽车制造商和供应商用于安全关键嵌入式软件的自动化测试和验证

产品详情

关于BTC EmbeddedPlatform

在现代开发项目中,需要结合不同的测试方法以确保足够的质量水平。这也反映在ISO 26262标准中,该标准推荐了基于需求的测试,背靠背测试或形式验证等方法。虽然这些方法并不相同,但它们也有很多共同点。对于所有测试方法,都必须知道被测系统的接口,以便能够模拟和调试或生成报告。在用例之间共享信息和工件也可能很有用,例如在背对背测试中重用功能测试用例。
BTC EmbeddedPlatform 提供了一个通用数据库和用户界面来处理不同的符合 ISO 26262 的验证方法。跨多个用例所需的功能只需提供一次,就可以有效地重用。例如,这包括对被测系统的分析以及对 IBM DOORS、PTC Integrity 或 Siemens Polarion 等工具的需求可追溯性。

产品

BTC 功能测试套件

针对 Simulink, TargetLink, Embedded Coder 和手写代码的功能测试

Keil ULINKpro 调试和跟踪单元可将 PC 的 USB 端口连接到目标系统(通过 JTAG、Cortex 调试或 Cortex 调试+ETM 连接器)利用其独特的流式跟踪技术,您可对应用程序进行编程、调试和分析

BTC Back-to-Back测试套件

测试用例自动生成,用于自动化执行背靠背测试、回归测试和迁移测试
等等

在线留言