搜索到104篇“ 动态程序切片“的相关文章
- 基于程序执行轨迹的过程间动态程序切片系统
- 本发明涉及一种基于程序执行轨迹的过程间动态程序切片系统，具体方法依据以下五步进行：轨迹分析，首先利用调试器的信息记录程序执行轨迹，找出该次执行中涉及的类和方法；类层次分析，对涉及的类建立类层次图；程序调用分析，在类层次图...
- 姜淑娟王兴亚刘颖祺张艳梅于巧
- 文献传递
- 基于程序执行轨迹的过程间动态程序切片系统
- 本发明涉及一种基于程序执行轨迹的过程间动态程序切片系统，具体方法依据以下五步进行：轨迹分析，首先利用调试器的信息记录程序执行轨迹，找出该次执行中涉及的类和方法；类层次分析，对涉及的类建立类层次图；程序调用分析，在类层次图...
- 姜淑娟王兴亚刘颖祺张艳梅于巧
- 一种基于前向计算的动态程序切片方法被引量：3
- 2014年
- 动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片。根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较。实验结果表明,该方法可以得到比较精确的动态程序切片结果。
- 王兴亚姜淑娟鞠小林邵浩然
- 关键词：动态切片
- 基于概率推演的动态程序切片优先度计算方法
- 2013年
- 为了提高程序调试的效率,本文提出一种基于概率推演自动计算动态程序切片中每条语句的正确概率并赋予优先度的方法。首先从程序运行过程抽取其相应的动态依赖关系图;然后根据依赖关系转化成贝叶斯网络;最后在该网络上运行概率推演并统计,得到程序静态语句的正确概率。使用具有优先度的动态程序切片结果可进一步提高调试人员定位缺陷和分析故障的效率。实验表明本方法平均可将实际错误排名在切片结果的前20.2%。
- 夏嘉斌
- 关键词：动态切片
- 基于动态程序切片技术的测试用例自动生成研究
- 随着软件的需求和规模的增大，软件的质量变得日益重要。软件测试是软件质量的最重要解决方案，而测试用例的生成则是软件测试中最重要的环节。由于测试用例生成的效率和方法将直接影响到软件测试的效果，因此，本文对测试用例的自动化生成...
- 刘磊
- 关键词：程序切片动态切片测试用例生成
- 文献传递
- 一种简化依赖关系的动态程序切片算法被引量：1
- 2009年
- 动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定数据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度.
- 贾利敏张忠林
- 关键词：动态程序切片程序依赖图
- 基于动态程序切片的软件水印方案
- 2007年
- 针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案.利用动态程序切片技术将系统分割为隐秘部分与公开部分,然后改变交互模块间数据依赖关系嵌入水印信息,记录执行历史中的数据依赖关系提取水印信息.恢复隐秘部分复杂性实验证明算法对逆向工程攻击是鲁棒的;系统分割前后的运行时间对比实验证明算法对系统效率的影响在合理范围内.隐秘部分放在安全主机中确保水印系统的安全性,该方案适用于对移动计算与分布式软件进行保护.
- 邓小鸿孙星明孙光拜亚萌
- 关键词：动态程序切片软件水印逆向工程鲁棒性
- 基于动态程序切片的软件水印方案
- 针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案.利用动态程序切片技术将系统分割为隐秘部分与公开部分,然后改变交互模块间数据依赖关系嵌入水印信息,记录执行历史中的数据依赖关系提取水印信息.恢复隐...
- 邓小鸿孙星明孙光拜亚萌
- 关键词：动态程序切片软件水印逆向工程鲁棒性
- 文献传递
- 一种基于模块单子语义的动态程序切片方法被引量：12
- 2006年
- 提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性.
- 张迎周徐宝文
- 关键词：程序切片动态切片单子
- 动态程序切片研究及其应用被引量：4
- 2005年
- 动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其在软件测试和程序调试中的应用。
- 李英梅伦立军丁雪梅
- 关键词：程序切片动态切片
相关作者
- 邓小鸿
- 作品数：73被引量：339H指数：10
- 供职机构：江西理工大学应用科学学院
- 研究主题：医学图像 可逆水印 篡改检测 区块链 纹理复杂度
- 拜亚萌
- 作品数：76被引量：64H指数：5
- 供职机构：焦作大学信息工程学院
- 研究主题：物联网 区块链 智能网关 主机箱 电气连接
- 李英梅
- 作品数：94被引量：277H指数：9
- 供职机构：哈尔滨师范大学
- 研究主题：软件缺陷预测 软件测试 面向对象 不平衡 测试数据
- 阿内自尼
- 作品数：1被引量：0H指数：0
- 供职机构：上海大学
- 研究主题：环境复杂性 控制流图 面向对象软件测试 面向对象 动态程序切片
- 刘恩娜
- 作品数：2被引量：0H指数：0
- 供职机构：杭州师范大学钱江学院电气机械工程系
- 研究主题：计算机网络 计算机程序 流媒体技术 流媒体 动态程序切片
