FOne easyModelVerifier 模型/代码Back-to-Back自动化测试工具

FOne easyModelVerifier是富士通(南京)软件自主研发的一款可全自动完成Simulink模型和C代码的Back-to-Back一致性验证工具。

本工具可广泛应用于基于模型开发产品的单体测试和集成测试。支持测试用例的自动生成及便利编辑,支持MILs/SILs/PILs,测试过程无需人工参与,自动比较仿真结果并通过生成的HTML报表直观呈现测试结果,是一款深得客户信赖的自动化测试工具。

关键特性

Back-to-Back验证

  • 模型与Auto-C代码的一致性测试
  • 模型与目标代码的一致性测试
  • 自动生成简单易懂的一致性测试报告自动生成简单易懂的一致性测试报告

模型覆盖度测定

  • 支持CC、DC、MC/DC覆盖度测定
  • 自动生成覆盖度测定报告
  • 覆盖度测定报告可直接链接对应模型

在环仿真

  • 支持模型在环仿真(MILS)
  • 支持软件在环仿真(SILS)支
  • 持处理器在环仿真(PILs)

测试效率化

  • 自动生成测试用例
  • 模型在线调试
  • 可编程脚本自动化测试
Auto C Back to Back Test Report
Back-to-Back一致性验证报告
Model Coverage Report
CC、DC、MCDC模型覆盖度报告

典型应用场景

  • 使用场景一:模型-代码开发
  • 使用场景二: Legacy代码模型化
Auto-C
Legacy

相关案例

通过本产品的导入,帮助多家主机厂及Tier1厂商实现了产品品质和工作效率的双提高,并大幅的降低了人力投入,获得了客户的一致好评

  • 某研究所的电源控制系统的一致性验证
  • 某整车厂的发动机及变速箱电控软件的测试

联系我们

电话:025-86630566-5528
商务联络:fnstml-business@fujitsu.com
技术支持:fnstml-prd-support@fujitsu.com
地址:江苏省南京市雨花台区文竹路6号
邮编:210012