• 关于我们
  • 产品服务
  • 解决方案
  • 新闻中心
  • 联系我们
    • 0532-67769560
    MODEL VERIFIER
    模型动态验证工具

    • 自动生成测试用例

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

    • 便于编辑测试用例

      支持Excel格式编辑器，可设置类型及允许误差的范围

    • 多种测试模式

      自动执行MIL，SIL，Back-to-Back测试

    • 测量模型覆盖率

      可测量Branch、Condition、MC/DC、Look-up Table等13种覆盖率

    • 测试用例复用

      分析MDF格式的实车数据，轻松生成测试用例

    • 根据要求生成测试用例组

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

    产品优势

    技术参数


    应用领域

    合作伙伴

    免费试用
    上一条：模型静态验证工具 返回列表 下一条：暂无信息

    联系我们

    • 姓名

    • E-mail

    • 电话*

    • 公司

    • 您的留言