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 邮 箱：fnstml-business@cn.fujitsu.com 地 址：江苏省南京市雨花台区文竹路6号 邮 编：210012