BTC EmbeddedPlatform
BTC Embedded Systems AG，于1999年成立于德国奥尔登堡，原用名为：OSCEmbedded Systems。公司始于一个伟大的目标：使复杂而强大的数学验证和测试方法，走出理论研究的学术象牙塔，应用到基于模型的软件开发的真实量产项目中。
如今，BTC的产品在全球汽车整车厂及供应商的嵌入式系统的自动测试和验证领域中得到了广泛应用。在汽车电子自动测试领域，我们构建了和 dSPACE 的战略合作伙伴关系，BTC Embedded Systems AG的工具也通过了南德公司TÜV Süd的认证，结合工具和最佳流程实践，我们持续提供面向于 AUTOSAR 及 ISO26262认证的支持，以帮助汽车用户快速构建满足这些标准的测试和验证环境。
产品构成
• 功能测试套件
高度集成Simulin/TargetLink,在不同级别MIL/SIL/PIL对模型及代码自动执行测试用例
模型及代码覆盖率统计，自动生成调试环境
自动生成来自需求的测试用例
• 背靠背测试套件
自动生成满足C代码MCDC级别覆盖率100%的测试用例
全自动执行模型和C代码的等效性测试，并可检查C代码的隐藏缺陷，包括检查出死代码（Unreachable)的存在
满足结构覆盖率的智能测试用例生成技术
• 形式测试套件
通过内置的形式化记述编辑器，可以轻松的把文本形式的自然语言转换为计算机可以识别的形式化语言
形式化测试，自动判定仿真结果并统计需求覆盖率
自动生成来自需求的测试用例，不全不足的需求覆盖率
• 形式验证套件
将自然语言需求转化为可被计算机理解的形式化需求，使用数学穷举方法对TargetLink模型或C代码的内部状态进行反例求证，检查被测系统是否100%满足形式化需求，确保‘0’缺陷。
产品优势
• 领先的验证和确认（Verification&Validation）技术
需求的形式化,通过内置的形式化记述编辑器，可以轻松的把文本形式的自然语言转换为计算机可以识别的形式化语言。转换后的形式化语言可以用于形式测试，需求覆盖率测定和统计，形式验证等。形式化需求是实现系统性自动测试的核心出发点。
• 基于Model Checking技术的形式验证
全面穷举被测对象所有可能的输入组合，在无限的时间内进行自动穷举排查，即使只存在一个违反需求的数据组合，也会被检出的强大的穷举验证技术。在验证过程中发现的违反需求的数据组合，可以作为测试反例自动生成调试模型及MSVC代码调试环境进行问题的定位和解决。
• 满足代码结构覆盖率的测试用例自动生成
语句覆盖，分支覆盖，MC/DC覆盖等，针对功能安全所 要求的C代码的覆盖率目标，自动生成测试用例。如果遇到死代码无法生成测试用例进行覆盖时，则会主动报告死代码位置，用于后续处理。
