BTC AI Assistant
理解被测系统的生成式 AI。
工作流程中内置了聊天助手。它将生成式模型与 TestStack 所掌握的被测系统上下文(接口、需求和结构)相结合,可起草原本需要手工编写的工程产物。
在一个工作流程中测试模型和生成的生产代码,并内置对 dSPACE TargetLink 和 MathWorks Embedded Coder 的支持。
0 偏差 · 生成 48 个测试用例
更快的发布周期使测试工作从独立测试团队转向开发人员。过去,开发人员在 Simulink 中开展测试,往往只是手动尝试不同的模型输入:测试无法追溯到需求,无法自动执行,也无法复用于生成代码或 CI 流水线。
逐一手动尝试不同的模型输入。
测试未关联到其所验证的需求。
测试用例无法复用于生成代码或 CI 流水线。
BTC TestStack 将经认证的测试与验证能力直接带入 Simulink 模型。通过一个同时理解模型和生成代码的项目,开展基于需求的测试、背靠背测试以及跨 MIL、SIL 和 PIL 的覆盖率分析。测试框架会自动创建并持续更新。
从 Simulink 功能区设置并执行测试,直接在原始模型中逐步调试失败。
对模型和生成代码运行相同的测试,并证明它们的行为相同。
测试框架会在后台生成和维护,并随模型变化保持更新。
七项功能,一个项目,没有单独的工具链。
Web UI 包含可排序、过滤和分组的表格、可配置的键盘快捷键和保存的个性化视图。
在原始 Simulink 模型上运行并逐步执行测试,以实现快速、测试驱动的迭代。
比较 MIL 与 SIL 和 PIL,并从 TargetLink 或 Embedded Coder 自动提取测试架构。
BTC TestStack 自动生成测试用例:既可根据需求生成,也可面向弥补结构覆盖率缺口生成。
结构覆盖率和稳健性覆盖率会随测试和代码变化自动更新。
自动生成封装模型,包括调度逻辑和客户端/服务器存根。
与 IBM DOORS、Siemens Polarion、PTC Integrity、codeBeamer、Jama 和 SystemWeaver 实现需求和测试的双向可追溯。
BTC TestStack 可连接您选择的 AI 模型。您既可以使用 AI 加速交互式工作流程,也可以让 AI 控制并编排端到端工作流程。
理解被测系统的生成式 AI。
工作流程中内置了聊天助手。它将生成式模型与 TestStack 所掌握的被测系统上下文(接口、需求和结构)相结合,可起草原本需要手工编写的工程产物。
既便于工程师使用,也便于 AI 智能体调用。
工程师在 IDE 中执行的同一组操作,也会通过 MCP 服务器提供给 AI 智能体。智能体可以生成测试、执行验证并读取结果,因此验证始终处于智能体现有的工作闭环中。
模型及其生成代码位于同一个项目中,并使用同一组测试。
测试框架会自动构建和维护,并随模型变化保持更新。
结果由 TÜV SÜD 认证的组件生成,适用于 ISO 26262 以及不同行业的相关安全标准。
在模型本身上运行和调试,因此失败的测试直接指向模块。
从语句覆盖到 MC/DC 的覆盖率会随测试和代码变化自动更新。
已通过 ISO 26262 认证
该证书涉及多个行业的功能安全标准:
对于 ISO 26262,BTC TestStack 已获得最高工具置信等级(TCL)认证,适用于包括 ASIL D 在内的所有 ASIL 等级。客户提出请求后,我们会免费提供证书和报告,从而免去客户侧的大部分工具鉴定工作。
同一套经认证的 BTC TestStack 还提供其他接入方式,并覆盖以下用例。