BTC AI Assistant
了解您的被测系统的生成式 AI。
工作流程中内置聊天助手。它将生成式模型与 TestStack 掌握的被测系统上下文（接口、需求和结构）相结合，起草原本需要手动编写的工程产物。
根据需求和接口上下文起草测试用例
将非形式化需求转化为形式化规约
与您首选的 AI 模型配合使用
BTC EmbeddedPlatform 现已升级为 BTC TestStack。现有许可证仍可继续使用，同时为现有用户提供众多新功能。
认证涵盖
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
客户信赖
100 多家企业一款工具，覆盖您的全部代码
软件不再以一种方式编写。
如今，同一工程团队同时使用基于模型的组件、手写 C/C++，以及日益增多的 AI 生成代码。BTC TestStack 可在一套经过认证的工具栈中测试各种类型的代码，是理想选择。
01
基于模型的
Simulink 模型以及由 dSPACE TargetLink 或 Embedded Coder 生成的生产代码。
02
手写
直接使用 C/C++ 编写的驱动程序、库和集成逻辑。
03
人工智能生成
由 AI 助手和智能体直接根据规约生成的代码。
三种形态
融入您的工作环境。
一套工具栈，三个交互式工作入口。
手写及 AI 生成的 C/C++
验证您编写的代码以及 AI 编写的代码。
直接在 VS Code 编辑器中测试和验证手写及 AI 生成的 C/C++，并支持 Google Test。
01在 IDE 中对 C/C++ 进行单元和集成测试
02与您常用的 ALM/PLM 工具保持可追溯性
03内置代码覆盖率分析，包括 MC/DC
Visual Studio Code · BTC TestStack
BTC TestStack × AI
专为人工智能时代而打造。
BTC TestStack 可连接您选择的 AI 模型。您可以使用 AI 加快交互式工作流程，也可以让 AI 接管并编排端到端工作流程。
面向 AI 智能体
便于工程师使用，也便于 AI 智能体调用。
工程师在 IDE 中执行的同类操作可通过 MCP 服务器提供给 AI 智能体。智能体能够生成测试、运行验证并读取结果，使验证始终处于智能体当前的工作闭环中。
以 MCP 工具形式提供 BTC TestStack 操作
智能体生成并验证测试，再读取验证证据
可与您团队使用的 AI 助手及智能体框架配合工作
两者均连接回 BTC TestStack
连接到您已经运行的工具。
可在工具链、生命周期系统、自动化平台和 AI 接口之间灵活切换。
互联生态系统
工具链
10 此类别支持的连接
Matlab/Simulink/Stateflow
dSPACE TargetLink
Embedded Coder
VS Code
AUTOSAR Classic 与 Adaptive
Lauterbach Trace32
iSystem winIDEA
Green Hills MULTI
PLS UDE
FMU
开箱即具备工具置信度
通过 TÜV SÜD 认证。
BTC TestStack 是 BTC EmbeddedPlatform 的后继产品，涵盖 BTC EmbeddedTester BASE、BTC EmbeddedTester、BTC EmbeddedSpecifier 和 BTC EmbeddedValidator，并已通过德国 TÜV SÜD 认证，适用于安全关键软件开发项目。
该证书涉及多个行业的功能安全标准：
ISO 26262汽车
IEC 61508-3:2010工业/跨行业功能安全
ISO 25119农林机械
IEC 62304医疗设备软件
EN 50716铁路 / 轨道交通应用
对于 ISO 26262，BTC TestStack 已获得最高工具置信级别（TCL）认证，对包括 ASIL D 在内的所有 ASIL 等级均有效。我们可应要求向客户免费提供证书和报告，从而省去客户侧的大部分工具鉴定工作。
为何选择 BTC TestStack
价值体现在三个方面。
一套工具栈，而非多个工具
一套工具栈统一覆盖基于模型、手写和 AI 生成的代码，无需为每种用例配置独立的工具和许可证，也无需分别承担学习成本。
可信人工智能
AI 可以加快测试生成、需求处理和自动化，但验证证据仍来自确定性且经过认证的验证方法。您的团队既能利用 AI 提升效率，又不会把安全论证的可信度押在 AI 上。
内置审计证据
经 TÜV SÜD 认证的组件随附相应证据，可减少每次审计所需的工作。