欢迎来到喀斯玛汇智科技服务平台

服务热线: 010-82648522

首页 > 专利推荐 > 专利详情

一种动态断点的自动生成方法及系统

  • 申请号:CN201210447321.7
  • 专利类型:发明专利
  • 申请(专利权)人:中国科学院计算技术研究所
  • 公开(公开)号:CN102968369A
  • 公开(公开)日:2013.03.13
  • 法律状态:实质审查的生效
  • 出售价格: 面议
  • 立即咨询

专利详情

专利名称 一种动态断点的自动生成方法及系统
申请号 CN201210447321.7 专利类型 发明专利
公开(公告)号 CN102968369A 公开(授权)日 2013.03.13
申请(专利权)人 中国科学院计算技术研究所 发明(设计)人 李丰;霍玮;陈聪明;李龙;衷璐洁;冯晓兵
主分类号 G06F11/36(2006.01)I IPC主分类号 G06F11/36(2006.01)I
专利有效期 一种动态断点的自动生成方法及系统 至一种动态断点的自动生成方法及系统 法律状态 实质审查的生效
说明书摘要 本发明公开一种动态断点的自动生成方法和系统,所述系统包括:创建动态依赖图模块,用于在程序执行过程中,利用动态插桩技术,收集程序语句的执行实例,实例之间的执行顺序以及依赖关系,依此创建动态依赖图;精化调试范围模块,用于利用程序动态切片技术,提取动态依赖图与程序失效描述相关的部分;构建状态流程图模块,用于将精化调试范围模块输出的动态依赖图中的结点和边互换,将调试范围转化成状态流程图;生成动态断点模块,用于生成动态断点以及断点处需要检查的表达式的集合;收集调试反馈模块,用于收集用户对所提供的断点以及断点处需要检查的表达式的集合的判断结果。

交易流程

  • 01 选取所需
    专利
  • 02 确认专利
    可交易
  • 03 签订合同
  • 04 上报材料
  • 05 确认变更
    成功
  • 06 支付尾款
  • 07 交付证书

平台保障

1、源头对接,价格透明

2、平台验证,实名审核

3、合同监控,代办手续

4、专员跟进,交易保障

  • 用户留言
暂时还没有用户留言

求购专利

专利交易流程

  • 01 选取所需专利
  • 02 确认专利可交易
  • 03 签订合同
  • 04 上报材料
  • 05 确认变更成功
  • 06 支付尾款
  • 07 交付证书
官方客服(周一至周五:8:30-17:30) 010-82648522