手动编写测试用例
逐个手动输入每项测试数据，却没有任何结构能够拦截无效输入。
BTC TestStack
基于需求的测试。
直接从需求推导测试用例，适用于 Simulink、dSPACE TargetLink、Embedded Coder、手写代码和 AI 生成代码。
SimulinkdSPACE TargetLinkEmbedded Coder手写 C/C++AI 生成代码
需求 · DOORS · REQ-142已建立追溯
启用 enable 后，输出将在 200 ms 内以斜坡方式达到 target。
已关联的测试用例
TC_07enable=true，target=80 → 200 ms 内完成斜坡变化
TC_08enable=false → 输出保持为 0
结果已同步 → DOORS2/2 已验证
挑战
测试本身其实很简单。
编写测试用例并不难。真正繁重的是：在需求持续变化、代码反复生成且审计节点临近时，仍要确保每项测试始终与其验证的需求保持关联。多数团队只能依靠原本并非为此而设计的工具完成这些工作。
失效的可追溯关系
需求一旦变化，其与测试用例的关联就可能悄然失效，却没有人收到提醒，也无人知道哪些测试需要重新审查。
工具并非为此而设计
电子表格、脚本和自建测试框架暂时代替了专业测试工具——直到它们再也无法胜任。
越来越慢的调试过程
随着项目不断扩展，复现单个失败测试并将其交接给他人所需的时间也在每次发布中持续增加。
解决方案
一个贯通全程的工作流，而不是一堆零散工具。
BTC TestStack 可直接连接 Simulink、dSPACE TargetLink 和 MathWorks Embedded Coder，并为手写 C 代码自动搭建测试项目，包括桩代码生成和调用图分析。需求、测试用例、结果和覆盖率集中在一处管理，并由通过 ISO 26262 认证的组件提供支撑。
原生工具连接
直接集成 Simulink、TargetLink 和 Embedded Coder，在同一项目中测试模型及其生成代码。
自动搭建 C/C++ 代码测试项目
针对手写 C/C++ 代码，BTC TestStack 会分析调用图并生成桩代码，让您从一个完整测试项目开始，而不是从空白测试框架起步。
来自认证组件的证据
每项结果均由 TÜV SÜD 认证组件生成，可直接用于 ISO 26262 及相关标准要求的安全论证。
需求可追溯性
需求可追溯性。
BTC TestStack 通过 API 直接连接您的需求管理工具，无需容易出错的 Excel 或 ReqIF 交换。双向连接会将测试用例和结果同步回 ALM/PLM 工具。
需求发生变化时，BTC TestStack 会突出显示该需求及所有关联测试用例，并通过差异对比准确呈现变更内容——因此您只需审查真正受影响的测试，而不是整个测试套件。
关联至
IBM DOORSSiemens PolarionPTC IntegritycodeBeamerJamaSystemWeaver
可追溯闭环
初次导入
ALM/PLM
导入需求和测试规约
编写测试用例
执行测试用例
回写测试执行结果
迭代
ALM/PLM
更新需求和测试规约
审查并调整测试用例
重新执行测试用例
回写测试执行结果
测试编写
专为安全关键软件打造的测试编写方式。
BTC TestComposer 是专用的测试语言和编辑器。它了解完整的测试架构，并从结构上防止无效输入——例如，枚举值会显示为下拉菜单，而不是自由文本。每个测试用例都结构清晰、可供审查，并可追溯至对应需求；它不是一个碰巧能执行代码的脚本。
信号生成器
无需离开测试用例，即可构建斜坡、阶跃和正弦等激励信号。
图形化查看器
在同一时间轴上对照查看输入值、预期值和实际值。
灵活的容差处理
为每个信号分别设置绝对、相对和时间容差，并自动执行检查。
公式编辑器
通过引用其他信号的公式来表达计算得出的预期值。
测试宏
可复用的构件，可包含一个或多个信号和/或校准参数。
智能筛选
将视图聚焦于真正重要的内容，例如仅显示失败的信号或步骤。
内置结果视图
测试结果直接以表格和图形呈现，无需导出。
可复用校准集
在不同测试用例中应用命名校准集，确保共用参数始终一致。
AI 测试生成
利用 AI 生成测试。
BTC AI Assistant 可将自然语言需求直接转化为功能测试用例。集成式聊天界面让您在接受任何生成测试前，追问某个值为何如此选择、某个步骤具体检查什么。
BTC AI Assistant
自然语言需求
“设置 enable 后，输出会在 200 ms 内以斜坡方式上升至 target。”
生成的测试用例
TC_07 — enable = true，target = 80 → 斜坡 ≤ 200 ms
向助手提问
“该测试为何使用 80 作为目标值？”
三个层级的覆盖率
三个层级的覆盖率。
需求覆盖率、模型覆盖率和代码覆盖率统一跟踪，因此任一层级的缺口都能与其他层级对照呈现。
需求覆盖率
清晰掌握哪些需求已由测试用例覆盖，以及这些用例在 MIL、SIL 和 PIL 环境中的通过或失败情况。
模型覆盖率
Simulink 和 Stateflow 覆盖率可沿模型层级向上汇总。
代码覆盖率
从语句覆盖到 MC/DC，均在后台自动计算并持续更新。
覆盖率仪表板自动更新
需求
100%
24/24 项需求 · 0 项失败
模型
96%
判定 + 条件 · Stateflow
代码
99%
语句 100% · 分支 98% · 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 等级。客户提出请求后，我们会免费提供证书和报告，从而免去客户侧的大部分工具鉴定工作。