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

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

关键特性

icon 01Back-to-Back验证
  • 模型与Auto-C代码的一致性测试
  • 模型与目标代码的一致性测试
  • 自动生成简单易懂的一致性测试报告
icon 02模型覆盖度测定
  • 支持CC、DC、MC/DC覆盖度测定
  • 自动生成覆盖度测定报告
  • 覆盖度测定报告可直接链接对应模型
icon 03在环仿真
  • 支持模型在环仿真（MILS）
  • 支持软件在环仿真（SILS）支
  • 持处理器在环仿真（PILs）
icon 04测试效率化
  • 自动生成测试用例
  • 模型在线调试
  • 可编程脚本自动化测试
imageimage
Back-to-Back一致性验证报告CC、DC、MCDC模型覆盖度报告

典型应用场景

  • 使用场景一：模型-代码开发
  • 使用场景二： Legacy代码模型化
imageimage

相关案例

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

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

联系我们

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