• 四川郎酒股份有限公司获第十二届人民企业社会责任奖年度环保奖 2019-05-13
  • 银保监会新规剑指大企业多头融资和过度融资 2019-05-12
  • 韩国再提4国联合申办世界杯 中国网友无视:我们自己来 2019-05-11
  • 中国人为什么一定要买房? 2019-05-11
  • 十九大精神进校园:风正扬帆当有为 勇做时代弄潮儿 2019-05-10
  • 粽叶飘香幸福邻里——廊坊市举办“我们的节日·端午”主题活动 2019-05-09
  • 太原设禁鸣路段 设备在测试中 2019-05-09
  • 拜耳医药保健有限公司获第十二届人民企业社会责任奖年度企业奖 2019-05-08
  • “港独”没出路!“梁天琦们”该醒醒了 2019-05-07
  • 陈卫平:中国文化内涵包含三方面 文化复兴表现在其中 2019-05-06
  • 人民日报客户端辟谣:“合成军装照”产品请放心使用 2019-05-05
  • 【十九大·理论新视野】为什么要“建设现代化经济体系”?   2019-05-04
  • 聚焦2017年乌鲁木齐市老城区改造提升工程 2019-05-04
  • 【专家谈】上合组织——构建区域命运共同体的有力实践者 2019-05-03
  • 【华商侃车NO.192】 亲!楼市火爆,别忘了买车位啊! 2019-05-03
    • / 15
    • 下载费用:20 金币  

    重庆时时彩官网开奖走势图: 一种基于状态分区的静态缺陷检测求精方法.pdf

    摘要
    申请专利号:

    重庆时时彩单双窍门 www.4mum.com.cn CN201410138438.6

    申请日:

    2014.04.08

    公开号:

    CN103927258A

    公开日:

    2014.07.16

    当前法律状态:

    授权

    有效性:

    有权

    法律详情: 授权|||实质审查的生效IPC(主分类):G06F 11/36申请日:20140408|||公开
    IPC分类号: G06F11/36 主分类号: G06F11/36
    申请人: 北京邮电大学
    发明人: 金大海; 张大林; 宫云战; 王雅文; 黄俊飞
    地址: 100876 北京市海淀区西土城路10号
    优先权:
    专利代理机构: 北京路浩知识产权代理有限公司 11002 代理人: 李迪
    PDF完整版下载: PDF下载
    法律状态
    申请(专利)号:

    CN201410138438.6

    授权公告号:

    103927258B||||||

    法律状态公告日:

    2017.06.23|||2014.08.13|||2014.07.16

    法律状态类型:

    授权|||实质审查的生效|||公开

    摘要

    本发明涉及一种基于状态分区的静态缺陷检测求精方法,包括:S1:将待检测的缺陷模式属性状态机集合置于待测函数控制流入口;S2:程序通过路径由前置位置执行到目标位置;S3:属性状态机的状态沿程序路径进行传递以及变化,在目标位置处到达预设状态;S4:取控制流当前节点,判断是否为控制流最后节点;S5:如果不为控制流最后节点,则根据当前节点信息更新属性状态条件以及属性状态分区集合信息。本发明提供的基于状态分区技术的缺陷检测求精方法,给出了缺陷模式的定义,缺陷模式状态机的定义,路径条件的定义,状态条件的定义,状态分区的定义,基于状态分区技术,给出缺陷检测求精方法,从而提高缺陷检测的精度。

    权利要求书

    权利要求书
    1.  一种基于状态分区的静态缺陷检测求精方法,其特征在于,包括具体以下步骤:
    S1:将待检测的缺陷模式的属性状态机的状态集合置于待测函数控制流入口;
    S2:程序通过路径由前置位置执行到目标位置;
    S3:属性状态机的状态沿程序路径进行传递以及变化,在所述目标位置处到达预设状态;
    S4:取控制流当前节点,判断是否为控制流最后节点;
    S5:如果不为控制流最后节点,则根据当前节点信息更新属性状态条件以及属性状态分区集合信息。

    2.  如权利要求1所述的方法,其特征在于,所述置于待测函数控制流入口的集合为从控制流头节点依次进行状态迭代的缺陷模式属性状态机集合,其中,每个状态机的当前状态都关联当前控制流节点的所有变量取值信息。

    3.  如权利要求1所述的方法,其特征在于,所述步骤S5进一步包括:
    将相同状态的所述属性状态条件进行合并,所述属性状态分区不变。

    4.  如权利要求1所述的方法,其特征在于,所述步骤S5进一步包括:
    通过所述属性状态条件判断不可达路径,并删除所述属性状态分区中不可达属性状态分区信息。

    5.  如权利要求1所述的方法,其特征在于,所述步骤S5进一步包 括:若存在$error,则判定为缺陷状态迁移。

    6.  如权利要求4所述的方法,其特征在于,若所述属性状态条件包含属性状态分区信息,则保存该属性状态分区信息,若所述属性状态条件与所述状态分区信息不存在包含关系,则删除属性状态分区信息。

    7.  如权利要求4所述的方法,其特征在于,还包括,删除重复所述属性状态分区信息。

    关 键 词:
    一种 基于 状态 分区 静态 缺陷 检测 方法
      专利查询网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    0条评论

    还可以输入200字符

    暂无评论,赶快抢占沙发吧。

    关于本文
    本文标题:一种基于状态分区的静态缺陷检测求精方法.pdf
    链接地址://www.4mum.com.cn/p-6116894.html
    关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服客服 - 联系我们

    [email protected] 2017-2018 www.4mum.com.cn网站版权所有
    经营许可证编号:粤ICP备17046363号-1 
     


    收起
    展开
  • 四川郎酒股份有限公司获第十二届人民企业社会责任奖年度环保奖 2019-05-13
  • 银保监会新规剑指大企业多头融资和过度融资 2019-05-12
  • 韩国再提4国联合申办世界杯 中国网友无视:我们自己来 2019-05-11
  • 中国人为什么一定要买房? 2019-05-11
  • 十九大精神进校园:风正扬帆当有为 勇做时代弄潮儿 2019-05-10
  • 粽叶飘香幸福邻里——廊坊市举办“我们的节日·端午”主题活动 2019-05-09
  • 太原设禁鸣路段 设备在测试中 2019-05-09
  • 拜耳医药保健有限公司获第十二届人民企业社会责任奖年度企业奖 2019-05-08
  • “港独”没出路!“梁天琦们”该醒醒了 2019-05-07
  • 陈卫平:中国文化内涵包含三方面 文化复兴表现在其中 2019-05-06
  • 人民日报客户端辟谣:“合成军装照”产品请放心使用 2019-05-05
  • 【十九大·理论新视野】为什么要“建设现代化经济体系”?   2019-05-04
  • 聚焦2017年乌鲁木齐市老城区改造提升工程 2019-05-04
  • 【专家谈】上合组织——构建区域命运共同体的有力实践者 2019-05-03
  • 【华商侃车NO.192】 亲!楼市火爆,别忘了买车位啊! 2019-05-03