FOne easyModelVerifier™

模型/代码Back-to-Back自动化验证工具

FOne easyModelVerifier™是南京富士通南大软件技术有限公司自主研发的一款可全自动完成Simulink模型和C代码的Back-to-Back一致性验证工具。本工具可广泛应用于基于模型开发产品的单体测试和集成测试。支持测试用例的自动生成及便利编辑，支持MILS/SILS仿真，测试过程无需人工参与，自动比较仿真结果并通过生成的HTML报表直观呈现测试结果，是一款深得客户信赖的自动化测试工具。

关键特性

• Back-to-Back验证
  支持Legacy代码与模型的一致性验证
  支持模型与AUTO-C代码的一致性验证
  自动生成一致性验证报告
• 模型覆盖度测定
  支持C0、C1、MC/DC覆盖度测定
  自动生成覆盖度测定报告
• 在环仿真
  支持模型在环仿真（MILS）
  支持软件在环仿真（SILS）
• 测试效率化
  自动生成测试用例、便于编辑测试用例
  测试过程高度自动化，无需人工参与
  

典型应用场景

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

相关案例

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

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

联系我们

电 话：025-86630566-5528
邮 箱：[email protected]
地 址：江苏省南京市雨花台区文竹路6号
邮 编：21001