SureSoft：MODEL VERIFIER

模型动态验证工具

一、为什么选择MODEL VERIFIER

特点

 

优势

 

 

预期效果

 

 

二、需求

关键任务领域需要安全性和可靠性认证

• 结构化的覆盖目标必须通过测试来实现
• 需要测试模型和代码的一致性

三、解决方案

模型动态验证过程

 

四、功能

自动生成测试用例

•  自动为每个系统或子系统生成测试用例
•  根据测试数据生成方法和输入约束条件生成测试数据

 

简单的测试用例编辑

•  支持与测试用例相关的要求事项，类别，参数，误差容许设置
•  Excel格式测试数据编辑支持

 

多种测试模式

• 自动执行MIL，SIL，以及背靠背测试：

支持期望值比较，MIL、SIL、仿真及背对背测试，以验证模型和代码一致性

 

测量模型覆盖率

 

信号记录

• 在测试用例运行期间监控特定的信号

 

测试用例再利用(1/2)

 

测试用例再利用(2/2)

 

 

基于需求的测试

• 项目和测试用例可以按需求单位进行管理
• 支持测试用例和需求之间的双向可追溯性

 

五、规格

 

 

六、参考

 

新能源汽车HIL测试用例改善实例

 

新能源汽车HIL测试用例改善实例