模型/代码Back-to-Back自动化测试工具产品解决方案
FOneeasyModelVerifier模型/代码Back-to-Back自动化测试工具
FOneeasyModelVerifier是富士通南大软件自主研发的一款可全自动完成Simulink模型和C代码的Back-to-Back一致性验证工具。
本工具可广泛应用于基于模型开发产品的单体测试和集成测试。支持测试用例的自动生成及便利编辑,支持MILs/SILs/PILs,测试过程无需人工参与,自动比较仿真结果并通过生成的HTML报表直观呈现测试结果,是一款深得客户信赖的自动化测试工具。
关键特性
01Back-to-Back验证
模型与Auto-C代码的一致性测试
模型与目标代码的一致性测试
自动生成简单易懂的一致性测试报告
02模型覆盖度测定
支持CC、DC、MC/DC覆盖度测定
自动生成覆盖度测定报告
覆盖度测定报告可直接链接对应模型
03在环仿真
支持模型在环仿真(MILS)
支持软件在环仿真(SILS)支
持处理器在环仿真(PILs)
04测试效率化
自动生成测试用例
模型在线调试
可编程脚本自动化测试
Back-to-Back一致性验证报告
CC、DC、MCDC模型覆盖度报告
典型应用场景
使用场景一:模型-代码开发
使用场景二:Legacy代码模型化
相关案例
通过本产品的导入,帮助多家主机厂及Tier1厂商实现了产品品质和工作效率的双提高,并大幅的降低了人力投入,获得了客户的一致好评
某研究所的电源控制系统的一致性验证
某整车厂的发动机及变速箱电控软件的测试