手动实现完整覆盖率既缓慢，往往也不可能
逐一手动选择输入来执行每项判定并达到每个 MC/DC 目标，需要投入大量精力；有些目标甚至很难凭直觉找到相应输入。
挑战
手动编写测试用例难以适应规模增长。
所需测试定义明确：完整结构覆盖率、单元级稳健性以及基于需求的测试。真正耗费精力的是手动生成，或依靠偶然性生成这些测试。
随机生成器会产生庞大的测试集，却无法判断目标是否可达
随机生成或基于搜索的生成会产生庞大且冗余的测试集，也无法区分真正的覆盖率缺口与本来就不可达的目标。
从需求到测试用例仍依赖人工
将自然语言需求转换为可执行测试用例——包括输入、预期输出和可追溯关系——是一项重复性工作，而且每次需求变更都要重新完成。
解决方案
BTC TestStack 为您生成所需测试。
BTC TestStack 会针对所有关键目标自动生成测试，包括结构覆盖率、稳健性和需求。确定性模型检验引擎负责覆盖率和稳健性，BTC AI Assistant 则将需求转换为可执行测试用例。
确定性模型检验
覆盖率和稳健性测试用例直接从结构本身推导，可实现 100% 覆盖率并具备数学完备性；相关功能已针对 ISO 26262 及相关标准获得认证。
面向需求的 BTC AI Assistant
读取自然语言需求并起草可执行的基于需求的测试用例，供您在采纳前审查。
形式化方法 + AI
无需人工审查，自动建立对 AI 生成产物的信任。
当需求以形式化、机器可读的形式提供时，BTC TestStack 会将其作为独立参照来核验 AI 输出。生成的产物以该形式化需求为验证基准，因此无需人工审查步骤即可信任结果。
三个目标，一个解决方案
无论测试目标是什么，BTC TestStack 都能生成相应测试。
自动测试生成面向三个目标。
结构覆盖率
实现 100% 覆盖率，或证明目标不可达。
生成输入值和校准值，使测试用例覆盖模型或代码中的每个可达结构元素，包括语句、判定、MC/DC 等。
模型检验可找出规模最小、长度最短的测试集；当目标不可达时，还会给出数学证明。这些测试可用于背靠背测试、回归测试、迁移测试和死代码分析。
覆盖率报告 · Controller_Rev4
MC/DC 覆盖率100%
语句48 / 48
判定31 / 31
MC/DC · branch F @ line 88不可达 · 已证明
稳健性
找出问题，或证明问题不会发生。
通过生成能够触发故障的测试用例，检查单元级运行时错误，包括除以零、向下转型、数组越界和范围违规。
理想结果是找不到测试用例：这证明问题状态不可达。如果该状态可以到达，您会获得相应测试用例用于调试。
稳健性 · 单元级检查
除以零无测试 · 已证明
向下转型无测试 · 已证明
数组越界已找到测试
范围违规无测试 · 已证明
idx_buf @ line 213 → 打开测试进行调试
需求
从自然语言需求到可执行测试用例。
BTC AI Assistant 可在单元级和集成级将需求转换为可执行的基于需求的测试用例，并提供草稿模式供您在接受前审查。
测试用例始终结构清晰、可供审查，并可追溯至对应需求。
BTC AI Assistant · 草稿模式
需求 · REQ-4192
当 brake_pedal > 80% 且车速 > 0 时，decel_request 应在 200 ms 内达到至少 6 m/s²。
TC_REQ-4192_01草稿——待审查
给定speed = 42 km/h
当brake_pedal = 90%
预期decel_request ≥ 6.0 @ t ≤ 200 ms
已认证
BTC TestStack
已通过 ISO 26262 认证
该证书涉及多个行业的功能安全标准：
ISO 26262
汽车
IEC 61508-3:2010
工业/跨行业功能安全
ISO 25119
农林机械
IEC 62304
医疗设备软件
EN 50716
铁路/铁路应用
对于ISO 26262，BTC TestStack获得了最高工具置信度（TCL）认证，适用于所有ASIL级别，包括ASIL D。我们根据要求免费向客户提供证书和报告，从而消除了客户方面的大部分工具鉴定工作。