首页> 中国专利> 用于设计模型的基于覆盖的自动化的测试用例增广的系统和方法

用于设计模型的基于覆盖的自动化的测试用例增广的系统和方法

摘要

一种用于自动化的测试用例增广的方法,所述方法包括在自动化测试增广系统从基于模型的开发工具来接收设计模型和模型覆盖间隙信息,将模型覆盖间隙信息转化为机器可读数学测试目标表达式,通过转化机器可读数学测试目标表达式来开发一组测试目标算子,定位设计模型内的所识别的覆盖间隙的对象算子,将测试目标算子附连到设计模型的对象算子以创建测试模型,通过将在对象算子的测试目标传播到设计模型的测试节点算子来增广测试模型,以及由测试生成器来运行增广的测试模型以得到测试用例,来覆盖所述覆盖间隙和模型覆盖间隙的原因。还公开用于实现基于模型的设计的系统和非暂时计算机可读介质。

著录项

  • 公开/公告号CN107025170A

    专利类型发明专利

  • 公开/公告日2017-08-08

    原文格式PDF

  • 申请/专利权人 通用电气公司;

    申请/专利号CN201710056954.8

  • 发明设计人 李萌;M.R.杜尔林;戴健;S.A.斯泰西;

    申请日2017-01-26

  • 分类号

  • 代理机构中国专利代理(香港)有限公司;

  • 代理人徐予红

  • 地址 美国纽约州

  • 入库时间 2023-06-19 02:58:05

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2017-09-01

    实质审查的生效 IPC(主分类):G06F11/36 申请日:20170126

    实质审查的生效

  • 2017-08-08

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号