0532-67769560
MODEL VERIFIER
模型动态验证工具
  • 自动生成测试用例

    自动生成系统或子系统单元测试用例,分析生成数据类型/最小值/最大值/分支相关的常数
  • 便于编辑测试用例

    支持Excel格式编辑器,可设置类型及允许误差的范围
  • 多种测试模式

    自动执行MIL,SIL,Back-to-Back测试
  • 测量模型覆盖率

    可测量Branch、Condition、MC/DC、Look-up Table等13种覆盖率
  • 测试用例复用

    分析MDF格式的实车数据,轻松生成测试用例
  • 根据要求生成测试用例组

    收集适用于模型的要求,确保测试用例和要求之间的可追溯性

产品优势

技术参数


应用领域

合作伙伴

联系我们

  • 姓名

  • E-mail

  • 电话*

  • 公司

  • 您的留言

0.2401s