产品概述
BTC EmbeddedPlatform 是面向安全关键嵌入式软件开发的测试与验证平台，支持从需求到模型、从模型到代码、从测试执行到覆盖率分析的全流程验证活动。平台强调需求追溯、自动化测试、结构覆盖率和形式化验证等关键能力，特别适合汽车电子和功能安全项目的验证体系建设。
对于需要提升验证深度、缩短回归周期并满足 ISO 26262 等标准要求的团队，BTC 能够显著增强测试工程的系统性与可管理性。
核心能力
- 需求到测试的追溯：帮助团队建立需求、模型、代码与测试结果之间的关联
- 动态测试能力：支持功能测试、回归测试与自动化验证执行
- 覆盖率分析：支持结构覆盖率、MC/DC 等关键指标分析
- 形式化验证：适合复杂逻辑、关键算法和安全相关模块的补强验证
- 标准适配：有利于满足功能安全与高可靠项目的验证要求
典型应用场景
- 基于 Simulink/TargetLink 的模型开发项目验证
- 功能安全软件的需求验证、覆盖率闭环与回归测试
- 需要统一管理测试资产与验证证据的团队
- 希望提升自动化测试比例与验证复用率的研发组织
客户收益
- 增强测试结果的可追踪性与审核友好性
- 减少人工组织测试与整理证据的工作量
- 提升对复杂逻辑和安全相关软件的验证把控能力
- 帮助企业逐步沉淀标准化、可复用的测试验证流程
索弗特支持内容
索弗特可为客户提供 BTC 方案交流、试用评估支持、测试流程导入建议，以及与 TESSY、Suresoft、TASKING 编译器和 AUTOSAR/功能安全服务协同的整体解决方案。
咨询方式
如需了解 BTC 在模型验证、代码验证、覆盖率分析或功能安全项目中的应用方式，欢迎联系索弗特进一步交流。