BTC TestStack × Simulink

测试与验证,原生集成于Simulink。

在一个工作流程中测试模型和生成的生产代码,并内置对 dSPACE TargetLink 和 MathWorks Embedded Coder 的支持。

实时测试 · MIL → SIL → PIL
COMPLETE
100%
模型与代码的 MC/DC
声明100%
分支100%
MC/DC100%
MIL ✓SIL ✓PIL ✓

0 偏差 · 生成 48 个测试用例

MATLAB/Simulink · Stateflow · dSPACE TargetLink · MathWorks Embedded CoderPowered by BTC QCore
挑战

测试工作已转向开发人员。

更快的发布周期使测试工作从独立测试团队转向开发人员。过去,开发人员在 Simulink 中开展测试,往往只是手动尝试不同的模型输入:测试无法追溯到需求,无法自动执行,也无法复用于生成代码或 CI 流水线。

1

手动试错

逐一手动尝试不同的模型输入。

2

没有需求可追溯性

测试未关联到其所验证的需求。

3

无法自动化或复用

测试用例无法复用于生成代码或 CI 流水线。

解决方案

直接在 Simulink 中开展测试驱动开发。

BTC TestStack 将经认证的测试与验证能力直接带入 Simulink 模型。通过一个同时理解模型和生成代码的项目,开展基于需求的测试、背靠背测试以及跨 MIL、SIL 和 PIL 的覆盖率分析。测试框架会自动创建并持续更新。

Simulink 集成

就地创建、运行和调试

从 Simulink 功能区设置并执行测试,直接在原始模型中逐步调试失败。

MIL / SIL / PIL

模型和代码,一个项目

对模型和生成代码运行相同的测试,并证明它们的行为相同。

无需手动构建测试框架

为您管理测试框架

测试框架会在后台生成和维护,并随模型变化保持更新。

功能

单元/集成层级测试所需的一切,集中在一处。

七项功能,一个项目,没有单独的工具链。

测试管理01

BTC TestCase Manager

Web UI 包含可排序、过滤和分组的表格、可配置的键盘快捷键和保存的个性化视图。

执行02

在模型上执行和调试

在原始 Simulink 模型上运行并逐步执行测试,以实现快速、测试驱动的迭代。

背靠背测试03

自动比较模型与代码

比较 MIL 与 SIL 和 PIL,并从 TargetLink 或 Embedded Coder 自动提取测试架构。

自动测试生成04

由需求或覆盖率驱动

BTC TestStack 自动生成测试用例:既可根据需求生成,也可面向弥补结构覆盖率缺口生成。

代码覆盖率05

从语句覆盖到 MC/DC

结构覆盖率和稳健性覆盖率会随测试和代码变化自动更新。

AUTOSAR06

自动生成封装模型

自动生成封装模型,包括调度逻辑和客户端/服务器存根。

需求可追溯性07

ALM/PLM 集成

与 IBM DOORS、Siemens Polarion、PTC Integrity、codeBeamer、Jama 和 SystemWeaver 实现需求和测试的双向可追溯。

BTC TestStack × AI

面向 AI 时代而构建。

BTC TestStack 可连接您选择的 AI 模型。您既可以使用 AI 加速交互式工作流程,也可以让 AI 控制并编排端到端工作流程。

内置

BTC AI Assistant

理解被测系统的生成式 AI。

工作流程中内置了聊天助手。它将生成式模型与 TestStack 所掌握的被测系统上下文(接口、需求和结构)相结合,可起草原本需要手工编写的工程产物。

根据需求和接口上下文起草测试用例
将自然语言需求转化为形式化规约
与您首选的 AI 模型配合使用
MCP 服务器

面向 AI 智能体

既便于工程师使用,也便于 AI 智能体调用。

工程师在 IDE 中执行的同一组操作,也会通过 MCP 服务器提供给 AI 智能体。智能体可以生成测试、执行验证并读取结果,因此验证始终处于智能体现有的工作闭环中。

将 BTC TestStack 操作作为 MCP 工具提供
智能体生成测试、执行验证并读取证据
兼容团队使用的助手和智能体框架
两者均连接至 BTC TestStack
您将获得

工作流程在五个环节得到缩短。

1

模型与代码共用一个项目

模型及其生成代码位于同一个项目中,并使用同一组测试。

2

无需手动构建测试框架

测试框架会自动构建和维护,并随模型变化保持更新。

3

经认证组件生成的证据

结果由 TÜV SÜD 认证的组件生成,适用于 ISO 26262 以及不同行业的相关安全标准。

4

快速迭代

在模型本身上运行和调试,因此失败的测试直接指向模块。

5

自动计算覆盖率

从语句覆盖到 MC/DC 的覆盖率会随测试和代码变化自动更新。

已认证

BTC TestStack

已通过 ISO 26262 认证

该证书涉及多个行业的功能安全标准:

ISO 26262
汽车
IEC 61508-3:2010
工业/跨行业功能安全
ISO 25119
农林机械
IEC 62304
医疗设备软件
EN 50716
轨道交通应用

对于 ISO 26262,BTC TestStack 已获得最高工具置信等级(TCL)认证,适用于包括 ASIL D 在内的所有 ASIL 等级。客户提出请求后,我们会免费提供证书和报告,从而免去客户侧的大部分工具鉴定工作。

Feel the Quality

申请评估许可证。

其中包含由我们的工程师提供的启动研讨会,并基于您自己的 Simulink 模型和生成代码完成设置。