程序动态切片关键技术研究应用.doc

  1. 1、本文档共85页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
毕 业 设 计(论 文) 程序动态切片技术研究 专业年级: 07级计算机2班 学 号: 姓 名: 惠军绪 指导老师: 邹 阳 评 阅 人: 6月 中国 南京 摘 要 程序切片技术是一个关键程序分析技术,广泛应用于程序调试、测试和维护等领域。程序切片关键经过寻求程序内部相关特征,从而分解程序,然后对分解所得程序切片进行分析研究,以此达成对整个程序了解和认识目标。而动态程序切片关键是指在某个给定输入条件下,源程序实施路径上全部对程序某条语句或爱好点上变量有影响语句。 面向对象技术仍是现在软件开发方法主流,其中封装、继承、多态、并发等特征全部为程序了解和分析提出了新问题。本文在程序分析评测中引入使用基于依靠图程序切片技术,实现其切片功效,处理在程序了解、程序复杂性度量、程序转换和评测中碰到问题。 本文采取一个基于依靠图面向对象动态程序切片方法,关键算法是以静态程序程序依靠图为基础,先从程序依靠图里提取出对应给定实施历史数据依靠节点和控制依靠节点,使用图可达性算法,计算得出可达语句集,从而取得所需动态切片,对程序进行了解分析。 【关键词】:数据依靠、控制依靠、程序依靠图、程序切片、动态切片 Abstract Program slicing is an important program analysis techniques, widely used in debugging, testing and maintenance and other fields. Program slicing within the main program by finding the relevant features to break down program, and then proceeds to the decomposition of the analysis of program slicing, in order to achieve the overall objective of understanding and awareness programs. The dynamic program slice is the main input in a given condition, the source of all the program execution path of a statement or point of interest on the variable impact statement. Object-oriented software development method is still the mainstream, including encapsulation, inheritance, polymorphism, concurrency and other features are the understanding and analysis of the program raised new problems. In this paper, the introduction of evaluation procedures for the analysis of dependence graph-based program slicing techniques to achieve its slice function to solve the program comprehension, program complexity metrics, program transformation and evaluation of problems encountered. This paper, a dependency graph based on dynamic program slicing of object-oriented approach, the core algorithm is the program that rely on a static picture shows the base, starting with the program dependence graph to extract the corresponding implementation of the history of a given node and the co

您可能关注的文档

文档评论(0)

132****5705 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

版权声明书
用户编号:5104323331000004

1亿VIP精品文档

相关文档