在汽车、工业及航空航天等高安全领域，基于模型的设计已成为主流。然而，如何从海量、复杂的需求中派生出高效的测试用例，并确保测试的完整性与安全性，始终是开发团队面临的严峻挑战。BTC EmbeddedPlatform 作为全球领先的、经TÜV Süd认证的嵌入式软件测试与验证平台，为模型级和代码级的功能安全验证提供了从需求追溯、测试执行、覆盖率分析到形式化证明的一站式解决方案 。
核心产品矩阵：贯穿测试全生命周期的强大引擎
BTC EmbeddedPlatform 通过三大核心套件的无缝集成，覆盖了从传统动态测试到最前沿的形式验证的全部需求。
1. BTC 功能测试套件 —— 基于需求的自动化测试
这是面向 Simulink、TargetLink、Embedded Coder 模型及手写代码的 ISO 26262 认证测试工具 。
- 需求可追溯性：通过与 IBM DOORS、PTC Integrity、Siemens Polarion 等 ALM/PLM 工具的直接API连接，实现需求、测试用例和仿真结果的双向追溯。当需求发生变更时，系统会自动高亮关联的测试用例，并提供DIFF视图辅助更新 。
- 智能测试编辑 (BTC TestComposer)：提供专用的测试用例编辑器，支持枚举值下拉选择、信号发生器、图形化查看器及基于公式的灵活公差处理。测试宏与校准集支持信号序列的复用与实例化，显著提升测试编写效率 。
- 全层级覆盖分析：自动聚合并展示需求覆盖率、模型覆盖率（Simulink/Stateflow）和代码覆盖率。当测试用例创建或修改时，覆盖率报告实时更新，直观反映测试进度 。
- 灵活的多级调试：支持在 MIL/ SIL/ PIL 不同层级执行测试。对于失败的测试用例，可生成独立的“调试沙箱”（Simulink模型或 Visual Studio 项目），便于开发人员在隔离环境中复现问题，而无需担心污染原始设计 。
2. BTC 形式验证套件 (EmbeddedValidator) —— 超越测试的数学证明
形式验证代表了软件动态分析的终极形态，它利用模型检查技术，以100%的数学完整性证明软件是否绝对安全 。
- 模型检查技术：与传统测试只能验证有限路径不同，模型检查器只需按一下按钮，即可分析系统所有可能的运行路径（即无穷尽的输入信号与校准值组合）。它能自动证明“给定的安全要求永远不会被违反”，或者返回一个具体的反例，精确定位导致危险的场景 。
- 副作用检测 (形式测试)：自动对所有形式化需求与所有测试用例进行交叉检查，检测“测试用例N°5是否意外违反了需求N°10”这类传统方法难以发现的副作用 。
- 基于需求的测试生成：当现有测试用例无法完全覆盖某条形式化需求时，该附加组件可自动生成缺失的测试用例，确保100%的需求覆盖率 。
- 智能调试：生成反例后，工具可自动创建独立的调试环境（Simulink模型沙箱或基于代码的调试项目），帮助工程师快速追溯问题根源 。
技术优势与认证
- 最高等级功能安全认证
BTC EmbeddedPlatform 已获得德国 TÜV Süd 认证，适用于 ISO 26262 (最高ASIL D)、IEC 61508、ISO 25119、IEC 62304 等标准。作为验证工具，其工具置信度等级达到 TCL 3，可极大降低客户方在工具鉴定上的工作量 。
- 深度集成与自动化
- 开发环境集成：完美集成 MathWorks MATLAB/Simulink、dSPACE TargetLink 及 Embedded Coder 。
- CI/CD 集成：提供强大的 REST API，支持在持续集成工作流中取消长时间运行的操作、将激励向量直接转换为测试用例，实现全自动的测试与验证流程 。
- AI 增强测试
在最新版本中，BTC 引入了基于 AI 的测试生成功能（测试阶段）。通过文档上传和新的聊天机器人模式，AI 能够理解需求并辅助生成测试用例，进一步提升测试效率 。
典型应用场景
模型迁移与回归测试：在进行模型版本升级或工具链迁移时，利用自动化测试套件快速验证新旧版本行为的一致性 。
基于模型的安全件开发：在动力域控、底盘域控等ASIL D级ECU开发中，使用功能测试套件完成 MIL/SIL/PIL 全层级测试与覆盖率分析 。
安全需求的形式化证明：对于关键的安全目标（如“永远不得同时打开两个开关”），使用形式验证套件进行数学证明，彻底消除测试盲区 。
备注：如需了解更多最新特性（如 MATLAB 2025b、TargetLink 25.1 支持），请联系我们。