Solution
解决方案
德国BTC
德国BTC公司于1999年成立、专注于嵌入式软件自动测试、基于模型的开发和测试、以及安全关键系统测试。公司使命为面向基于模型的开发技术和嵌入式软件开发、使用自动测试和形式验证技术、幫助客户在缩短的设计周期內提高产品品质。主要应用领域为汽车、航空、工程机械、轨道交通及医疗等、领先的验证和确认技术曾获得图灵奖。
方案系列
  • 形式验证套件: (动态穷舉形式验证) 对dSpace TargetLink模型C代码的內部状态进行反例求证、檢查系统是否满足形式化需求的解决方案。
  • 形式测试套件: (动态形式测试) 自动生成关联需求的测试用例、自动执行测试并判定仿真结果是否违反需求、生成测试报告。
  • Back-to-Back测试套件: (包含功能测试套件) 全自动行模型和C代码的等效性测试、并可檢查C代码的隐藏缺陷、生成测试报告。
  • 功能测试套件: 通过便利的手写测试用例编辑器、对模型、C代码进行测试、并无缝集成调试环境、生成测试报告。
  • ECU软件: 开发流程咨询以及工程服务 : 需求工程、模型架构、建模规范、模型及代码测试(MIL/SIL/PIL) 、功能安全, AutoSAR。
下载中心
请联系我们,威柏会在第一时间帮您解决!
联系我们